型 Advent Calendar 2019

型についてのAdvent Calendarです！

型理論に関する任意の話題を受け付けています！
初心者向けから上級者向けまでどんなものでもどうぞ！

例:

• effect
• coeffect
• algebraic effect
• 線形型
• 依存型
• refinement type
• gradual typing
• modal type theory
• GADT
• 型付きアセンブリ言語
• 型クラス
• 型推論
• manifest contract
• alias type
• HoTT