Про implicit typing:

Писав на днях сервер на Happstack, а оскільки я тоді не додумався запускати ghci із :l Main.hs і дивитись типи обробників і таблиць маршрутизації (всі ці ServerPartT IO Response), то типові сигнатури я випускав, в результаті в мене вийшла програма на сотні три рядків практично без оголошень типів. Зручно? Можливо ( Read more... )

Їхав я вчора у поїзді, зі мною був нетбучик, і потягло мене на красноглазіє. Як клепати простий серверок на Happstack, який вміє генерувати html за допомогою blaze-html, я пам’ятав, і вирішив швиденько накидати клієнт-серверний морський бій ( Read more... )

ghci> import Data.List
ghci> intersect "ubu" "ntu"
"uu"

Як у перетин множин можуть потрапляти елементи (друге "u" у прикладі), яким немає відповідника в іншій множині?! По-моєму, це суперечить визначенню перетину. А ще це мені вчора завдало трохи головного болю, коли я написав шматок коду, який не працював, хоч і був ніби правильним, а все через ( Read more... )

Чому монади ніхто не порівнює із stream? Поки що всі приклади монад, які я знаю, більш-менш вкладаються в поняття stream, потоку:

• [a] - потік даних, потенційно нескінченний. Причому, як мені зараз здається, варто було б розрізняти список як тип даних і як скінченний об’єкт у eager-сенсі і як контрольну структуру для виконання, lazy stream (простий ( Read more... )

Отут si14 героїчно бореться із вітряками підступної пропаганди Хаскеля ( Read more... )

В найкращих традиціях кроспоста:

http://dmytrish.wordpress.com/2013/09/30/how-to-add-logging-to-a-happstack-server/

Як відомо, хаскельних вакансій у світі рівно вісім, і, враховуючи, що як мінімум п’ять уже зайняті SPJ, ekmett, Don Stewart, B. O'Sallivan та іншими розумними людьми, простому смертному вакансія хаскеліста світить мало. Тому якщо нагода таки з’являється (в Києві!), то варто хапатись за неї обома руками. Сьогодні пройшов співесіду після пари ( Read more... )

Писав я тут вчора SECD-машину (сьогодні вона нарешті змогла додати 2+2 :) ) на хтонічному Сі, і все більше замислювався про корисність асертів у різних точках програми: вони дають можливість вивіряти навіть те, що не сильно помістилось би і навіть у систему типів Хаскеля: рантаймові властивості, властивості, що залежать від значення і так далі. ( Read more... )

Я колись читав, що існує такий звір, як комонади, і навіть пам’ятав, що це таке, але чисто теоретично. Ця ж стаття дуже свіжо зриває усі покрови із глибинної комонадності ООП ( Read more... )

Перепощу сюди свій пост на Вордпресі:

http://dmytrish.wordpress.com/2013/01/12/haskell-opengl-animation-done-right/