遅延評価の話 - SiroKuro Page に関して http://d.hatena.ne.jp/nagaShima/20090127/p3 からツッコミ受けたのでその返答。 最初に断っておきますが、『自分が kuzha に遅延評価を入れるかどうか考えてみる』 という立場で話してあります。Phine に遅延評価を…

http://d.hatena.ne.jp/nagaShima/20090129/p1 初めて聞いた。たぶん純粋関数型言語って語句から 『純粋関数をベースにした言語』 って勘違いしているんだと思うけど、正しくは 『純粋な、関数型言語』 ですよ。純粋関数型言語の Haskell だってグローバル変…

なぜなら、finally を中断することを禁止することが出来ないから。仮に return, break, continue などで中断することを禁止したとしても、依然として finally から例外が搬出されることを阻止するのは不可能だから。 もちろん、バグの温床になるということで…

未了 return と finally のコンパイルを作り直す return を areturn じゃなくてリターンシーケンスへ合流する goto にする KuzhaPreprocessor を作る #include #if 〜 #elsif 〜 #else 〜 #end #macro 〜 #end #MACRO_NAME 関数周りの整備 KzJavaFunction に…

kz> try > return 123; > finally > "finally" puts; > end > --> 123……あれ？

某所をみて思い出した finally return の問題。まずは finally return から。 kz> try > throw 123; > finally > return 456; > end > --> 456例外が食われた。次は finally break を。 kz> try > throw 123; > finally > break TRY; > end:TRY > Exception …