http://ns.perikov.ru/wiki/pages/N6a5T4N/_____Haskell.html#Встал вопрос, какую тестовую задачу давать программистам на Haskell? Когда-то давным-давно в качестве задачки для ОО-программистов мы выдывали задачу «про паровозики». Как ни странно, несмотря на ее простоту, исполнение позволяло очень много увидеть в мышлении человека. Пример ее решения на ( Read more... )

Haskell странный... Ты восторгаешься некоторое время, вживаешься в экосистему... Учишься писать эффективно... тайп-классы... монады... стрелки... тайплклассопедия... трансформеры... и вроде уже все привычно, о чем был весь этот шум ( Read more... )

http://jabberwock.xs4all.nl/exp/wolfgang/

Интерактивная штуковина в стиле ноутбуков Mathematica, только онлайн и с Haskell на борту.

"Этот типа класс", класс типов, type class, гыыыы, понел, да?

Haskell is a scripting language inspired by Python

На самом деле, конечно,

Haskell was developed by Isaac Newton in the 15th Century as a tool to help his investigations into the Alchemic arts. It was rediscovered in the 1980s by three Cambridge undergraduates who were browsing through Newton's laboratory notebooks looking for smutty jokes in ( Read more... )

Обещанные session types откладываются на неопределенный срок. Пока то, что я видел, мне не нравится, а собственную идею я еще не сформировал.

Один из первоисточников тут, код к нему тут.

Для тех, кто пришел к хаскелю без математического бэкграунда. Я вспоминаю времена, когда знакомился с этим зоопарком, и там был зверь под названием fix. Помнится, мне потребовалось некоторое время на эту штуку, так что вдруг кому-нибудь смогу помочь. Не то, чтобы я часто пользовался самим fix, но он открывает доступ к некоторому набору полезных ( Read more... )

Как интересно... Вкратце - как описывать протокол (например, SMTP) на уровне типов. Как статически проверить соответствие реализации протоколу. Как добьюсь понимания - будет пример.

nightmare = unsafePerformIO (getWrongWife >>= sex)

Украдено у Ertugrul Soeylemez

Для товарищей, успевших приобрести зависимость от pointfree крайне полезным было бы иметь в библиотеке пару функций:

fffmap :: (Functor f1, Functor f2)=>(a->b)->f1 (f2 a)->f1 (f2 b)
fffmap = fmap fmap fmap

flipmap :: (Functor f)=>f a->(a->b)->f b
flipmap = flip fmap
Вторая просто довольно часто всплывает, а первая имеет важный частный случай ( Read more... )