Ух ты, ghc понимает unicode в исходниках, так что я могу писать vecFun f β ω = ...
Охуенно.
Ух ты, ghc понимает unicode в исходниках, так что я могу писать vecFun f β ω = ...
Охуенно.
Интересно как. Вот есть матрицы, например. Вот их можно там складывать, умножать очевидным образом. Делить можно (A/B = C <=> A = CB). Ну с negate еще понятно, наверное — умножить матрицу на скаляр (-1). abs можно каким-то раком ввести, хотя сходу неочевидно, как, норму шоле выбрать какую. signum — ну, тоже хуй ... more →
Сегодня мне приснился обалденный сон. Весь наш мир был полностью type safe. У всех функций были правильные домены и кодомены, которые различались, когда надо, даже если пространства были изоморфны. Имена файлов и директорий имели разные типы. Да даже поссать нельзя было без проверки типов!
Проснулся с отличным ... more →
Архиватор на хаскелле порвал winrar и 7zip http://habrahabr.ru/blogs/algorithm/1297...
<komar> > Microsoft Word Starter Edition.
<komar> Угадай, чей блог я читаю?
<voker57> УГАДАЛ
Планирую поупарывать хацкель.
Для тренировки есть мысль написать самоорганизующийся сетевой чат. Вопросы полезности не затрагиваем.
Работа со строками и с сетью там нормально поддерживается? В принципе, понадобится еще, разве что, работа с графами, но тут проблем, наверное, не будет :)
Хаскел не сложнее Пролога. Но он
1) подкупает видимой схожестью прогамм с алголовскими
2) не прощает ошибок
В результате первого пункта начинающие решают ничего не читать, а "врубиться интуитивно", и у них даже что-то получается — многие программы на Хаскеле можно читать и писать так, как будто это call-by-value ... more →
Блядь, почему я всегда во что-то упираюсь? Почему всегда мой код выходит на какие-то грани, требует экспериментальных фич, упирается в ограничения системы типов, требует того, что только планируется? Я же, блять, нуб, какое там нахуй, мне только факториалы рекурсивные писать.
Блин, и вот насколько разумно вводить тайпкласс Doublable для того, чтобы одни типы конвертировать к Double одной функцией, а другие — другой, но специализировать, как это делать, в одном месте?
Джва часа ебался с хаскелем, его тайпчекером, зависимыми типами, семействами типов, функциональными зависимостями и прочей хуитой. В итоге все работает, теперь у меня БАШНИ и ВЫЧИСЛЕНИЕ ЯКОБИАНА.
Олсо, секс с хаскелем вполне заменяет прыщесекс. Тяны не нужны!
[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.
Люди на freenode#haskell поразительно охуенны. Не то что @L29Ah на haskell@cjr.
Штангисты настолько суровы, что символьно дифференцируют компилятором: http://code.haskell.org/~thielema/htam/s...
Я охуел, короче.
Генетические алгоритмы — это просто и понятно. Для функции z=xy + x²y² оно мне выдало наилучшее приближение за сто ... more →
Есть два функтора — в одном стрелки точены, во втором монады дрочены. Какой в трансформер затолкаешь, какой в комбинатор посадишь?
После недели почти круглосуточного упарывания первотегом не могу писать на третьетеге :(
И да, ГА на популяции из 400 особей с функцией, определенной в 100 точках жрет 2 мегабайта оперативки.
Кто там что говорил про потребление памяти функциональщиной? Второй раз уже встречаюсь, что нихуя, все просто и разумно.
Деревья неговно. Рандомной популяции из 100 особей потребовалось всего 4 итерации, чтобы подобрать x * y + x * x * y * y — x * x.
Правда, хуита какая-то. Иногда ГА сходится очень быстро, а иногда не сходится вообще за разумное время. ХУИТА.
Кажется, я начинаю понимать, как надо писать код в функциональном стиле.
Ух ты ж, генетика заработала хоть в каком-то виде. Разъебался с матрицами, уняня.
Впрочем, чего-то не работает ничерта, функцию типа x*y + x*x*y*y — x*x оно не подбирает :(
If you're havin' trouble with the Haskell 'head'
He's givin' you the blues
...
AC/DC — Dirty Deeds Done Dirt Cheap
0xd34df00d
kb
Minoru
ulidtko
komar
rapture
lukish
zw0rk
Crazy_Owl
238328
4da
L29Ah
werehuman
Elemir
amd63
octocat
magog
cirno
asmer
rhinze
Voker57
odin
lexszero
Eight
gelraen
MPogoda
folex
folone
nexeuse
utros
Like-all
clayrat
SirAnthony
Psykukumber
Ky6uk
eurekafag
DJm00n
zamotivator
failman
saransk
jabber
madInsane
whisper
svtk
Jarkko
zetoke
hedgehog
beardog
oreolek
hirthwork
werdn