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

>One sk
Нет описания правки
>One sk
Нет описания правки
Строка 30: Строка 30:
== Более реалистичная версия ==
== Более реалистичная версия ==


Haskell возник как результат пьянки между [[Столлман, Ричард Мэтью|Ричардом Столлманом]], [[Фримен, Гордон|Гордоном Фрименом]] и [[Карри, Хаскелл|Хаскеллом Карри]]. Название языка возникло
Haskell возник как результат пьянки между [[Столлман|Ричардом Столлманом]], [[Фримен|Гордоном Фрименом]] и [[Карри, Хаскелл|Хаскеллом Карри]]. Название языка возникло
как подтверждение ответа на фундаментальный вопрос «ты меня уважаешь?», логотип был предложен Фрименом, а предложение Столлмана добавить скобок было отправлено фтопку вместе с самим Столлманом.
как подтверждение ответа на фундаментальный вопрос «ты меня уважаешь?», логотип был предложен [[Фримен|Фрименом]], а предложение [[Столлман|Столлмана]] добавить скобок было отправлено [[Биореактор|фтопку]] вместе с самим [[Столлман|Столлманом]].


Для придания статуса серьезности данной ошибке молодости была придумана Версия о божественной сущности.
Для придания статуса серьезности данной ошибке молодости была придумана Версия о божественной сущности.
Строка 48: Строка 48:
* Монады — часть плана [[Ктулху]] по зохавыванию моска фсех (и [[Сотона]] тут не замешан)
* Монады — часть плана [[Ктулху]] по зохавыванию моска фсех (и [[Сотона]] тут не замешан)
* Культист Карри исказил священные тексты, назвав вечный язык своим именем
* Культист Карри исказил священные тексты, назвав вечный язык своим именем
* ST — часть плана Сотоны по зохавыванию чистых функциональных фич Haskell, которые не может асилить ЙО.
* ST — часть плана [[Сотона|Сотоны]] по зохавыванию чистых функциональных фич Haskell, которые не может асилить ЙО.


== Особенности языка ==
== Особенности языка ==


* Haskell - пока еще единственный язык программирования, в котором есть оператор "фтопку" ( >>= )
* Haskell - пока еще единственный язык программирования, в котором есть оператор ''"фтопку"'' ( >>= )
* Программы на Haskell настолько ленивы, что по умолчанию вообще не хотят работать. Скорость и результаты работы всецело зависят от джедайской силы (force) хаскеллера.
* Программы на Haskell настолько ленивы, что по умолчанию вообще не хотят работать. Скорость и результаты работы всецело зависят от джедайской [[Сила|силы]] (''force'') хаскеллера.
* Одна из божественных сущностей, дожившая до времен Haskell98 - стиль-без-башни. Он позволяет записывать функции, не зная, кто, где, когда, как, почему, зачем будет их вызывать. Примеры шедевров:
* Одна из божественных сущностей, дожившая до времен Haskell98 - стиль-без-башни. Он позволяет записывать функции, не зная, кто, где, когда, как, почему, зачем будет их вызывать. Примеры шедевров:


Строка 62: Строка 62:
</pre>
</pre>


Считается, что в будущем безбашенный Haskell-стиль по количеству скобок обгонит Лисп, что приведет к зохавыванию последнего Haskell’ом и переделу Матрицы (которая, как известно, есть самозародившаяся программа Лиспе). Столлман с этим несогласен, но его мнение было отправлено фтопку еще во время создания Haskell.
Считается, что в будущем безбашенный Haskell-стиль по количеству скобок обгонит [[Лисп]], что приведет к зохавыванию последнего Haskell’ом и переделу [[Матрица|Матрицы]] (которая, как известно, есть самозародившаяся программа на [[Лисп|Лиспе]]). [[Столлман]] с этим несогласен, но его мнение было отправлено фтопку еще во время создания Haskell.
* Существует короткое заклинание, которое позволило Haskell поработить тысячи программистов:
* Существует короткое заклинание, которое позволило Haskell поработить тысячи программистов:


Строка 71: Строка 71:


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


== Изучение ==
== Изучение ==
Строка 274: Строка 274:
   show = show . int
   show = show . int
</pre>
</pre>
{{unix}}
[[Категория:Языки]]