前に作った処理系に、if と嘘くさい = 演算子を追加した。問題は再帰的な関数定義ができない点。 ノリで Y コンビネータの定義を入力したら通ってしまったので、Y コンビネータで fact を書いてみた。動いた。まぐれくさい。 mins> (define Y (lambda (f) ((…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。