Rayslava
31.05.2012 12:23
Делаешь пандорический захват, лифтишь в монаду, потом строишь рекурсивную схему (здесь подойдёт зигохистоморфный препроморфизм) как монадический трансформер из категории эндофункторов, и метациклически вычисляешь результат. Любой второкурсник справится. А если делать на анафорических лямбдах — так задачка вообще на ... more →
ulidtko
28.05.2012 18:01
http://lionet.livejournal.com/96829.html
«[...] начал записывать мою интерпретацию в текстовый файл... который сразу оказался в Хаскелевой нотации почему-то. Чисто случайно, так сказать.
b3 n = b4
where
b4 f x = f (n f x)
b5 n m = b6
where
b6 f x = n f (m f x)
toint n = n b0 0
Написав такое, я понял, ... more →
nexeuse
23.05.2012 12:06
Монада IO — она как GPL. Если ты зашкварил ею функцию, то раззашкварить обратно нельзя, причём все прочие функции, которые используют зашкваренную, тоже становятся зашкваренными.
0xd34df00d
21.05.2012 20:18
Из-за поломанного тайпчекера в 7.4.1 не могу допилить диплом. Аргх, хаскельбляди соснули.
rapture
18.05.2012 12:46
Jesse Russell Haskell Мягкая обложка (2012) 1 125 руб. Специальная цена
High Quality Content by WIKIPEDIA articles!
Graham Hutton Programming in Haskell Мягкая обложка (2007) 4 308 руб.
Нифигово зарабатывают на викистатьях...
0xd34df00d
17.05.2012 17:20
[21:15:41] Deda_Zych: как же надоел ваш никому ненужный хаскель
[21:17:54] Deda_Zych: тем, что толку от него нету, но фагготрия процветает
[21:18:43] Deda_Zych: ни хлеба, ни икры, ни ипотеки
[21:19:04] Deda_Zych: ради задротства — так этим ещё в школе полагается переболеть
[21:19:27] Deda_Zych: заведите лучше ... more →
Elemir
15.05.2012 15:36
Сижу в окружении haskell илиты в `квартире 44' на якиманке. Няшно. Если кто захочет меня поймать поздно вечером, то звоните.
komar
13.05.2012 15:44
> These languages are all well designed but for different purposes. OCaml is specifically designed for writing theorem provers and Haskell is specifically designed for researching Haskell. F# was designed to address all of the most serious practical problems with OCaml and Haskell such as poor interoperability, ... more →
0xd34df00d
13.05.2012 13:18
Автор Numeric.FAD забил на пакет, и он не собирается с ghc 7.4. Придется обмазываться Numeric.AD и какими-то там ебаными комбинаторами.
0xd34df00d
13.05.2012 08:36
Приснилось, что QML — это кутешный диалект ML'я.
magog
12.05.2012 22:19
Посмотри Ergo Proxy — там про монады, лол
0xd34df00d
10.05.2012 17:21
Как бы ты, плюсач, написал concatMap на плюсцах?
0xd34df00d
06.05.2012 12:35
Интересно, сколько теперь этот ебучий ghc тут будет собираться.
lukish
29.04.2012 00:06
Допустим, есть некоторый лист туплов [(α,α)], где тупл означает связанность двух элементов некоторым бинарным отношением. Для того, чтобы сделать функцию, которая для двух элементов α возвращает связаны ли они этим бинарным отношением, нужно как-то пропихнуть лист туплов в функцию.
То есть, её сигнатура будет ∷ ... more →
0xd34df00d
25.04.2012 18:19
Main> fromIntegral (-1 :: Word32) :: Int
4294967295
Main> fromIntegral (-1 :: Word64) :: Int
-1
Crazy_Owl
23.04.2012 11:23
Меня твои мап/редусы доебали уже, я не могу их считать, слышишь? Про какую-то хуйню, Control.Applicative. Монаду, блядь, напишем — скомбинируем. Что ты несешь? Вообще охуеть.