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

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

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

Tschüss!
ymn
PostgreSQL — The disk filled up, so we deleted the log files. Now, PostgreSQL won't start.
— What did you delete?
— Everything in the log directory.
— Um, which log directory?
— "pg_xlog". Is that bad?

thebuild.com
ymn
deutsch Вбросил небольшой рассказ о себе на lang-8. Через минуту пришли нейтивы, пофиксили ошибки, поменялись контактами, поболтали в скайпе. Годнота!
ymn
говно У нас недавно на работе устраивали двухдневный хакатон. Каждый должен был выбрать язык программирования, которым он не владеет и за два дня написать программу: считать из бинарного файла данные и кое-что там посчитать, основываясь на этих данных. Я выбрал хаскель. Ничего из этого не вышло. Даже не получилось считать данные из файла)
Но язык, конечно, интересный.

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

Алсо, Пирс — один из моих любимых авторов. Пишет очень хорошо.
ymn
такое 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 :)