t_wの輪郭

RSS

fold

2025/4/19 9:35:00

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

あれ

2025/4/19 9:34:00