Arantium Maestum

プログラミング、囲碁、読書の話題

2022-03-02から1日間の記事一覧

パラメトリック多相と型コンストラクタ

前回の記事で これを書いていて「あれ、多相って関数だけじゃなくて型に対しても使う?型コンストラクタってそれ自体が多相?」とふと疑問を抱いた。この点に関しても別の記事で書きたいが、現在の自分のスタンスとしては、特殊な例を除いて「パラメトリック…