Gauche > Archives > 2024/12/05

2024/12/05 15:18:21 UTCkaki
#
リファレンスといえば型コンストラクタの </> の所も気になってて、"type … の直和型を作ります" とありますが、これ直和型(sum type)じゃなくて合併型(union type)だと思うんですよね。(Sum T T) としたときにタグ付けしてそれぞれのTが区別できるTと異なる型になるのが直和型、(Union T T) が T と等しくなるのが合併型と理解しています。