202033700

Tagged unions are overrated

これは分かるなあ。本格的な言語処理系の AST くらい色々な情報が付加されたデータ構造になると、だんだんネストされたパターンマッチはしづらくなるし、型の木を構成できる継承の方が簡潔に書ける処理も多くなってくる。 open type の方がうれしいときも多い。