haskell-jp / random #95 at 2021-11-27 09:25:44 +0900

今週のHaskell Weeklyから。Maybeやタプルなど既存のstrictじゃないデータ型をラップするだけでStrictにしてくれる魔法のような型を提供してくれるパッケージ。data familyやbidirectional pattern synonymでこれが実現できちゃうとは思わなかった :sugoi:
http://h2.jaguarpaw.co.uk/posts/make-invalid-laziness-unrepresentable/
へ~
generic 使うともっと簡単に使えるようにならんかな