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

claustrophobia

一般λがなんか書くとか

Egisonポーカー再考

Egisonコードの例としてよく紹介される(?)例としてポーカーの役判定があります。 http://www.egison.org/demonstrations/poker-hands.html コレクションをMultisetとして扱うことにより手札の順序を考慮しなくてよい non-linear patternを扱える(value pa…

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.…