---
tags: Blog
id: ProgEdu5-a.txt
---

# 表のレイアウト： はてなブログとの比較

- もと記事 [蒸し返し： アドホック多相 vs パラメトリック多相](https://m-hiyama.hatenablog.com/entry/2020/09/07/165418)
- 表だけ抜き出した記事 [数式が入った表がスッカスカ](https://m-hiyama-memo.hatenablog.com/entry/2022/01/12/133058)

上記はてなブログ記事内の表と同じ表が以下、レウアウトの崩れはない。はてなブログでは、2022-01-12時点で表のレイアウトが崩れる。

| Haskell風 | 圏論風 |
|----------------------|--------|
| $\alpha, \beta, \cdots$ | A, B, ..., X, Y |
| $Int$ | <b>Z</b> |
| $Float, Double$ | <b>R</b> |
| $f:: \alpha \to \beta$ | f:X → Y または f:<b>1</b> → [X, Y] |
| $f:: \alpha \to \beta \to \gamma$ | f:X → [Y, Z] または f:<b>1</b> → [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 ⇒ K_Y （自然変換）|
| $f_\xi :: \mathrm{List}\,\xi \to \beta$ | ψ_A:List(A) → Y （自然変換の成分）|