読者です 読者をやめる 読者になる 読者になる

claustrophobia

一般λがなんか書くとか

Type Level Ifについて

前記事 http://xenophobia.hatenablog.com/entry/2014/05/07/004251 書いてるときにふと、型レベルのIf使ったほうがいいのかなと一瞬思ったりしました。 singletonsパッケージのData.Singletons.Types(https://hackage.haskell.org/package/singletons-0.10.…