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
Metasepi作戦会議 第12回 議事録 - Metasepi
Table of contents 発表資料 発表動画 会議の雰囲気 Metasepi作戦会議 第12回を mbed祭り 2014@冬の横浜 にて開催したでゲソ。 こないだ名古屋で開催した関数型マイコンプログラミング講習会 の紹介とCMSIS-DAP対応gdbserverの現状について発表してきたでゲソ。 ARMは最近 mbed というボード/チップ/開発環境をひっくるめた開発ブランドを立ち上げているでゲソ。 いままではArduino,STM32,MSP430のようにメーカー単体でこのような開発ブランドを作ることはあったでゲソが、 ARM本体が手掛けることは稀だったじゃなイカ。 またこのmbedは mbed-rtos という基盤となる簡単なOSを配布していて、異なるボードでも移植が済んでいればこのmbed-rtos上でほぼ同じC++コードが走るでゲソ。 さらに CMSIS-DAP というデ
Metasepi作戦会議 第9回 議事録 - Metasepi
Table of contents 発表資料 発表音声 旅の情報 (名古屋) 交通 宿 朝、温泉に入りたい スタバでもくもく マルツパーツ 会議の雰囲気 Metasepi作戦会議 第9回を mbedではじめる関数型マイコンプログラミング講習会β というのをやってみたでゲソ。 みんなは 「モノのインターネット」(IoT：Internet of Things) という言葉を聞いたことがあるでゲソ？ 古くはユビキタス社会と呼ばれていたでゲソが、それの別名が最近付けられたのでゲソ。 バスケットボールのようなこれまでなんの変哲もない物体にもマイコンを搭載して、 データー収集をしたりインテリジェントな応答を返させたりしようというのでゲソ。 「モノのインターネット」製造業への経済効果は2850億ドル――ガートナー なのだそうで、金額はともかくとしても注目されている分野であることには違いないでゲソ。 この
めたせぴ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の
簡約!? λカ娘 Rock!の紹介とHaskell製Androidアプリの解説 - Metasepi
Table of contents Haskellで書いたAndroid NDKアプリってどんな感じ？ CubeVertices.hsファイルについて glVertexPointerとglColorPointerの呼び出し AndroidEngine型の状態変更 全てをつなげる簡易フレームワーク この記事は Android Advent Calendar 2013 - Qiita [キータ] の12/17(火曜)分じゃなイカ。 だいぶ息切れしてきた関数型プログラミングの本 簡約!? λカ娘 Rock! がコミックマーケット85 3日目 西地区 す-03a で出るでゲソ。みんな買ってほしいでゲソ! 第1章 λカ娘探索2? 第2章 僕のカノジョはスナッチャー # <= コレ書いた がもくじで、 @master_q は第2章を書いたらしいでゲソ。 この記事では Android NDK に付属して
Metasepi作戦会議 第6回 議事録 - Metasepi
Table of contents 発表資料 Metasepi team meeting #6: “Snatch-driven development” - @masterq_teokure AndroidアプリをTravis CIでビルド - @masterq_teokure デモ動画 Haskellで書かれたAndroid NDKアプリが動作 会議の雰囲気 Metasepi作戦会議 第6回を オープンソースカンファレンス2013 Tokyo/Fall で開催したでゲソ。 そろそろ発表ネタがつきてきたのでゲソが、丁度Haskellを使ってAndroid NDKアプリが書けたので、 その設計ノウハウを解説したでゲソ。 設計ノウハウというのはこれまでやってきた スナッチ設計 手法の詳細についてでゲソ。 Android NDKには native-activity というサンプルがあるじゃなイカ
簡約!λカ娘(4)の紹介とjhcのすゝめ - Metasepi
Table of contents Haskellコンパイラjhc インストール jhcの威力を見よ! jhcのしくみ jhcの持つ可能性 Debianパッケージ化 この記事は Debian/Ubuntu JP Advent Calendar 2012 : ATND と Haskell Advent Calendar 2012 の12/22(土曜)分でゲソー。 またもや 関数型プログラミングの本 が出るでゲソ。コミックマーケット83 3日目 東地区 Y-02a で頒布予定なので、みんな買ってほしいでゲソ! 第1章 インターフェース 第2章 Lighter than Light # <= コレ書いた 第3章 類は友を呼ぶ? 第4章 OCaml で printf じゃなイカ? 第5章 Haskell でも printf じゃなイカ?! 第6章 けいさん! highschool がもくじで、 @
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ATS言語を使って不変条件をAPIに強制する
Metasepi team meeting - Metasepi
docs - Metasepi
スタート! ATSプログラミング - Metasepi
map - Metasepi
Metasepi作戦会議 第13回 議事録 - Metasepi
Metasepi作戦会議 第10回 議事録 - Metasepi
Japan ATS User Group (JATS-UG)の発足とAjhcの今後について - Metasepi
Metasepi作戦会議 第7回 議事録 - Metasepi
Metasepi作戦会議 第5回 議事録 - Metasepi
Metasepi作戦会議 第4回 議事録 - Metasepi
"簡約!? λカ娘 Go!"の紹介とAjhcプロジェクト近況 - Metasepi
Metasepi作戦会議 第2回 議事録 - Metasepi