Поучительно, как Женя Кирпичев проверил двудольность графа. Все это безобразие вылилось в эпический хаскельсрач-2009 в комментариях Олежки Забиватора. Там буквально все было крутым, даже сумели найти в php вывод типов.

Лично для меня все эти споры о практичности хаскеля довольно непонятны. Сейчас меня интересуют только четыре языка программирования, которые я хочу знать очень хорошо, вплоть до кишок: Objective-C, Smalltalk, Haskell и Ruby. Все, кроме хаскеля, для меня имеют практическую ценность. Хаскель ее не имеет в моих глазах, но я его очень-очень люблю и хочу знать.

Может быть это и глупо, учить язык, приложимость которого на ниве зарабатывания бабала неочевидна, но, вдумайтесь, разве это плохо — знать? Миллион раз уже написано людьми, которые в стопицот раз умнее меня: «Учите все, до чего дотянутся руки!». Я еще раз повторю, неприменимые на практике языки дают вам даже больше, чем те, которые вас кормят, они дают вам новый взгляд на проблему. Особенно это касается хаскеля, он — эссенция математики в программировании (не только он, конечно, но он наиболее простой в использовании). Мы все привыкли к объектам, к сообщениям и прочим радостям жизни, но никого толком не учили рассматривать любую проблему как (сильно упрощая) систему уравнений. Даже если вы никогда в жизни не будете писать промышленный код на Haskell, зная его подход вы всегда будете невольно добавлять к вариантам решения проблемы «Haskell-style». А это многого стоит, это еще один путь заработать бабло выполнив работу быстрее и лучше. Вдруг это решение и есть наиболее простое. Владея математическим взглядом на проблему не так уж и тяжело эмулировать хаскель на любом доступном вам языке.