型 Advent Calendar 2019
Participant8People
Subscriber126People
129
Category:Science & Theory
Creator:@elpinal
型についてのAdvent Calendarです!
型理論に関する任意の話題を受け付けています!
初心者向けから上級者向けまでどんなものでもどうぞ!
例:
- effect
- coeffect
- algebraic effect
- 線形型
- 依存型
- refinement type
- gradual typing
- modal type theory
- GADT
- 型付きアセンブリ言語
- 型クラス
- 型推論
- manifest contract
- alias type
- HoTT
Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
Join calendar | Join calendar | Join calendar | Join calendar | |||
Join calendar | Join calendar | Join calendar | Join calendar | Join calendar | Join calendar | |
Join calendar | Join calendar | Join calendar | ||||
Join calendar | F-ing modules | 26 | 27 | 28 |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
F-ing modules |
Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
Join calendar | Join calendar | Join calendar | Join calendar | |||
Join calendar | Join calendar | Join calendar | Join calendar | Join calendar | Join calendar | |
Join calendar | Join calendar | Join calendar | ||||
Join calendar | F-ing modules | 26 | 27 | 28 |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
Join calendar | |
F-ing modules |