サクサク読めて、アプリ限定の機能も多数!
GADTのパターンマッチでアレする例です
ruicc のブックマーク 2016/10/20 21:09
Adventures with Types in Haskell: GADT's: why does the following typechecks?GADTのパターンマッチでアレする例です2016/10/20 21:09
このブックマークにはスターがありません。 最初のスターをつけてみよう!
stackoverflow.com2016/10/20
I'm following this lecture by Simon Peyton-Jones on GADT's. There, the following data-type is declared: data T a where T0 :: Bool -> T Bool T1 :: T a And then the question that is asked is what is ...
2 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
GADTのパターンマッチでアレする例です
ruicc のブックマーク 2016/10/20 21:09
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Adventures with Types in Haskell: GADT's: why does the following typechecks?
stackoverflow.com2016/10/20
I'm following this lecture by Simon Peyton-Jones on GADT's. There, the following data-type is declared: data T a where T0 :: Bool -> T Bool T1 :: T a And then the question that is asked is what is ...
2 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /