YoyaWiki

TypeSystem

• https://ja.wikipedia.org/wiki/代数的データ型

.†

• 代数的データ型がめっちゃええ。
  • https://zenn.dev/moony/articles/3c3e7fb49582e1
• 代数的データ型でプログラムをSQL的にしよう
  • https://karino2.github.io/2025/03/14/algebraic_type_make_program_sql.html