c2ats - An utility to generate ATS interface from C code - Metasepi
Table of contents Motivation The c2ats utility How to use it? Future plan Motivation Today, we are choosing the Bohai iteration which means rewriting NetBSD kernel using ATS language. On the iteration, we should choose some C language function and rewrite it little by little. But in many cases, the function depends on many C language interfaces, which are needed to be imported into ATS code. After
めたせぴ2013☆ゆく年くる年 - Metasepi
Table of contents 2012年12月 2013年1月 2013年2月 2013年3月 2013年4月 2013年5月 2013年6月 2013年7月 2013年8月 2013年9月 2013年10月 2013年11月 2013年12月 2013年まとめ 2014年はどんな年？ この記事は Haskell Advent Calendar 2013 - Qiita [キータ] の12/21(土曜)分じゃなイカ。 今年はワシにとって激動の年だったでゲソ。 Metasepiプロジェクトが本格的に稼動して、 Ajhc Haskellコンパイラ という最初の製品を出荷できたでゲソ。 今年一年を振り返って、ついでに来年の願望や妄想をしてみなイカ？ また何をするのにどれぐらい工数がかかったのか覚えておくと後で役に立つかもしれないでゲソ。 2012年12月 去年何をしていたかというとGHCの
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Home - Metasepi
