Weitere ähnliche Inhalte
Ähnlich wie Coq for Moblie Phone @ ML名古屋 (20)
Mehr von Hiroki Mizuno (20)
Coq for Moblie Phone @ ML名古屋
- 2. 自己紹介
• みずぴー / mzp
• 関数型言語が好きです
• 所属勉強会: なごやかScala, ProofCafe, スター
トSML#
2
- 4. mzpの日常
その他
Twitter
コーディング
Tumblr
- 5. mzpの日常
その他
Twitter
コーディング
←iPadでOK
Tumblr
- 15. バイトコード版Coq
• コンパイルオプションをいじって、ビルドした
• Cの関数はFFI経由で相互に呼び出せる
let _ = Callback.register "eval" eval;;
int ret = caml_callback(*caml_named_value("eval"),
caml_copy_string(s));
15
Hinweis der Redaktion
- \n
- \n
- さて、みなさまに近況報告があります。\n新しいiPadを買いました!!(ここでiPadをみせびらかす)\n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n