型 Advent Calendar 2019

8

116

127

型についてのAdvent Calendarです！

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

例:

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

Category:

Owner:

Calendar Sponsor PR

Sun	Mon	Tue	Wed	Thu	Fri	Sat
1 elpinal Abstract Types have Open Existential Types	2 blackenedgold 手続き型脳で型推論を実装してみた	3 h_sakurai 論理型脳で型推論を実装してみた(みんな嫌いな?磯野家の家系図の話は部分型システムの理解に有用だった話	4	5	6	7
8	9	10	11	12	13	14 S_Shimotori TaPLで出てきたわからない単語を調べるだけ
15 fetburner 交差型を持つ単純型付きλ計算の型付け可能性について	16 uhyo TypeScriptはgradual typingシステムか	17	18 nkaml 型クラスを用いて部分構造型を表現する	19	20 elpinal Alice MLのモジュールシステム	21
22 blackenedgold リソースを管理する型 \| κeenのHappy Hacκing Blog	23	24 mrsekut 型の安全性とnull安全について	25 elpinal F-ing modules	26	27	28