A theory of type polymorphism in programming R Milner - Journal of computer and system sciences, 1978 - Elsevierの論文中にある例のメモ letrec map(f, m) = if null(m) then nil else cons( f(hd(m)), map(f, tl(m))) このプログラム中に出てくる関…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。