難航している。でも、型安全なhashtableなどを実装する時には多相関数があった方が良いと思う。 実装方法はtemplate instansiationとdictionary passingの混合。メンドくさいけど、非ボックス化型を扱うrowlでは仕方がない。

こんな感じのサンプルコードがコンパイル出来るようになった。dictionary passingへの布石。 plus: (a, b) { return a + b; }; f: () { return plus; }; export main: () { g : f(); syscall(1, g(1, 2)); };ちゃんと型安全です。 syscall(1, g(1));とか書く…