型 Advent Calendar 2019 - Qiita

型についてのAdvent Calendarです! 型理論に関する任意の話題を受け付けています! 初心者向けから上級者向けまでどんなものでもどうぞ! 例: - effect - coeffect - algebraic effect - 線形型 - 依存型 - refinement type - gradual typing - modal type theory - GADT - 型付きアセンブリ言語 - …