型 Advent Calendar 2019

10

129

135

型についての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 Nymphium Algebraic Effectsの型システム入門(2) 多相エフェクト	9 Nymphium Algebraic Effectsの型システム入門(外伝) エフェクトに部分型のある代数的効果	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 coord-e 型クラスのご紹介	24 mrsekut 型の安全性とnull安全について	25 elpinal F-ing modules Overwrite	26	27	28

型 Advent Calendar is looking for participants

12 / 1

Abstract Types have Open Existential Types

12 / 2

手続き型脳で型推論を実装してみた

12 / 3

論理型脳で型推論を実装してみた(みんな嫌いな?磯野家の家系図の話は部分型システムの理解に有用だった話

12 / 8

Algebraic Effectsの型システム入門(2) 多相エフェクト

12 / 9

Algebraic Effectsの型システム入門(外伝) エフェクトに部分型のある代数的効果

12 / 14

TaPLで出てきたわからない単語を調べるだけ

12 / 15

交差型を持つ単純型付きλ計算の型付け可能性について

12 / 16

TypeScriptはgradual typingシステムか

12 / 18

型クラスを用いて部分構造型を表現する

12 / 20

Alice MLのモジュールシステム

12 / 22

リソースを管理する型 | κeenのHappy Hacκing Blog

12 / 23

型クラスのご紹介

12 / 24

型の安全性とnull安全について

12 / 25

F-ing modules