*haskell

Ваш 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

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

#oosisf

17 comments

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

Собственно, искомая функция: 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

Ух ты, ghc понимает unicode в исходниках, так что я могу писать vecFun f β ω = ...
Охуенно.

#ooieze

10 comments

Интересно как. Вот есть матрицы, например. Вот их можно там складывать, умножать очевидным образом. Делить можно (A/B = C <=> A = CB). Ну с negate еще понятно, наверное — умножить матрицу на скаляр (-1). abs можно каким-то раком ввести, хотя сходу неочевидно, как, норму шоле выбрать какую. signum — ну, тоже хуй ... more →

#oottzt

20 comments

Сегодня мне приснился обалденный сон. Весь наш мир был полностью type safe. У всех функций были правильные домены и кодомены, которые различались, когда надо, даже если пространства были изоморфны. Имена файлов и директорий имели разные типы. Да даже поссать нельзя было без проверки типов!
Проснулся с отличным ... more →

#ootoef

23 comments

/r/ ревью → https://github.com/0xd34df00d/gennl/tree...

#ozgsfo

add comment

Блядь, почему я всегда во что-то упираюсь? Почему всегда мой код выходит на какие-то грани, требует экспериментальных фич, упирается в ограничения системы типов, требует того, что только планируется? Я же, блять, нуб, какое там нахуй, мне только факториалы рекурсивные писать.

#ozghet

4 comments

Блин, и вот насколько разумно вводить тайпкласс Doublable для того, чтобы одни типы конвертировать к Double одной функцией, а другие — другой, но специализировать, как это делать, в одном месте?

#ozghsg

2 comments

Джва часа ебался с хаскелем, его тайпчекером, зависимыми типами, семействами типов, функциональными зависимостями и прочей хуитой. В итоге все работает, теперь у меня БАШНИ и ВЫЧИСЛЕНИЕ ЯКОБИАНА.

Олсо, секс с хаскелем вполне заменяет прыщесекс. Тяны не нужны!

#ozenns

11 comments

[03:18] <DanBurton> @pl (\f g x y → f (g x y))
[03:18] <lambdabot> (.) . (.)
[03:19] <ulidtko> boobs!
[03:19] <ulidtko> wai~
[03:19] <DanBurton> +_+ not boobs....
[03:19] <magicman> (.).(.) is the owl-operator.
[03:20] <DanBurton> I call it compose2

Typical #haskell.

#ozennt

2 comments

Люди на freenode#haskell поразительно охуенны. Не то что @L29Ah на haskell@cjr.

#ozensf

17 comments

Штангисты настолько суровы, что символьно дифференцируют компилятором: http://code.haskell.org/~thielema/htam/s...
Я охуел, короче.

#ozegef

7 comments

Генетические алгоритмы — это просто и понятно. Для функции z=xy + x²y² оно мне выдало наилучшее приближение за сто ... more →

#ozegfn

79 comments