Callbackモジュールを使う。foo.ml let f x = x+1; let _ = Callback.register "Foo.f" fmain.c #include <caml/mlvalues.h> #include <caml/callback.h> int f(int i) { value * f = caml_named_value("Foo.f"); return Int_val(callback(*f, Val_int(i)); } int main(int argc, char *argv[])</caml/callback.h></caml/mlvalues.h>…

昼寝したい。

http://slurp.doc.ic.ac.uk/pubs/typeinferenceforjavascript-ecoop05.pdf型システムとかの話はさくさく読み進める。なんか、Subtypingが怪しいなあ…decideableにするためには、ここまで弱くしないといけないのか。definiteをde-finiteだとなぜか思い込んで…