以前SMLで遅延リストを作る方法を紹介しましたが, どうしてもサンクを作るためにラムダ式をその場で作らなければならず, 記述が冗長でした. 以前の記述 open SMLofNJ.Susp datatype 'a lazylist = lnil | ::: of 'a * 'a lazylist Susp.susp (* takeの実装例…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。