カテゴリー: post

# 概要

## 軽いまとめ

## 登場した質問たち

## 自分の理解と疑問

∀a の話,プログラミング的には例えば Rust だと fn foo<T>(arg: T) -> T みたいな関数は任意の型 T に対して定義できます.∀a ∈ A の場合 fn foo<T: A>(arg: T) -> T とすると型 T がトレイト A を実装している = A として扱える型の集合の一つ と解釈できるかなと思います

# 感想