Абсурдопедия - Вклад [ru]

Лукьяненко

2008-03-25T09:34:27Z

81.3.180.50: /* Другие произведения */

{{q|…одной ногой он стоял в прошлом, другой приветствовал будущее, а между ног у него была страшная действительность.|Дарт Херохито|Лукьяненко}}
{{q|Зачем Вы травите Писателя?|Лукьяненко|эту статью}}
{{q|...и я вошёл в Сумрак.|Лукьяненко|районные перебои с электричеством}}
'''Сергей Вурдалакович Чеснокьяденко''' (родился в 1472 г.), более известный под творческим псевдонимом Лукьяненко - главный Иной, властелин Тёмных и Светлых, а также - создатель Сумрака. В бывшем - известный писатель-классик, отец русского языка и литературы. По родословной является внуком Вия, сыном Воланда и старшим братом [[сисадмин|вэбмастер]]а [[Мицгол]]а. Его произведения были инспирированы посредством внедрения чипов в его подсознание американскими спецлужбами и призваны остановить возрождение [[коммунизм|марксистско-джедаистского]] мировоззрения на просторах бывшего СССР.

== Основные произведения ==

=== Септология «[[Дозор]]ы» ===
Давным-давно, когда лето ещё было длинным, а трава зелёной, [[силы света]] и [[силы тьмы]] бились не на [[жизнь]], а на [[смерть]] за право решать судьбы мира. И поняли они однажды, что в бесконечной борьбе погибнут все, и не станет больше [[Пепси]], и не будет крепкого [[Советский Союз|советского]] [[Рубль|рубля]]. И заключили стороны договор о перемирии. И было сказано: отныне ни своих, ни чужих нельзя мочить без согласия.

И создан был Советский Дозор, чтобы следить за силами [[США|Штатов]], и Буржуйский Дозор, чтобы следить за Страною Советов. Но через семьдесят лет, когда договор потеряет силу, придёт великий воин, который встанет во главе [[РАО ЕЭС]]. И весь мир погрузится во тьму…

Но тут вмешался покровитель голубых сил Лукьяненко и основал Китайский дозор, дабы следить за количеством народонаселения мира.

* Будунный дозор
* Геморойный дозор
* Советский дозор
* Буржуйский дозор
* Китайский дозор
* Последний дозор
* Последний китайский дозор
* Самый последний дозор
* Не время для дозоров
* Больше дозоров не будет
* Наираспоследний из дозоров
* Дозоры кончились
* Дозор-2: новое начало
* Дозор-3: начало новой эры (Дозор-2 и Дозор-3 — отдельные сюжетные ветки, будут развиваться независимо друг от друга, возможно, с переносом критически важных патчей между ветками)
* Дозор-3а: дом Гесера (альтернативная версия, собираемая из исходников добровольцами)
* Надоели дозоры, больше не буду
* Первый дозор
* Последний позор (Внимание! Это не ошибка, это другая книга с тем же названием.)
* Наш ответ дозорам
* В чём смысл дозора?
* Смерть дозорам!
* Два часа дозора - и я на даче

=== Другие произведения ===
Дилогия «'''Демоны-зомби из космоса'''»:
* Кровавая оргия в марсианском аду
* Демоны-зомби из космоса
* Демоны-зомби в марсианском аду (издана не была, чтобы не нарушать дилогичности произведений мастера)

Цикл «'''Истинная Русса'''» (плагиат):
* Одесса — мама!
* Путин — президент!
* Ющенко - так!
* Шах, шахевич, фараон, фараоневич

Цикл «'''Десять принцев Амбера'''»:
* Первый принц Амбера
* Второй принц Амбера
* Третий принц Амбера
* Четвёртый принц Амбера
* (готовится к выпуску) Пятый принц Амбера

Цикл «'''Тысяча и одна ночь'''» (на тридцатой ночи печать временно приостановлена).

Виртуальная пенталогия «'''Лабиринт извращений'''»:
* «Катакомбы рефлекторов»
* «Контрафактные световозвращатели»
* «Тонированные стёкла»
* «Тормозные фары»
* «Карманные фонарики»

== Личная жизнь ==

Писатель Лукьяненко очень любит маленьких детей, особенно мальчиков. Он с подлинной трогательностью и нежностью описывает их образы в своих произведениях.
Основное хобби великого писателя — кидаться пивными кружками и прочими тяжелыми предметами в коллег-фантастов. ([http://forum2.rusf.ru/lukian/lst/lst_2997.htm])
Как правило, такие броски спровоцированы вопросами о детях.

[[Категория:Пейсатели]]
[[Категория:Персоналии]]
[[Категория:Друзья Пионерии]]
[[Категория:Тёмные]]
[[Категория:Гении]]
[[Категория:Педофилы]]
[[Категория:Ненаучная фантастика]]

Haskell

2007-12-12T15:44:51Z

81.3.180.50: /* Medium - 3 уровень */

{{box|StopCpp.gif|96px|
ВНИМАНИЕ!|
Для понимания данного материала ваш моск должен быть очищен от императивного мировоззрения путем
продолжительных медитаций с бубном. Для полного же понимания божественной сущности языка Haskell, ваш моск должен
быть функционально чист. Возможно, имеет смысл обратиться к [[Ктулху]].
}}

{{q|<nowiki>["Пх'нглуи", "мглв'нафх", "Ктулху", "Р'льех", "вгах'нагл", "фхтагн", "!"] >>= print</nowiki>|Ктулху|[[Haskell]]}}

{{q|The speed of light sucks|Кармак|[[всякое]]}}

{{q|There are only two kinds of languages: the ones people complain about and the functional ones|ТрупСтрауса|[[Haskell]]}}

[[Изображение:Haskell_logo.gif|right|thumb|210px|Логотип Haskell]]

== История Haskell - Версия о Божественной Сущности ==
[[Изображение:Unsafeperformio.jpg|right|thumb|132px|Иногда Демоническая АрхиМонада ЙО пытается попасть в реальный мир]]
'''Haskell''' - язык программирования, дарованный шаманам ''Бубенлэнда'' их верховным божеством Комонада как универсальное средство общения, подходящее как божественным сущностям, так и (некоторым) простым смертным. Из-за своего происхождения язык всегда был функционально чист.

В честь своего божества и его щедрого подарка шаманы несколько раз в год проводили вычисление Великого Факториала. Со временем шаманам этот праздник надоел, они совсем обленились и перестали вычислять Великий Факториал. От этого Комонада периодически приходила в гнев и отправляла ответственных шаманов очищать моск к [[Ктулху]], своему соседу по пантеону. И однажды великий шаман Карри выдвинул величайшую теорию Ленивого Вычисления Великого Факториала. Суть её состояла в том, что постоянно считать Великий Факториал необязательно, его нужно вычислять только тогда, когда Комонада находится в плохом расположении духа, чтобы избежать зохавывания [[Ктулху]]. Теория стала главенствующей, а к набору особенностей Haskell добавилась еще исключительная ленивость.

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

Как это произошло — неизвестно, ибо ЙО до этого из-за своей исключительной грязности и пошлости не могла проникнуть ни в один язык.

Опасность ЙО заключается в том, что вместо того, чтобы изменять свое восприятие мира, она изменяет сам мир, и неосторожное с ней обращение может привести к турбулентностям в фундаментальных слоях материи вселенной, результирующих в феерическом и глобальном ППЦ’е. Также [[Сотона|Сотоной]] был введен исключительно похабный легион Монадных [[Трансформеры|Трансформеров]], позволяющих засовывать одни монады в другие. Как правило, обычно ЙО засовывается в другие монады, появившиеся в Haskell гораздо раньше. Ввиду огромного размера ЙО, программы с использованием Монадных Трансформеров не рекомендуется читать детям до 16 лет и [[Незамутненные девушки|незамутненным девушкам]].

Окончательное падение бастиона чистоты Haskell произошло одновременно с вводом Сотоной в язык механизма самовольного написания монад. Ранние чистые спецификации языка отправились [[Фтопка|фтопку]]. Сотона активно распространяет заблуждение, что современный диалект Haskell 98 — это и есть [[ТруЪ]] Haskell. На самом деле это лишь жалкое подобие первоначального божественного языка.

Фашисты, боровшиеся за чистоту немецкой расы, также боролись и за чистоту языка. Они пытались восстановить
магические спецификации первозданного Haskell’а. Восстановленный язык должен был называться Haskell88 (как и
последний чистый вариант, существовавший еще во времена [[Шумеры|шумерчегов]]), и планировалось сделать данный язык государственным. В последней сохранившейся версии их языка — Haskell88.14hh были введены монады SS и SD, которые очистили язык от всех других монад, кроме великой монады ЙО. Этот результат не устроил Адольфа [[Гитлер|Гитлера]]. По его указу был собран [[УберШтурманКонсилиум]] самых лучших [[УберШтурманУмов]] Германии. На [[УберШтурманКонсилиуме]] было решено провести [[УберШтурманЭксперимент]] по геноциду монады ЙО. Достоверно известно, что после непродолжительного времени после начала эксперимента Третий Рейх пал, что ещё раз подчеркнуло исключительную опасность монады ЙО.

== Более реалистичная версия ==

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

Для придания статуса серьезности данной ошибке молодости была придумана ''Версия о божественной сущности''.

== Факты новейшей истории ==

[[Изображение:HL_splash.JPG|right|thumb|173px|Сплэш героического эпоса [[Half-life|Полуразвал]]]]

* Греки нагло сплагиатили логотип Хаскелла в качестве 13-й буквы своего [[Алфавит|алфавита]]
* В 1998 году вышел героический эпос [[Half-life|Полуразвал]] о хаскеллере, чисто функциональными методами осуществившем полный garbage collection
* Для мирового сообщества Хаскелл играет несколько важных ролей, главенствующая среди которых — в жизни его (Хаскелла) создателей
* Haskell номинируется на звание «природного врага № 1 [[Риальные пацаны|риальных пацанов]] от программирования»

== Подозрения и теории заговора ==

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

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

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

<pre>
(. return) . (:)
flip . ((flip . (flip .)) .)
unpl flip flip snd . (ap .) . flip flip fst . ((.) .) . flip . (((.) . (,)) .)
</pre>

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

<pre>
qs [] = []
qs (x:xs) = (qs l) ++ [x] ++ (qs r) where (l,r) = partition (<) xs
</pre>

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

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

[[Изображение:The_Haskell_SE.jpg|right|thumb|145px|Обложка HSOE]]

Самый Мега-[[ТруЪ]]-одобрямс учебник по Haskell98 называется HSOE (Haskell SOtona Edition; что часто неверно расшифровывают как Haskell School Of Expression). Главной особенностью данного талмуда является наличие изображения [[Моск|моска]] правильно обученного хаскеллера на обложке, что позволяет на глаз оценивать прогресс обучения.

Другой популярный учебник по Haskell - YAHT (YA Havat Tebya), написанный еще [[Ктулху]] III по заказу Комонады, к настоящему моменту безнадежно устарел. Рецензии и поправки автору присылались, но он до сих пор не удосужился проснуться, чтобы их прочитать.

В среднем обучение Haskell'у начинается в 10-12 лет. Своевременное начало обучения гарантирует, что вы достигнете третьего уровня [[Сила|Силы]] уже к 75 годам. Не стоит откладывать на следующую жизнь то, что можно по крайней мере начать в этой.

== Классификация уровней [[Сила|Силы]] Haskell - программистов ==

[[Изображение:Tshirt.jpg|right|thumb|143px|Хаскеллер с уровнем [[Сила|силы]] 2.3]]

=== n00b - 1 уровень ===

Иногда задает вопрос «а где здесь переменные?»

Пишет Великий Факториал как:

<pre>

fac n = product [1..n]

</pre>

=== Beginner - 2 уровень ===

Написал туториал по применению и созданию монад (делает вид, что их понимает)

Пишет Великий Факториал как:

<pre>

arb = ()

listenc n = replicate n arb
listprj f = length . f . listenc

listprod xs ys = [ i (x,y) | x<-xs, y<-ys ]
where i _ = arb

facl [] = listenc 1
facl n@(_:pred) = listprod n (facl pred)

fac = listprj facl

</pre>

=== Medium - 3 уровень ===

Самостоятельно написал компилятор Haskell на Haskell.

Пишет Великий Факториал как:

data Term = Occ Var
| Use Prim
| Lit Integer
| App Term Term
| Abs Var Term
| Rec Var Term

type Var = String
type Prim = String

data Value = Num Integer
| Bool Bool
| Fun (Value -> Value)

instance Show Value where
show (Num n) = show n
show (Bool b) = show b
show (Fun _) = ""

prjFun (Fun f) = f
prjFun _ = error «bad function value»

prjNum (Num n) = n
prjNum _ = error «bad numeric value»

prjBool (Bool b) = b
prjBool _ = error «bad boolean value»

binOp inj f = Fun (\i -> (Fun (\j -> inj (f (prjNum i) (prjNum j)))))

type Env = [(Var, Value)]

getval x env = case lookup x env of
Just v -> v
Nothing -> error ("no value for " ++ x)

eval env (Occ x) = getval x env
eval env (Use c) = getval c prims
eval env (Lit k) = Num k
eval env (App m n) = prjFun (eval env m) (eval env n)
eval env (Abs x m) = Fun (\v -> eval ((x, v) : env) m)
eval env (Rec x m) = f where f = eval ((x, f) : env) m

times = binOp Num (*)
minus = binOp Num (-)
equal = binOp Bool (==)
cond = Fun (\b -> Fun (\x -> Fun (\y -> if (prjBool b) then x else y)))

prims = [ («*», times), («-», minus), («==", equal), ("if», cond) ]

facTerm = Rec «f» (Abs «n»
(App (App (App (Use "if")
(App (App (Use "==") (Occ "n")) (Lit 0))) (Lit 1))
(App (App (Use "*") (Occ "n"))
(App (Occ "f")
(App (App (Use "-") (Occ "n")) (Lit 1))))))

fac n = prjNum (eval [] (App facTerm (Lit n)))

=== [[Григорий Перельман]] - 4 уровень ===

Высший Жрец. Постиг комонады и забивает стрелки (arrows) подорожникам.

Пишет Великий Факториал как:

<pre>

— explicit type recursion with functors and catamorphisms

newtype Mu f = In (f (Mu f))

unIn (In x) = x

cata phi = phi . fmap (cata phi) . unIn

— base functor and data type for natural numbers,
— using locally-defined «eliminators»

data N c = Z | S c

instance Functor N where
fmap g Z = Z
fmap g (S x) = S (g x)

type Nat = Mu N

zero = In Z
suck n = In (S n)

add m = cata phi where
phi Z = m
phi (S f) = suck f

mult m = cata phi where
phi Z = zero
phi (S f) = add m f

— explicit products and their functorial action

data Prod e c = Pair c e

outl (Pair x y) = x
outr (Pair x y) = y

fork f g x = Pair (f x) (g x)

instance Functor (Prod e) where
fmap g = fork (g . outl) outr

— comonads, the categorical «opposite» of monads

class Functor n => Comonad n where
extr :: n a -> a
dupl :: n a -> n (n a)

instance Comonad (Prod e) where
extr = outl
dupl = fork id outr

gcata :: (Functor f, Comonad n) =>
(forall a. f (n a) -> n (f a))
-> (f (n c) -> c) -> Mu f -> c

gcata dist phi = extr . cata (fmap phi . dist . fmap dupl)

zygo chi = gcata (fork (fmap outl) (chi . fmap outr))

para :: Functor f => (f (Prod (Mu f) c) -> c) -> Mu f -> c
para = zygo In

fac = para phi where
phi Z = suck zero
phi (S (Pair f n)) = mult f (suck n)

int = cata phi where
phi Z = 0
phi (S f) = 1 + f

instance Show (Mu N) where
show = show . int
</pre>

{{unix}}

[[Категория:Языки]]
[[Категория:Шутки для посвящённых]]
[[Категория:Рекурсия|*]]

Haskell

2007-12-12T15:36:59Z

81.3.180.50: /* Medium - 3 уровень */

{{box|StopCpp.gif|96px|
ВНИМАНИЕ!|
Для понимания данного материала ваш моск должен быть очищен от императивного мировоззрения путем
продолжительных медитаций с бубном. Для полного же понимания божественной сущности языка Haskell, ваш моск должен
быть функционально чист. Возможно, имеет смысл обратиться к [[Ктулху]].
}}

{{q|<nowiki>["Пх'нглуи", "мглв'нафх", "Ктулху", "Р'льех", "вгах'нагл", "фхтагн", "!"] >>= print</nowiki>|Ктулху|[[Haskell]]}}

{{q|The speed of light sucks|Кармак|[[всякое]]}}

{{q|There are only two kinds of languages: the ones people complain about and the functional ones|ТрупСтрауса|[[Haskell]]}}

[[Изображение:Haskell_logo.gif|right|thumb|210px|Логотип Haskell]]

== История Haskell - Версия о Божественной Сущности ==
[[Изображение:Unsafeperformio.jpg|right|thumb|132px|Иногда Демоническая АрхиМонада ЙО пытается попасть в реальный мир]]
'''Haskell''' - язык программирования, дарованный шаманам ''Бубенлэнда'' их верховным божеством Комонада как универсальное средство общения, подходящее как божественным сущностям, так и (некоторым) простым смертным. Из-за своего происхождения язык всегда был функционально чист.

В честь своего божества и его щедрого подарка шаманы несколько раз в год проводили вычисление Великого Факториала. Со временем шаманам этот праздник надоел, они совсем обленились и перестали вычислять Великий Факториал. От этого Комонада периодически приходила в гнев и отправляла ответственных шаманов очищать моск к [[Ктулху]], своему соседу по пантеону. И однажды великий шаман Карри выдвинул величайшую теорию Ленивого Вычисления Великого Факториала. Суть её состояла в том, что постоянно считать Великий Факториал необязательно, его нужно вычислять только тогда, когда Комонада находится в плохом расположении духа, чтобы избежать зохавывания [[Ктулху]]. Теория стала главенствующей, а к набору особенностей Haskell добавилась еще исключительная ленивость.

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

Как это произошло — неизвестно, ибо ЙО до этого из-за своей исключительной грязности и пошлости не могла проникнуть ни в один язык.

Опасность ЙО заключается в том, что вместо того, чтобы изменять свое восприятие мира, она изменяет сам мир, и неосторожное с ней обращение может привести к турбулентностям в фундаментальных слоях материи вселенной, результирующих в феерическом и глобальном ППЦ’е. Также [[Сотона|Сотоной]] был введен исключительно похабный легион Монадных [[Трансформеры|Трансформеров]], позволяющих засовывать одни монады в другие. Как правило, обычно ЙО засовывается в другие монады, появившиеся в Haskell гораздо раньше. Ввиду огромного размера ЙО, программы с использованием Монадных Трансформеров не рекомендуется читать детям до 16 лет и [[Незамутненные девушки|незамутненным девушкам]].

Окончательное падение бастиона чистоты Haskell произошло одновременно с вводом Сотоной в язык механизма самовольного написания монад. Ранние чистые спецификации языка отправились [[Фтопка|фтопку]]. Сотона активно распространяет заблуждение, что современный диалект Haskell 98 — это и есть [[ТруЪ]] Haskell. На самом деле это лишь жалкое подобие первоначального божественного языка.

Фашисты, боровшиеся за чистоту немецкой расы, также боролись и за чистоту языка. Они пытались восстановить
магические спецификации первозданного Haskell’а. Восстановленный язык должен был называться Haskell88 (как и
последний чистый вариант, существовавший еще во времена [[Шумеры|шумерчегов]]), и планировалось сделать данный язык государственным. В последней сохранившейся версии их языка — Haskell88.14hh были введены монады SS и SD, которые очистили язык от всех других монад, кроме великой монады ЙО. Этот результат не устроил Адольфа [[Гитлер|Гитлера]]. По его указу был собран [[УберШтурманКонсилиум]] самых лучших [[УберШтурманУмов]] Германии. На [[УберШтурманКонсилиуме]] было решено провести [[УберШтурманЭксперимент]] по геноциду монады ЙО. Достоверно известно, что после непродолжительного времени после начала эксперимента Третий Рейх пал, что ещё раз подчеркнуло исключительную опасность монады ЙО.

== Более реалистичная версия ==

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

Для придания статуса серьезности данной ошибке молодости была придумана ''Версия о божественной сущности''.

== Факты новейшей истории ==

[[Изображение:HL_splash.JPG|right|thumb|173px|Сплэш героического эпоса [[Half-life|Полуразвал]]]]

* Греки нагло сплагиатили логотип Хаскелла в качестве 13-й буквы своего [[Алфавит|алфавита]]
* В 1998 году вышел героический эпос [[Half-life|Полуразвал]] о хаскеллере, чисто функциональными методами осуществившем полный garbage collection
* Для мирового сообщества Хаскелл играет несколько важных ролей, главенствующая среди которых — в жизни его (Хаскелла) создателей
* Haskell номинируется на звание «природного врага № 1 [[Риальные пацаны|риальных пацанов]] от программирования»

== Подозрения и теории заговора ==

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

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

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

<pre>
(. return) . (:)
flip . ((flip . (flip .)) .)
unpl flip flip snd . (ap .) . flip flip fst . ((.) .) . flip . (((.) . (,)) .)
</pre>

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

<pre>
qs [] = []
qs (x:xs) = (qs l) ++ [x] ++ (qs r) where (l,r) = partition (<) xs
</pre>

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

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

[[Изображение:The_Haskell_SE.jpg|right|thumb|145px|Обложка HSOE]]

Самый Мега-[[ТруЪ]]-одобрямс учебник по Haskell98 называется HSOE (Haskell SOtona Edition; что часто неверно расшифровывают как Haskell School Of Expression). Главной особенностью данного талмуда является наличие изображения [[Моск|моска]] правильно обученного хаскеллера на обложке, что позволяет на глаз оценивать прогресс обучения.

Другой популярный учебник по Haskell - YAHT (YA Havat Tebya), написанный еще [[Ктулху]] III по заказу Комонады, к настоящему моменту безнадежно устарел. Рецензии и поправки автору присылались, но он до сих пор не удосужился проснуться, чтобы их прочитать.

В среднем обучение Haskell'у начинается в 10-12 лет. Своевременное начало обучения гарантирует, что вы достигнете третьего уровня [[Сила|Силы]] уже к 75 годам. Не стоит откладывать на следующую жизнь то, что можно по крайней мере начать в этой.

== Классификация уровней [[Сила|Силы]] Haskell - программистов ==

[[Изображение:Tshirt.jpg|right|thumb|143px|Хаскеллер с уровнем [[Сила|силы]] 2.3]]

=== n00b - 1 уровень ===

Иногда задает вопрос «а где здесь переменные?»

Пишет Великий Факториал как:

<pre>

fac n = product [1..n]

</pre>

=== Beginner - 2 уровень ===

Написал туториал по применению и созданию монад (делает вид, что их понимает)

Пишет Великий Факториал как:

<pre>

arb = ()

listenc n = replicate n arb
listprj f = length . f . listenc

listprod xs ys = [ i (x,y) | x<-xs, y<-ys ]
where i _ = arb

facl [] = listenc 1
facl n@(_:pred) = listprod n (facl pred)

fac = listprj facl

</pre>

=== Medium - 3 уровень ===

Самостоятельно написал компилятор Haskell на Haskell.

Пишет Великий Факториал как:

fac2 n = product [1..n]

=== [[Григорий Перельман]] - 4 уровень ===

Высший Жрец. Постиг комонады и забивает стрелки (arrows) подорожникам.

Пишет Великий Факториал как:

<pre>

— explicit type recursion with functors and catamorphisms

newtype Mu f = In (f (Mu f))

unIn (In x) = x

cata phi = phi . fmap (cata phi) . unIn

— base functor and data type for natural numbers,
— using locally-defined «eliminators»

data N c = Z | S c

instance Functor N where
fmap g Z = Z
fmap g (S x) = S (g x)

type Nat = Mu N

zero = In Z
suck n = In (S n)

add m = cata phi where
phi Z = m
phi (S f) = suck f

mult m = cata phi where
phi Z = zero
phi (S f) = add m f

— explicit products and their functorial action

data Prod e c = Pair c e

outl (Pair x y) = x
outr (Pair x y) = y

fork f g x = Pair (f x) (g x)

instance Functor (Prod e) where
fmap g = fork (g . outl) outr

— comonads, the categorical «opposite» of monads

class Functor n => Comonad n where
extr :: n a -> a
dupl :: n a -> n (n a)

instance Comonad (Prod e) where
extr = outl
dupl = fork id outr

gcata :: (Functor f, Comonad n) =>
(forall a. f (n a) -> n (f a))
-> (f (n c) -> c) -> Mu f -> c

gcata dist phi = extr . cata (fmap phi . dist . fmap dupl)

zygo chi = gcata (fork (fmap outl) (chi . fmap outr))

para :: Functor f => (f (Prod (Mu f) c) -> c) -> Mu f -> c
para = zygo In

fac = para phi where
phi Z = suck zero
phi (S (Pair f n)) = mult f (suck n)

int = cata phi where
phi Z = 0
phi (S f) = 1 + f

instance Show (Mu N) where
show = show . int
</pre>

{{unix}}

[[Категория:Языки]]
[[Категория:Шутки для посвящённых]]
[[Категория:Рекурсия|*]]