t_wの輪郭

RSS

型システムプログラミング言語のデザイン

型システムはプログラミング言語のデザインそのもの

2025/4/19 9:36:00

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

あれ

2025/4/19 9:34:00