t_wの輪郭

RSS

意味論型システム

型システムは意味論の制約

2025/4/19 9:37:00

操作規範プログラミング言語の操作規範型システムは言語の操作規範型システム型システムは意味論の制約型システムはプログラミング言語のデザインそのもの Monad Applicative fold map メタ構造

あれ

2025/4/19 9:34:00