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