Profile

Masanori Ogino 𓀁

181351 posts 1993 follows 1215 followers

Please pay attention to random failures.

https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 Masanori Ogino 𓀁 reblogged at 6 years ago

るじゃ Lugendre

extensibleなんかはHaskellの言語仕様内だと(型的な問題で)拡張可能レコード表現できないので値の型情報を型レベルリストでもってやればリストだから容易に拡張縮小やれるよねみたいな話なので