-
A Gentle Introduction to Category Theory
Читаю subj и наткнулся на упражнение:
"Exercise: define a category where the morphisms are numbers, and the composition is addition."
Числа можно складывать любые, т.е. f : A → B и g : C → D всегда можно сложить, причём как g.f так и f.g, из чего заключаю, что A == D и B == C, т.е. f : A → B и g : B → A, а любая их композиция - id. Ах да, id тоже ( Read more... ) -
Zipper
Под впечатлением от прочитанного написал на хабре статью.
Нутром чую, что всё это всем общеизвестная тривиальщина (т.е. это явно самые основы теории), но меня сама возможность брать производные от типов потрясла. А посему прошу совета, что и где можно/нужно почитать по подобной тематике, чтоб впечатлиться не меньше? -
reSizer
Наконец-то нашёл незаменимую программу для больших мониторов, хотя и для обычных может оказаться полезной.
Программа по сути элементарна, однако сколько не искал, таких же не видел (про xmonad в курсе, но у меня Windows). Всё просто: на горячие клавиши забито перемещение и изменение размеров окон, причём сделано это с интуитивно понятным ( Read more... ) -
(Untitled)
Poll Высшее образование -
Synthesizer
Поставил пакет synthesizer. Сначала, правда, он не хотел ставиться на Windows (ибо зависит от unix). Как оказалось, зависимость всего в одной функции для перехвата Ctrl-C, чтобы не вылетал GHCi (как выяснилось позже, GHC-6.10.2 и не вылетает). Потом оказалось, что он не держит GHC-6.10, так что пришлось ещё и код немного поизменять (instance Array ( Read more... ) -
Curl package
Дабы в будущем не забыть, запишу.
Взято отсюда.
dll должна называться libcurl.dll (по крайней мере никак не libcurl-4.dll или типа того), все они (dll-ки) должны валяться в PATH (ну или можно указать --extra-lib-dirs, но у меня в PATH).
Надо указать --extra-include-dirs, где лежит папка curl.
И самое главное - в curl.h исправить:
- #define ( Read more... ) -
REPL
Отметил для себя, чем REPL хорош. Во-первых, любую функцию можно заранее проверить и посмотреть, как она себя ведёт. А не так, что читаешь 20 минут доку, а всё равно не ясно, что будет, если туда нолик передать. Во-вторых, он провоцирует писать код короче и небольшими кусками, чтобы на каждом этапе можно было посмотреть результат и попробовать в ( Read more... ) -
libCurl
Захотел посмотреть HXT, в связи с чем пришлось ставить ещё и Curl.
Всласть натрахамшись с разными версиями, "Unable to load package curl-1.3.4" я так и не победил.
Можно, конечно, попробовать и самому собрать этот curl, а не скачивать готовый, но я безбожно ленив, и именно такой геморрой меня отталкивает от Хаскеля.
Эх, скорее бы уже Haskell.NET какой ( Read more... ) -
Left 4 dead
Ищу людей, согласных поиграть в left 4 dead на уровне "Эксперт" (стабильно 2 человека есть). Необходимо наличие микрофона.
П.С. Лицензия, разумеется.
-
Haskell
Простая студенческая задачка:
Взять 20 рандомных целых,
если есть чётные,
то вывести максимальный чётный,
иначе написать, что таких нету.
Решение повторяет 4 строки точь-в-точь: hpaste.org/13392
Хаскель всё-таки офигенен.