Обсуждение участника:Arachnelis/Сусек: различия между версиями
Содержимое удалено Содержимое добавлено
→Переменная типа: ответ |
→Переменная типа: ответ |
||
Строка 38:
::* Английский - очень контекстно зависимый, это верно. Но вся математика - это контекст сама по себе. В ней ''не делается'' различий между "обязательно" и "может быть". Никогда. [[У:Arachnelis|Arachnelis]] ([[ОУ:Arachnelis|обс.]]) 16:06, 6 августа 2017 (UTC)
:::* Так речь идёт не о математике, а о языке, точнее о возможности применения термина в значении, в котором никто кроме вас его не употреблял. И пока вы не покажете пару-тройку книг на русском языке от [[ВП:АИ|авторитетных авторов]], в которых этот термин применяется в том значении, в котором его пытаетесь применить вы, его применение будет нарушать правило [[ВП:ОРИСС]]. Но и даже если случится чудо, и вы такие источники найдёте, вам придётся в тексте пояснять, что «принимает значение из множества типов. Такие-то источники называют это пробеганием», как-то так.--[[У:Tucvbif|Tucvbif]]<span style="display:inline-block;font-size:0.7em;vertical-align:text-top;text-align:center;line-height:1em;">[[оу:Tucvbif|???]]<br/>[[:commons:user:Tucvbif|*]]</span> 20:13, 6 августа 2017 (UTC)
::::* Я скорее напишу "''переменная пробегает, хотя некоторые из людей, психолингвистически изувеченных императивным программированием, в силу присущей им некомпетентности, могут считают этот термин неприменимым''". Дальнейший спор с таким упёртым и беспардонно жонглирующим объективностью и субъективностью, как вы, считаю бессмысленным. Посмотрим, как админы итог подведут, когда мы предъявим свои источники, а вы свои. Настоятельно прошу вас более в моём сусеке не писать, ибо далее могу перейти на грубость. Общения с вами в основном пространстве буду попросту избегать, а здесь - не обижайтесь, скажу всё что думаю. Это сусек, я предупредил, так что я не буду виноват - любые ваши выпады могут расцениваться как провокация на нарушение правил. [[У:Arachnelis|Arachnelis]] ([[ОУ:Arachnelis|обс.]]) 18:17, 7 августа 2017 (UTC)
* И вообще, данную статью следовало бы ещё немного переработать. Например, говоря о том, что переменная типа является абстракцией, вы то ли слишком узко понимаете слово «[[Абстракция|абстракция]]» (по сути любой ЯП, и следовательно любой его элемент кроме прямой записи машинных кодов, является абстракцией), то ли не понимаете вообще, что такое «обычная» переменная в языке (даже в самых что на и есть императивных языках переменная никому не обязана находиться в ячейке памяти, она с таким же успехом может быть посчитана во время выполнения программы, или вовсе отброшена, если это не повлияет на конечный результат).--[[У:Tucvbif|Tucvbif]]<span style="display:inline-block;font-size:0.7em;vertical-align:text-top;text-align:center;line-height:1em;">[[оу:Tucvbif|???]]<br/>[[:commons:user:Tucvbif|*]]</span> 20:13, 6 августа 2017 (UTC)
:* Переменная типа является одним из многих видов абстракции, так что не надо бла бла бла. [[У:Arachnelis|Arachnelis]] ([[ОУ:Arachnelis|обс.]]) 18:19, 7 августа 2017 (UTC)
== ЯП: "ML доминирует в формальной верификации" ==
| |||