*Haskell

Axioms делают из моих плюсцов какое-то хаскельблядство.

#othtzh

add comment

Функтор! Это родственник ваш чтоли, Функтор? Вы его хоть раз видели? В руках держали? Не существует никаких функторов, это пропаганда израильской военщины!

#ottizz

add comment

Насколько я знаю, в Haskell считается хорошим тоном выносить как можно больше информации в сигнатуры функций. Я сейчас пишу программу, строящую коды Хаффмана, и не могу придумать, как мне объявить структуру данных для соответствующего дерева.
Обычное дерево (которое data Tree a = Tree (Tree a) (Tree a) | Leaf a) ... more →

#ottfst

6 comments

Посоны, мне сделали предложение, от которого я не могу отказаться. Реализовать в KDevelop поддержку х-ля.

#otthii

14 comments

Prelude Data.Bits Numeric> putStrLn $ unlines $ map (\row → foldl (\str x → str ++ showHex x "" ++ " ") "" row) [[x `xor` y | x ← [0..0xF]] | y ← [0..0xF]]
0 1 2 3 4 5 6 7 8 9 a b c d e f
1 0 3 2 5 4 7 6 9 8 b a d c f e
2 3 0 1 6 7 4 5 a b 8 9 e f c d
3 2 1 0 7 6 5 4 b a 9 8 f e d c
4 5 6 7 0 1 2 3 c d e f ... more →

#otozgs

add comment

http://www.infoq.com/presentations/Runni... очень хорошо

#otzenh

add comment

Написал тут еще псотик про хацкель: http://jabapls.ws/laziness-vs-parallelis...
/r/ критики и комментов.

#otzeeo

15 comments

Собственно, генератор джигурды из предыдущего поста: http://paste.pocoo.org/show/500865/

#oonfhg

add comment

*Generator> fst $ makeDoc ["hui", "pizda", "geegoordah"] 100 (unis $ randoms g)
" hui geegoordah geegoordah geegoordah hui pizda hui hui pizda hui pizda pizda geegoordah pizda pizda geegoordah"

Осталось найти слова и проверить, что слова выбираются действительно более-менее согласно нормальному распределению.

#oonfhe

4 comments

Ваш bash говно. Нужно было переименовать все файлы в текущей директории, убрав первые три символа и сделав четвертый заглавным.
На хаскеле однострочник пишется за 30 секунд: getCurrentDirectory >>= getDirectoryContents >>= (\names → mapM_ (\name → if name /= ".." && name /= "." then renameFile name (toUpper (name ... more →

#oontzf

12 comments

Итак, как и обещано, нулевая часть постов про хацкель и всякое такое: http://jabapls.ws/gennl-part-0

#oonzzo

add comment

Ask hell.

#oognnt

add comment

Lazy ejaculation.

#oognsz

4 comments

Введение в GADT на хаскельвики повеяло темплейтами.

#oogigg

add comment

Подумываю описывать хаскель-мытарства в стандалон-блоге своем.

#oogigi

6 comments

Ну вот, не успел написать очередной тайпкласс, как врезался в потребность в fundep'ах либо type families.

Требуется описать класс для хреновин, которые могут сочетаться с функциями. У функций есть принимаемое значение, у хреновин есть возвращаемое значение. Так что будет что-то типа
data Composable a where
type ... more →

#oogitg

9 comments

OH FUCK.
Запуск софтины в 8 потоков с всего одним parmap'ом в нужном месте дает использование 6.5 ядер процессора. Хаскель оче няша.

#oogzie

5 comments

Посоны, гм-гм, поддержите мнение что ли: http://stackoverflow.com/questions/77945...

Ну правда ведь, ФП охуенно подходит по сабжу.

#ooegzt

add comment

Посоны, мне тут рассказали, что в хаскеле и пейтоне оче похожий синтаксис. Нахуй так жить.

#oosisf

17 comments

https://www.linux.org.ru/forum/developme...

#oostti

add comment

Уняня, самодельный Л-М на самодельных матрицах работает! Я уберняша!

Собственно, искомая функция: http://paste.pocoo.org/show/495193/
И ваще все это в https://github.com/0xd34df00d/gennl/blob... , да.

#ooigzg

3 comments

Победить систему типов хаскеля сходу не удалось, теггированное вычисление якобиана Numeric.FAD'ом для функции в общем виде типа Num a => [a] → [a] не получилось, хуита какая-то.
Ладно, сейчас реализую хоть базовый алгоритм и получу хоть какие-нибудь результаты, а дальше буду заниматься красивостями.

#ooiees

add comment

Оказывается:
> :t (\x → (x *** x)) undefined
(\x → (x *** x)) undefined :: Arrow a => a (b', b') (c', c')
В то же время:
> let x = undefined
> :t (x *** x)
(x *** x) :: Arrow a => a (b, b') (c, c')

Нахуй так жить?

#ooiehf

2 comments

Спросил, почему join (***) :: a b c → a (b, b) (c, c):
[20:15] <Cale> d34df00d: So, in general fmap :: (a → b) → f a → f b, so for f = (e →), we get fmap :: (a → b) → (e → a) → (e → b), which is exactly the type of composition
[20:15] <Cale> and for join :: f (f a) → f a, we get (e → (e → a)) → (e → ... more →

#ooietn

1 comment

Почему мне даже на хацкеле хочется изъебываться? Почему для функции, делающей из [1,2,3] [[1],[2],[3]] хочется написать не listize = map (:[]), а listize = transpose . return ?

#ooietf

2 comments