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