数式が入った表がスッカスカ

はてなブログ 記録

本編はてなブログの記事「蒸し返し： アドホック多相 vs パラメトリック多相」の表だけ抜き出したもの。

同じ表のHackMDによるレンダリングは https://hackmd.io/@m-hiyama/B1ZmURi3F 。

Haskell風 圏論風
\alpha, \beta, \cdots A, B, ..., X, Y
Int Z
Float, Double R
f:: \alpha \to \beta f:X → Y または f:1 → [X, Y]
f:: \alpha \to \beta \to \gamma f:X → [Y, Z] または f:1 → [X, [Y, Z]]
f \,x f(x) または x;f または ev(f, x)
\mathrm{List}\,\alpha List(X) （Xは対象）
map\, f List(f) （fは射）
f::\forall\alpha. \mathrm{List}\,\alpha \to \beta ψ::List ⇒ KY （自然変換）
f_\xi :: \mathrm{List}\,\xi \to \beta ψA:List(A) → Y （自然変換の成分）