Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 reblogged at 6 years ago
るじゃ Lugendre
extensibleなんかはHaskellの言語仕様内だと(型的な問題で)拡張可能レコード表現できないので値の型情報を型レベルリストでもってやればリストだから容易に拡張縮小やれるよねみたいな話なので