松浦 知也 Matsuura Tomoya
61c062531e
All checks were successful
Build / build (push) Successful in 7m26s
1.0 KiB
1.0 KiB
#programming
構造的部分型と似ているけどちょっと違う
Row Polymorphism Isn't Subtyping - BAM Weblog
OCamlのレコード型で導入されている
PureScriptでは明示的なシンタックスで導入されている
documentation/language/Records.md at master · purescript/documentation · GitHub
documentation/language/Types.md at master · purescript/documentation · GitHub
レコード型のコンストラクタが‘Row Type -> Type(Rowはカインド変数)になる
SATySFiではオプション付き引数の型システムに使ってる