"Очень удивительно (я бы даже сказал — внезапно!), но кортеж-пара в GHC является функтором. Это сложно понять, ведь функтор должен иметь только один параметр, а у пары их два. Можно восхищаться тем, как разработчики стандартной библиотеки GHC умудрились предоставить такую абстракцию, но мне кажется, полученное решение все же следует признать неудачным".

habrahabr.ru

Как-то тухло в Чугунном Челябинске с групповыми курсами немецкого языка. Понятно, что персональные уроки более продуктивны, но я хотел бы для начала походить на групповые. Печаль.

В любом случае продолжаю заниматься самостоятельно. В качестве начального ориентира решил готовиться к экзамену Гёте-Института на уровень A1/A2 (как попрет на самом деле). В итоге после пары месяцев более-менее регулярных занятий могу рассказать о себе и своей семье, о своей работе и увлечениях и т.п. базовых вещах. Между делом ботаю эти ваши флеш-карты для пополнения словарного запаса. Такие дела, посоны.

Tschüss!

У нас недавно на работе устраивали двухдневный хакатон. Каждый должен был выбрать язык программирования, которым он не владеет и за два дня написать программу: считать из бинарного файла данные и кое-что там посчитать, основываясь на этих данных. Я выбрал хаскель. Ничего из этого не вышло. Даже не получилось считать данные из файла)
Но язык, конечно, интересный.

habrahabr.ru

Случайно наткнулся на книгу "Basic Category Theory for Computer Scientists" Бенджамина наше-всё Пирса. На первый взгляд весьма годно.

Алсо, Пирс — один из моих любимых авторов. Пишет очень хорошо.

xxx: they say that Spoke wrote all software for U.S.S. Enterprise in Haskell
yyy: I think, Spokewas smart enough for using better programming languages than Haskell :D
xxx: which one, for example? :) standard ML ? :)
xxx: agda, coq?
yyy: Javascript, of course :)
xxx: LOL, you made my day :)