produced by KDOT
Pythonのジェネリクスで型が抽象化されたクラスやデータを定義する
Kazuki Moriyama
(森山 和樹)
Python
typing
Pythonの型ヒントと共変性(covariance)と反変性(contravariance)、変性(variance)
Kazuki Moriyama
(森山 和樹)
Python
typing
Pythonの型エイリアス(type alias)で複雑な型をシンプルに扱う
Kazuki Moriyama
(森山 和樹)
Python
typing
fp-tsとoption
Kazuki Moriyama
(森山 和樹)
fp
fp-ts
PythonとNewType
Kazuki Moriyama
(森山 和樹)
Python
TypeScriptとHigher Kinded Type(高階型)
Kazuki Moriyama
(森山 和樹)
fp
fp-ts
TypeScript
ZStream companion object API
Kazuki Moriyama
(森山 和樹)
zio
fp-tsとMonoid
Kazuki Moriyama
(森山 和樹)
fp
fp-ts
fp-tsとEq
Kazuki Moriyama
(森山 和樹)
fp
fp-ts
fp-tsとOrd
Kazuki Moriyama
(森山 和樹)
fp
fp-ts
fp-tsとSemigroup
Kazuki Moriyama
(森山 和樹)
fp
fp-ts
TypeScript
TypeScriptと型クラス
Kazuki Moriyama
(森山 和樹)
fp
TypeScript
型レベル多項式の微分
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
1
…
4
5
6
…
10