▽WiLiKi: Recent Changes ●04/05 04:37 2025/03/17 04:47:30 UTC (18 days ago) Shiro:AuditionRecords2025/03/16 08:59:40 UTC (19 days ago) Scheme:初心者の質問箱2024/06/04 08:42:26 UTC (10 months ago) Gauche:MeCab
▽Planet Lisp ●04/05 03:33 @2025-04-03 07:00 · 33 hours ago@2025-04-02 16:09 · 2 days ago@2025-03-21 13:55 · 14 days ago@2025-03-19 15:01 · 16 days ago
▽Planet Haskell ●04/02 15:30 April 01, 2025in CodeFaking ADTs and GADTs in Languages That Shouldn't Have ThemHaskell is the world’s best programming language1, but let’sface the harsh reality that a lot of times in life you’ll have to write in otherprogramming languages. But alas you have been fully Haskell-brained andlost all ability to program unless it is type-directed, you don’t even know howto start writing a prog