Обсуждение участника:Arachnelis/Сусек: различия между версиями
Содержимое удалено Содержимое добавлено
Строка 44:
::* Да, но это «в отличие от последнего (параметра), ти́повая переменная является абстракцией» — звучит, будто параметр функции абстракцией не является.--[[У: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> 06:43, 8 августа 2017 (UTC)
:::* Здесь согласен, это надо переписать. [[У:Arachnelis|Arachnelis]] ([[ОУ:Arachnelis|обс.]]) 16:39, 8 августа 2017 (UTC)
:::* <nowiki>http://bookre.org/reader?file=532778&pg=16</nowiki> - Перевод Харпера, существующий уже не первое десятилетие, использован перевод "пробегает". [[У:Arachnelis|Arachnelis]] ([[ОУ:Arachnelis|обс.]]) 17:06, 8 августа 2017 (UTC)
== ЯП: "ML доминирует в формальной верификации" ==
| |||