produced by KDOT
dottyscala3
型レベル多項式の微分
Kazuki Moriyama
(森山 和樹)
dottyscala3
Scala
type-level-programming
Polyfunctionでpartially applied typeを改善する
Kazuki Moriyama
(森山 和樹)
dottyscala3
Scala
type-level-programming
型レベル多項式
Kazuki Moriyama
(森山 和樹)
dottyscala3
Scala
type-level-programming
Match Type
Kazuki Moriyama
(森山 和樹)
dottyscala3
Scala
type-level-programming
コンパイル時オペレーション
Kazuki Moriyama
(森山 和樹)
dottyscala3
Scala
type-level-programming
リテラル型(literal type)
Kazuki Moriyama
(森山 和樹)
dottyscala3
Scala
type-level-programming
Ordersky先生が説明してくれたdottyに入るかもしれないchecked exceptionのモチベ
Kazuki Moriyama
(森山 和樹)
dottyscala3
Scala
type-level-programming
