サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
買ってよかったもの
sleepomeno.github.io
The Glasgow Haskell Compiler supports a language extension called RankNTypes which I’ve had my problems to understand. The moment I understood that it mostly refers to first-order logic universal quantification things became easier, though… but first let’s explore why we need it in a step-by-step example. length :: forall a. [a] –> Int 1 2 3 4 5 6 7 8 9 :t length -- length :: [a] -> Int length [1,
このページを最初にブックマークしてみませんか?
『sleepomeno.github.io』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く