Average Haskell Experience
average haskell experience > want to write yaml parser > type "data YamlValue = ..." > hm, how do type constructors rly work > :info (->) > :info (*) > open type theory text > unsatisfied > open HoTT book > read universal algebra text for an hour > 1 LoC written, 0 yaml parsed
A dark-mode programming post lists an attempt to write a YAML parser in Haskell that quickly turns into studying type theory, HoTT, and universal algebra. The joke is that Haskell's powerful and abstract type system distracts the programmer so completely that they write only one line of code and parse nothing. It is sent as a reaction to overengineering, getting lost in theory, or spending hours learning instead of finishing a simple task.
computer programming text / текст компьютерного программированияdark background / тёмный фонwhite text / белый текстanime avatar / аниме-аватарverified badge / значок верификацииYAML code / код YAMLHaskell code / код Haskelltype constructor notation / обозначение конструктора типовprogramming prompt / приглашение командной строкиtextbook / учебникmathematical symbols / математические символы
- @profunctor_io / 10529 2024-11-21
- Template
- Greentext
- Type
- image
- Size
- 800×726 · 63.2 KiB
- Mood
- саркастичный, абсурдный
- Language
- en
- Added
