haskell

Haskell Day 2019に参加したメモ。 参加モチベーション 普段Haskellは書かないが、Functional Programmingやリッチな型システムを実用している方々の話からアイデアを得るために参加した。 実際、型レベルプログラミングのテクニックは多少Haskell以外（ぼくの場合Go）でも活かせるのではと思えた。 ...