サクサク読めて、アプリ限定の機能も多数！
(r { name :: t }) => といったfieldNameのConstraint, 既存の型制約(type-level string使っているが)に脱糖されるらしい
ruicc のブックマーク 2014/02/25 10:46
このブックマークにはスターがありません。 最初のスターをつけてみよう！
www.well-typed.com2013/11/30
TL;DR: GHC HEAD (but not GHC 7.8) will soon support OverloadedRecordFields, an extension to permit datatypes to reuse field labels and even turn them into lenses. IntroductionThe Haskell records sy...
7 人がブックマーク・2 件のコメント
＼ コメントが サクサク読める アプリです ／
(r { name :: t }) => といったfieldNameのConstraint, 既存の型制約(type-level string使っているが)に脱糖されるらしい
このブックマークにはスターがありません。
最初のスターをつけてみよう！
Overloaded record fields for GHC - Well-Typed - The Haskell Consultants
TL;DR: GHC HEAD (but not GHC 7.8) will soon support OverloadedRecordFields, an extension to permit datatypes to reuse field labels and even turn them into lenses. IntroductionThe Haskell records sy...
7 人がブックマーク・2 件のコメント
＼ コメントが サクサク読める アプリです ／