tomoyanonymous/quartz-research-note
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

[obsidian] vault backup: 2025-08-07 19:46:43[
Some checks failed
Build / build (push) Failing after 12m52s
Details

Browse Source
This commit is contained in:
Matsuura Tomoya(Windows)
2025-08-07 19:46:44 +09:00
parent f1f31100c5
commit 8189886b78
1 changed files with 19 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
content/Row Polymorphism.md Normal file
View File

@@ -0,0 +1,19 @@
#programming
[[構造的部分型]]と似ているけどちょっと違う
[Row Polymorphism Isn't Subtyping - BAM Weblog](https://brianmckenna.org/blog/row_polymorphism_isnt_subtyping)
[[OCaml]]のレコード型で導入されている
[[PureScript]]では明示的なシンタックスで導入されている
[documentation/language/Records.md at master · purescript/documentation · GitHub](https://github.com/purescript/documentation/blob/master/language/Records.md#extending-records)
レコード型のコンストラクタが‘`Row Type -> Type`(Rowはカインド変数)になる
[[SATySFi]]ではオプション付き引数の型システムに使ってる
[SATySFi v0.1.0に向けたラベルつきオプション引数の型システム - gfnweb](https://gfngfn.github.io/ja/posts/2022-05-22-a-type-system-of-labeled-optional-parameters-for-satysfi/)