Haskell: различия между версиями

Нет описания правки
Нет описания правки
Строка 69: Строка 69:
Контрзаклятие, написанное на C, как правило бессильно, хотя и занимает куда больше места.  
Контрзаклятие, написанное на C, как правило бессильно, хотя и занимает куда больше места.  
* Революции под лозунгом "порезать Haskell по самые монады", как правило, подавлялись Верховным Жрецом [[Григорий Перельман|Григорием Перельманом]].
* Революции под лозунгом "порезать Haskell по самые монады", как правило, подавлялись Верховным Жрецом [[Григорий Перельман|Григорием Перельманом]].
* Вывод типов - фича, заложенная в Haskell самой Комонадой. Однако ввод типов никто никогда не реализовывал.
* Вывод типов - фича, заложенная в Haskell самой Комонадой. Однако ввод типов никто никогда не реализовывал. [[Ботаны]] многих эпох выдвигали предположения, что однажды типы в Хаскелле закончатся, ибо вводить их некому. Тем не менее, никто не знает, почему этого до сих пор не произошло. Есть мнение, что, узнав ответ на этот [[42|вопрос]], мы гораздо лучше будем понимать структуру Вселенной (в частности, разберемся в принципах работы [[Биореактор|биореактора]] и [[Малый адронный коллайдер|малого адронного коллайдера]]).
[[Ботаны]] многих эпох выдвигали предположения, что однажды типы в Хаскелле закончатся, ибо вводить их некому. Тем не менее, никто не знает, почему этого до сих пор не произошло. Есть мнение, что, узнав ответ на этот [[42|вопрос]], мы гораздо лучше будем понимать структуру Вселенной (в частности, разберемся в принципах работы [[Биореактор|биореактора]] и [[Малый адронный коллайдер|малого адронного коллайдера]]).


== Изучение ==
== Изучение ==