Обсуждение участника:Arachnelis/Сусек: различия между версиями

:* Переменная типа является одним из многих видов абстракции, так что не надо бла бла бла. [[У:Arachnelis|Arachnelis]] ([[ОУ:Arachnelis|обс.]]) 18:19, 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> 06:43, 8 августа 2017 (UTC)

 

== ЯП: "ML доминирует в формальной верификации" ==