![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Visible Tags
- arbitrary precision [1]
- arithmetic [1]
- emacs [1]
- equational reasoning [3]
- fixpoint [1]
- fp [10]
- ghc [1]
- hard [1]
- haskell [54]
- it [1]
- java [4]
- javascript [1]
- junit [1]
- lazy evaluation [3]
- lisp [3]
- mac [1]
- math [1]
- parsec [1]
- python [1]
- scala [3]
- scheme [1]
- sql [2]
- streams [1]
- xmonad [1]
- youtube [9]
- анекдот [9]
- библиотеки [1]
- волки [1]
- вопрос [3]
- детство [1]
- дзен [2]
- доказательство [1]
- женщины [4]
- задачка [6]
- здорово [53]
- игры [7]
- картинка [7]
- катаморфизм [3]
- комбинаторная логика [3]
- лытдыбр [12]
- лямбда-исчисление [2]
- макросы [1]
- математика [1]
- места [1]
- монад-трансформеры [3]
- монады [9]
- моноиды [1]
- морфизмы [1]
- непонятно [2]
- новость [3]
- оптимизация [2]
- паттерн-матчинг [5]
- перевод [3]
- переводы [1]
- помню [3]
- понты [3]
- почему [1]
- программирование [58]
- программы [1]
- прокси [1]
- рекурсия [5]
- слова [10]
- смешно [46]
- сон [4]
- структуры данных [3]
- стёпка [7]
- теория категорий [1]
- типы [17]
- токипона [3]
- топы [1]
- упс [7]
- утиль [9]
- функции высшего порядка [2]
- цитата [1]
- шахматы [3]
- языки [2]
![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png){kind=small}