Gauche > Archives > 2025/01/28

2025/01/28 15:25:13 UTCshiro
#
@kaki メッセージ気づいてませんでした。
#
確かにあんまり考えてなかったな…部分型関係から見たらUnion typeです。ただ、型オブジェクト <T> と (</> <T> <T>) は今のところ同一にならない