タグ

Ruby

1 件の記事

2026

1月2日
継承を表す記号 `<` について
Ruby の継承がなぜ `<` で表されるのかという疑問を手がかりに、型理論の部分型付けとの対応を直感的に解説する。
プログラミング
- #型理論