サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
TGS2024
github.com/idris-lang
Motivation So, what are copatterns, and why do we want them? Essentially, copatterns allow us to make projections on the left-hand side of function definitions. Left-hand side projections make sense for definitions from which we primarily want to extract data, contrary to injecting data into data constructors. Examples include record types and coinductive types. Observation vs. Construction Copatt
このページを最初にブックマークしてみませんか?
『github.com』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く