Download as PDF, PPTX
![[1] 自己紹介[1] 自己紹介[1] 自己紹介[1] 自己紹介[1] 自己紹介
☆ http://www.masterq.net/☆ http://www.masterq.net/☆ http://www.masterq.net/☆ http://www.masterq.net/☆ http://www.masterq.net/
☆ ミラクル・リナックス勤務☆ ミラクル・リナックス勤務☆ ミラクル・リナックス勤務☆ ミラクル・リナックス勤務☆ ミラクル・リナックス勤務
☆ 前はコピー機のOSをNetBSDで作ってた☆ 前はコピー機のOSをNetBSDで作ってた☆ 前はコピー機のOSをNetBSDで作ってた☆ 前はコピー機のOSをNetBSDで作ってた☆ 前はコピー機のOSをNetBSDで作ってた
☆ Debian Maintainer☆ Debian Maintainer☆ Debian Maintainer☆ Debian Maintainer☆ Debian Maintainer
☆ デジタルサイネージのソフト開発してます☆ デジタルサイネージのソフト開発してます☆ デジタルサイネージのソフト開発してます☆ デジタルサイネージのソフト開発してます☆ デジタルサイネージのソフト開発してます
☆ OSSに興味のあるエンジニア募集中です!☆ OSSに興味のあるエンジニア募集中です!☆ OSSに興味のあるエンジニア募集中です!☆ OSSに興味のあるエンジニア募集中です!☆ OSSに興味のあるエンジニア募集中です!](https://image.slidesharecdn.com/20130422ajhcigarashi-130417120555-phpapp02/85/Ajhc-2-320.jpg)
![おしながきおしながきおしながきおしながきおしながき
☆ [1] 自己紹介☆ [1] 自己紹介☆ [1] 自己紹介☆ [1] 自己紹介☆ [1] 自己紹介
☆ [2] Ajhcコンパイラとは☆ [2] Ajhcコンパイラとは☆ [2] Ajhcコンパイラとは☆ [2] Ajhcコンパイラとは☆ [2] Ajhcコンパイラとは
☆ [3] kernelに強い型が必要なのか☆ [3] kernelに強い型が必要なのか☆ [3] kernelに強い型が必要なのか☆ [3] kernelに強い型が必要なのか☆ [3] kernelに強い型が必要なのか
☆ [4] Ajhcコンパイラとマイコン☆ [4] Ajhcコンパイラとマイコン☆ [4] Ajhcコンパイラとマイコン☆ [4] Ajhcコンパイラとマイコン☆ [4] Ajhcコンパイラとマイコン
☆ [5] Ajhcのすゝめ☆ [5] Ajhcのすゝめ☆ [5] Ajhcのすゝめ☆ [5] Ajhcのすゝめ☆ [5] Ajhcのすゝめ](https://image.slidesharecdn.com/20130422ajhcigarashi-130417120555-phpapp02/85/Ajhc-5-320.jpg)
![[2] Ajhcコンパイラとは[2] Ajhcコンパイラとは[2] Ajhcコンパイラとは[2] Ajhcコンパイラとは[2] Ajhcコンパイラとは
http://ajhc.metasepi.org/http://ajhc.metasepi.org/http://ajhc.metasepi.org/http://ajhc.metasepi.org/http://ajhc.metasepi.org/
☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc
☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/
☆ jhcはフットプリントが小さく、☆ jhcはフットプリントが小さく、☆ jhcはフットプリントが小さく、☆ jhcはフットプリントが小さく、☆ jhcはフットプリントが小さく、
☆ 高速な実行バイナリを吐くらしい☆ 高速な実行バイナリを吐くらしい☆ 高速な実行バイナリを吐くらしい☆ 高速な実行バイナリを吐くらしい☆ 高速な実行バイナリを吐くらしい
☆ 組み込みに向いてるかも☆ 組み込みに向いてるかも☆ 組み込みに向いてるかも☆ 組み込みに向いてるかも☆ 組み込みに向いてるかも](https://image.slidesharecdn.com/20130422ajhcigarashi-130417120555-phpapp02/85/Ajhc-6-320.jpg)
![[3] kernelに強い型が必要なのか[3] kernelに強い型が必要なのか[3] kernelに強い型が必要なのか[3] kernelに強い型が必要なのか[3] kernelに強い型が必要なのか
☆ LinuxやWindowsが既にあるのでは？☆ LinuxやWindowsが既にあるのでは？☆ LinuxやWindowsが既にあるのでは？☆ LinuxやWindowsが既にあるのでは？☆ LinuxやWindowsが既にあるのでは？
☆ しかし大規模組込開発は苦しんでいる☆ しかし大規模組込開発は苦しんでいる☆ しかし大規模組込開発は苦しんでいる☆ しかし大規模組込開発は苦しんでいる☆ しかし大規模組込開発は苦しんでいる
☆ kernelをカスタマイズして使用☆ kernelをカスタマイズして使用☆ kernelをカスタマイズして使用☆ kernelをカスタマイズして使用☆ kernelをカスタマイズして使用
☆ kernelのランタイムエラー☆ kernelのランタイムエラー☆ kernelのランタイムエラー☆ kernelのランタイムエラー☆ kernelのランタイムエラー
☆ 再現することでさえ困難☆ 再現することでさえ困難☆ 再現することでさえ困難☆ 再現することでさえ困難☆ 再現することでさえ困難](https://image.slidesharecdn.com/20130422ajhcigarashi-130417120555-phpapp02/85/Ajhc-8-320.jpg)
![[4] Ajhcコンパイラとマイコン[4] Ajhcコンパイラとマイコン[4] Ajhcコンパイラとマイコン[4] Ajhcコンパイラとマイコン[4] Ajhcコンパイラとマイコン
Ajhcの使い方は以下のような感じAjhcの使い方は以下のような感じAjhcの使い方は以下のような感じAjhcの使い方は以下のような感じAjhcの使い方は以下のような感じ
$ cabal install ajhc
$ ajhc --version
ajhc 0.8.0.1 (80aa12fb9b57622bba2f0e911d7ebc0c04ddb662)
compiled by ghc-7.4 on a x86_64 running linux
$ echo 'main = print "hoge"' > Hoge.hs
$ ajhc Hoge.hs
$ ./hs.out
"hoge"
$ cabal install ajhc
$ ajhc --version
ajhc 0.8.0.1 (80aa12fb9b57622bba2f0e911d7ebc0c04ddb662)
compiled by ghc-7.4 on a x86_64 running linux
$ echo 'main = print "hoge"' > Hoge.hs
$ ajhc Hoge.hs
$ ./hs.out
"hoge"
$ cabal install ajhc
$ ajhc --version
ajhc 0.8.0.1 (80aa12fb9b57622bba2f0e911d7ebc0c04ddb662)
compiled by ghc-7.4 on a x86_64 running linux
$ echo 'main = print "hoge"' > Hoge.hs
$ ajhc Hoge.hs
$ ./hs.out
"hoge"
$ cabal install ajhc
$ ajhc --version
ajhc 0.8.0.1 (80aa12fb9b57622bba2f0e911d7ebc0c04ddb662)
compiled by ghc-7.4 on a x86_64 running linux
$ echo 'main = print "hoge"' > Hoge.hs
$ ajhc Hoge.hs
$ ./hs.out
"hoge"
$ cabal install ajhc
$ ajhc --version
ajhc 0.8.0.1 (80aa12fb9b57622bba2f0e911d7ebc0c04ddb662)
compiled by ghc-7.4 on a x86_64 running linux
$ echo 'main = print "hoge"' > Hoge.hs
$ ajhc Hoge.hs
$ ./hs.out
"hoge"
☆ このままだと面白くない☆ このままだと面白くない☆ このままだと面白くない☆ このままだと面白くない☆ このままだと面白くない
☆ クロスコンパイルして、☆ クロスコンパイルして、☆ クロスコンパイルして、☆ クロスコンパイルして、☆ クロスコンパイルして、
☆ マイコンでHaskellコード実行してみる？☆ マイコンでHaskellコード実行してみる？☆ マイコンでHaskellコード実行してみる？☆ マイコンでHaskellコード実行してみる？☆ マイコンでHaskellコード実行してみる？](https://image.slidesharecdn.com/20130422ajhcigarashi-130417120555-phpapp02/85/Ajhc-16-320.jpg)
![[5] Ajhcのすゝめ[5] Ajhcのすゝめ[5] Ajhcのすゝめ[5] Ajhcのすゝめ[5] Ajhcのすゝめ
☆ Ajhc使ってみませんか？☆ Ajhc使ってみませんか？☆ Ajhc使ってみませんか？☆ Ajhc使ってみませんか？☆ Ajhc使ってみませんか？
☆ マニュアルはイカ☆ マニュアルはイカ☆ マニュアルはイカ☆ マニュアルはイカ☆ マニュアルはイカ
ajhc.metasepi.org/manual_ja.htmlajhc.metasepi.org/manual_ja.htmlajhc.metasepi.org/manual_ja.htmlajhc.metasepi.org/manual_ja.htmlajhc.metasepi.org/manual_ja.html
☆ バグ/機能要望ありましたらイカまで☆ バグ/機能要望ありましたらイカまで☆ バグ/機能要望ありましたらイカまで☆ バグ/機能要望ありましたらイカまで☆ バグ/機能要望ありましたらイカまで
https://github.com/ajhc/ajhc/issueshttps://github.com/ajhc/ajhc/issueshttps://github.com/ajhc/ajhc/issueshttps://github.com/ajhc/ajhc/issueshttps://github.com/ajhc/ajhc/issues
☆ もちろんpull requestも大歓迎です!☆ もちろんpull requestも大歓迎です!☆ もちろんpull requestも大歓迎です!☆ もちろんpull requestも大歓迎です!☆ もちろんpull requestも大歓迎です!
https://github.com/ajhc/ajhchttps://github.com/ajhc/ajhchttps://github.com/ajhc/ajhchttps://github.com/ajhc/ajhchttps://github.com/ajhc/ajhc](https://image.slidesharecdn.com/20130422ajhcigarashi-130417120555-phpapp02/85/Ajhc-29-320.jpg)
Ajhcコンパイラの押売りに来ました
- 1.
- 2. [1] 自己紹介[1] 自己紹介[1]自己紹介[1] 自己紹介[1] 自己紹介 ☆ http://www.masterq.net/☆ http://www.masterq.net/☆ http://www.masterq.net/☆ http://www.masterq.net/☆ http://www.masterq.net/ ☆ ミラクル・リナックス勤務☆ ミラクル・リナックス勤務☆ ミラクル・リナックス勤務☆ ミラクル・リナックス勤務☆ ミラクル・リナックス勤務 ☆ 前はコピー機のOSをNetBSDで作ってた☆ 前はコピー機のOSをNetBSDで作ってた☆ 前はコピー機のOSをNetBSDで作ってた☆ 前はコピー機のOSをNetBSDで作ってた☆ 前はコピー機のOSをNetBSDで作ってた ☆ Debian Maintainer☆ Debian Maintainer☆ Debian Maintainer☆ Debian Maintainer☆ Debian Maintainer ☆ デジタルサイネージのソフト開発してます☆ デジタルサイネージのソフト開発してます☆ デジタルサイネージのソフト開発してます☆ デジタルサイネージのソフト開発してます☆ デジタルサイネージのソフト開発してます ☆ OSSに興味のあるエンジニア募集中です!☆ OSSに興味のあるエンジニア募集中です!☆ OSSに興味のあるエンジニア募集中です!☆ OSSに興味のあるエンジニア募集中です!☆ OSSに興味のあるエンジニア募集中です!
- 3. 経歴経歴経歴経歴経歴 ☆ 2001年: 東京都立大学修士卒業☆ 2001年: 東京都立大学 修士卒業☆ 2001年: 東京都立大学 修士卒業☆ 2001年: 東京都立大学 修士卒業☆ 2001年: 東京都立大学 修士卒業 ☆ 専攻: 電気・電子工学☆ 専攻: 電気・電子工学☆ 専攻: 電気・電子工学☆ 専攻: 電気・電子工学☆ 専攻: 電気・電子工学 ☆ 2001—2012年: コピー機メーカー勤務☆ 2001—2012年: コピー機メーカー勤務☆ 2001—2012年: コピー機メーカー勤務☆ 2001—2012年: コピー機メーカー勤務☆ 2001—2012年: コピー機メーカー勤務 ☆ 2012年—: 現職☆ 2012年—: 現職☆ 2012年—: 現職☆ 2012年—: 現職☆ 2012年—: 現職
- 4. 宣伝:λカ娘に記事を書きませんか？宣伝:λカ娘に記事を書きませんか？宣伝:λカ娘に記事を書きませんか？宣伝:λカ娘に記事を書きませんか？宣伝:λカ娘に記事を書きませんか？ http://www.paraiso-lang.org/ikmsm/http://www.paraiso-lang.org/ikmsm/http://www.paraiso-lang.org/ikmsm/http://www.paraiso-lang.org/ikmsm/http://www.paraiso-lang.org/ikmsm/ ☆ 関数型プログラミングに関する同人誌☆ 関数型プログラミングに関する同人誌☆関数型プログラミングに関する同人誌☆ 関数型プログラミングに関する同人誌☆ 関数型プログラミングに関する同人誌 ☆ これまで4巻出しました☆ これまで4巻出しました☆ これまで4巻出しました☆ これまで4巻出しました☆ これまで4巻出しました ☆ 結構好評みたいです☆ 結構好評みたいです☆ 結構好評みたいです☆ 結構好評みたいです☆ 結構好評みたいです ☆ ネタある人は @xhl_kogitsune さんまで!☆ ネタある人は @xhl_kogitsune さんまで!☆ ネタある人は @xhl_kogitsune さんまで!☆ ネタある人は @xhl_kogitsune さんまで!☆ ネタある人は @xhl_kogitsune さんまで! ☆ Call For Articlesはイカ☆ Call For Articlesはイカ☆ Call For Articlesはイカ☆ Call For Articlesはイカ☆ Call For Articlesはイカ http://www.paraiso-lang.org/ikmsm/books/c84.htmlhttp://www.paraiso-lang.org/ikmsm/books/c84.htmlhttp://www.paraiso-lang.org/ikmsm/books/c84.htmlhttp://www.paraiso-lang.org/ikmsm/books/c84.htmlhttp://www.paraiso-lang.org/ikmsm/books/c84.html
- 5. おしながきおしながきおしながきおしながきおしながき ☆ [1] 自己紹介☆[1] 自己紹介☆ [1] 自己紹介☆ [1] 自己紹介☆ [1] 自己紹介 ☆ [2] Ajhcコンパイラとは☆ [2] Ajhcコンパイラとは☆ [2] Ajhcコンパイラとは☆ [2] Ajhcコンパイラとは☆ [2] Ajhcコンパイラとは ☆ [3] kernelに強い型が必要なのか☆ [3] kernelに強い型が必要なのか☆ [3] kernelに強い型が必要なのか☆ [3] kernelに強い型が必要なのか☆ [3] kernelに強い型が必要なのか ☆ [4] Ajhcコンパイラとマイコン☆ [4] Ajhcコンパイラとマイコン☆ [4] Ajhcコンパイラとマイコン☆ [4] Ajhcコンパイラとマイコン☆ [4] Ajhcコンパイラとマイコン ☆ [5] Ajhcのすゝめ☆ [5] Ajhcのすゝめ☆ [5] Ajhcのすゝめ☆ [5] Ajhcのすゝめ☆ [5] Ajhcのすゝめ
- 6. [2] Ajhcコンパイラとは[2] Ajhcコンパイラとは[2]Ajhcコンパイラとは[2] Ajhcコンパイラとは[2] Ajhcコンパイラとは http://ajhc.metasepi.org/http://ajhc.metasepi.org/http://ajhc.metasepi.org/http://ajhc.metasepi.org/http://ajhc.metasepi.org/ ☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc☆ Ajhc := A fork of jhc ☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/☆ http://repetae.net/computer/jhc/ ☆ jhcはフットプリントが小さく、☆ jhcはフットプリントが小さく、☆ jhcはフットプリントが小さく、☆ jhcはフットプリントが小さく、☆ jhcはフットプリントが小さく、 ☆ 高速な実行バイナリを吐くらしい☆ 高速な実行バイナリを吐くらしい☆ 高速な実行バイナリを吐くらしい☆ 高速な実行バイナリを吐くらしい☆ 高速な実行バイナリを吐くらしい ☆ 組み込みに向いてるかも☆ 組み込みに向いてるかも☆ 組み込みに向いてるかも☆ 組み込みに向いてるかも☆ 組み込みに向いてるかも
- 7. どうしてAjhcコンパイラを作るの？どうしてAjhcコンパイラを作るの？どうしてAjhcコンパイラを作るの？どうしてAjhcコンパイラを作るの？どうしてAjhcコンパイラを作るの？ ☆ Metasepiというkernelを作るため☆ Metasepiというkernelを作るため☆Metasepiというkernelを作るため☆ Metasepiというkernelを作るため☆ Metasepiというkernelを作るため http://metasepi.org/http://metasepi.org/http://metasepi.org/http://metasepi.org/http://metasepi.org/ ☆ UNIXモドキkernelを強い型によって設計☆ UNIXモドキkernelを強い型によって設計☆ UNIXモドキkernelを強い型によって設計☆ UNIXモドキkernelを強い型によって設計☆ UNIXモドキkernelを強い型によって設計 ☆ 言語: HaskellとかOCamlとかMLtonとか☆ 言語: HaskellとかOCamlとかMLtonとか☆ 言語: HaskellとかOCamlとかMLtonとか☆ 言語: HaskellとかOCamlとかMLtonとか☆ 言語: HaskellとかOCamlとかMLtonとか
- 8. [3] kernelに強い型が必要なのか[3] kernelに強い型が必要なのか[3]kernelに強い型が必要なのか[3] kernelに強い型が必要なのか[3] kernelに強い型が必要なのか ☆ LinuxやWindowsが既にあるのでは？☆ LinuxやWindowsが既にあるのでは？☆ LinuxやWindowsが既にあるのでは？☆ LinuxやWindowsが既にあるのでは？☆ LinuxやWindowsが既にあるのでは？ ☆ しかし大規模組込開発は苦しんでいる☆ しかし大規模組込開発は苦しんでいる☆ しかし大規模組込開発は苦しんでいる☆ しかし大規模組込開発は苦しんでいる☆ しかし大規模組込開発は苦しんでいる ☆ kernelをカスタマイズして使用☆ kernelをカスタマイズして使用☆ kernelをカスタマイズして使用☆ kernelをカスタマイズして使用☆ kernelをカスタマイズして使用 ☆ kernelのランタイムエラー☆ kernelのランタイムエラー☆ kernelのランタイムエラー☆ kernelのランタイムエラー☆ kernelのランタイムエラー ☆ 再現することでさえ困難☆ 再現することでさえ困難☆ 再現することでさえ困難☆ 再現することでさえ困難☆ 再現することでさえ困難
- 9. kernelにこそ型安全が必要kernelにこそ型安全が必要kernelにこそ型安全が必要kernelにこそ型安全が必要kernelにこそ型安全が必要 ☆ ほとんどのkernelはC言語で設計される☆ ほとんどのkernelはC言語で設計される☆ほとんどのkernelはC言語で設計される☆ ほとんどのkernelはC言語で設計される☆ ほとんどのkernelはC言語で設計される ☆ ユーザー空間でエラー → SEGV☆ ユーザー空間でエラー → SEGV☆ ユーザー空間でエラー → SEGV☆ ユーザー空間でエラー → SEGV☆ ユーザー空間でエラー → SEGV ☆ kernel空間でエラー → システム停止☆ kernel空間でエラー → システム停止☆ kernel空間でエラー → システム停止☆ kernel空間でエラー → システム停止☆ kernel空間でエラー → システム停止 ☆ kernelの設計には細心の注意が必要☆ kernelの設計には細心の注意が必要☆ kernelの設計には細心の注意が必要☆ kernelの設計には細心の注意が必要☆ kernelの設計には細心の注意が必要 ☆ C言語は安全なのか？☆ C言語は安全なのか？☆ C言語は安全なのか？☆ C言語は安全なのか？☆ C言語は安全なのか？ ☆ 参考:数理科学的バグ撲滅方法論のすすめ☆ 参考:数理科学的バグ撲滅方法論のすすめ☆ 参考:数理科学的バグ撲滅方法論のすすめ☆ 参考:数理科学的バグ撲滅方法論のすすめ☆ 参考:数理科学的バグ撲滅方法論のすすめ http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248230/http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248230/http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248230/http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248230/http://itpro.nikkeibp.co.jp/article/COLUMN/20060915/248230/
- 10.
- 11. C言語の表現力は非力C言語の表現力は非力C言語の表現力は非力C言語の表現力は非力C言語の表現力は非力 モダンな言語機能を使いたいモダンな言語機能を使いたいモダンな言語機能を使いたいモダンな言語機能を使いたいモダンな言語機能を使いたい ☆ パターンマッチ☆ パターンマッチ☆パターンマッチ☆ パターンマッチ☆ パターンマッチ ☆ 純粋関数☆ 純粋関数☆ 純粋関数☆ 純粋関数☆ 純粋関数 ☆ 高階関数☆ 高階関数☆ 高階関数☆ 高階関数☆ 高階関数 ☆ 型推論☆ 型推論☆ 型推論☆ 型推論☆ 型推論 ☆ 対話環境☆ 対話環境☆ 対話環境☆ 対話環境☆ 対話環境 ☆ STM☆ STM☆ STM☆ STM☆ STM
- 12. 型付けされていれば未来は広がる型付けされていれば未来は広がる型付けされていれば未来は広がる型付けされていれば未来は広がる型付けされていれば未来は広がる ☆ 単体テストしやすい☆ 単体テストしやすい☆単体テストしやすい☆ 単体テストしやすい☆ 単体テストしやすい ☆ 型による契約プログラミング☆ 型による契約プログラミング☆ 型による契約プログラミング☆ 型による契約プログラミング☆ 型による契約プログラミング ☆ 検証しやすい☆ 検証しやすい☆ 検証しやすい☆ 検証しやすい☆ 検証しやすい ☆ 証明器による設計☆ 証明器による設計☆ 証明器による設計☆ 証明器による設計☆ 証明器による設計
- 13. なぜGHCを使わないのかなぜGHCを使わないのかなぜGHCを使わないのかなぜGHCを使わないのかなぜGHCを使わないのか GHCの吐くバイナリはサイズが大きいGHCの吐くバイナリはサイズが大きいGHCの吐くバイナリはサイズが大きいGHCの吐くバイナリはサイズが大きいGHCの吐くバイナリはサイズが大きい $ ajhc --version ajhc0.8.0.5 (210da9343b6b7e38a89eb28f85602471a325647a) $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.4.1 $ echo 'main = print "Hello"' > Hello.hs $ ajhc Hello.hs -o Hello_ajhc $ ghc Hello.hs -o Hello_ghc $ size Hello_ajhc Hello_ghc text data bss dec hex filename 19440 1324 744 21508 5404 Hello_ajhc 709612 40840 46776 797228 c2a2c Hello_ghc $ ldd Hello_ajhc | wc -l 3 $ ldd Hello_ghc | wc -l 9 $ ajhc --version ajhc 0.8.0.5 (210da9343b6b7e38a89eb28f85602471a325647a) $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.4.1 $ echo 'main = print "Hello"' > Hello.hs $ ajhc Hello.hs -o Hello_ajhc $ ghc Hello.hs -o Hello_ghc $ size Hello_ajhc Hello_ghc text data bss dec hex filename 19440 1324 744 21508 5404 Hello_ajhc 709612 40840 46776 797228 c2a2c Hello_ghc $ ldd Hello_ajhc | wc -l 3 $ ldd Hello_ghc | wc -l 9 $ ajhc --version ajhc 0.8.0.5 (210da9343b6b7e38a89eb28f85602471a325647a) $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.4.1 $ echo 'main = print "Hello"' > Hello.hs $ ajhc Hello.hs -o Hello_ajhc $ ghc Hello.hs -o Hello_ghc $ size Hello_ajhc Hello_ghc text data bss dec hex filename 19440 1324 744 21508 5404 Hello_ajhc 709612 40840 46776 797228 c2a2c Hello_ghc $ ldd Hello_ajhc | wc -l 3 $ ldd Hello_ghc | wc -l 9 $ ajhc --version ajhc 0.8.0.5 (210da9343b6b7e38a89eb28f85602471a325647a) $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.4.1 $ echo 'main = print "Hello"' > Hello.hs $ ajhc Hello.hs -o Hello_ajhc $ ghc Hello.hs -o Hello_ghc $ size Hello_ajhc Hello_ghc text data bss dec hex filename 19440 1324 744 21508 5404 Hello_ajhc 709612 40840 46776 797228 c2a2c Hello_ghc $ ldd Hello_ajhc | wc -l 3 $ ldd Hello_ghc | wc -l 9 $ ajhc --version ajhc 0.8.0.5 (210da9343b6b7e38a89eb28f85602471a325647a) $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.4.1 $ echo 'main = print "Hello"' > Hello.hs $ ajhc Hello.hs -o Hello_ajhc $ ghc Hello.hs -o Hello_ghc $ size Hello_ajhc Hello_ghc text data bss dec hex filename 19440 1324 744 21508 5404 Hello_ajhc 709612 40840 46776 797228 c2a2c Hello_ghc $ ldd Hello_ajhc | wc -l 3 $ ldd Hello_ghc | wc -l 9 ML系はあまり調べきれていません...ML系はあまり調べきれていません...ML系はあまり調べきれていません...ML系はあまり調べきれていません...ML系はあまり調べきれていません...
- 14. 型で設計されたOSは他にないのか型で設計されたOSは他にないのか型で設計されたOSは他にないのか型で設計されたOSは他にないのか型で設計されたOSは他にないのか デスクトップとして使用可能なレベルではないデスクトップとして使用可能なレベルではないデスクトップとして使用可能なレベルではないデスクトップとして使用可能なレベルではないデスクトップとして使用可能なレベルではない ☆ Funk (OCaml製)☆Funk (OCaml製)☆ Funk (OCaml製)☆ Funk (OCaml製)☆ Funk (OCaml製) http://home.gna.org/funk/http://home.gna.org/funk/http://home.gna.org/funk/http://home.gna.org/funk/http://home.gna.org/funk/ ☆ snowflake-os (OCaml製)☆ snowflake-os (OCaml製)☆ snowflake-os (OCaml製)☆ snowflake-os (OCaml製)☆ snowflake-os (OCaml製) http://code.google.com/p/snowflake-os/http://code.google.com/p/snowflake-os/http://code.google.com/p/snowflake-os/http://code.google.com/p/snowflake-os/http://code.google.com/p/snowflake-os/ ☆ House (Haskell製)☆ House (Haskell製)☆ House (Haskell製)☆ House (Haskell製)☆ House (Haskell製) http://programatica.cs.pdx.edu/House/http://programatica.cs.pdx.edu/House/http://programatica.cs.pdx.edu/House/http://programatica.cs.pdx.edu/House/http://programatica.cs.pdx.edu/House/ ☆ HaLVM (Haskell製)☆ HaLVM (Haskell製)☆ HaLVM (Haskell製)☆ HaLVM (Haskell製)☆ HaLVM (Haskell製) http://corp.galois.com/halvm/http://corp.galois.com/halvm/http://corp.galois.com/halvm/http://corp.galois.com/halvm/http://corp.galois.com/halvm/
- 15. 実用化に辿りつくために実用化に辿りつくために実用化に辿りつくために実用化に辿りつくために実用化に辿りつくために ☆ ドッグフードを維持しながら開発☆ ドッグフードを維持しながら開発☆ドッグフードを維持しながら開発☆ ドッグフードを維持しながら開発☆ ドッグフードを維持しながら開発
- 16. [4] Ajhcコンパイラとマイコン[4] Ajhcコンパイラとマイコン[4]Ajhcコンパイラとマイコン[4] Ajhcコンパイラとマイコン[4] Ajhcコンパイラとマイコン Ajhcの使い方は以下のような感じAjhcの使い方は以下のような感じAjhcの使い方は以下のような感じAjhcの使い方は以下のような感じAjhcの使い方は以下のような感じ $ cabal install ajhc $ ajhc --version ajhc 0.8.0.1 (80aa12fb9b57622bba2f0e911d7ebc0c04ddb662) compiled by ghc-7.4 on a x86_64 running linux $ echo 'main = print "hoge"' > Hoge.hs $ ajhc Hoge.hs $ ./hs.out "hoge" $ cabal install ajhc $ ajhc --version ajhc 0.8.0.1 (80aa12fb9b57622bba2f0e911d7ebc0c04ddb662) compiled by ghc-7.4 on a x86_64 running linux $ echo 'main = print "hoge"' > Hoge.hs $ ajhc Hoge.hs $ ./hs.out "hoge" $ cabal install ajhc $ ajhc --version ajhc 0.8.0.1 (80aa12fb9b57622bba2f0e911d7ebc0c04ddb662) compiled by ghc-7.4 on a x86_64 running linux $ echo 'main = print "hoge"' > Hoge.hs $ ajhc Hoge.hs $ ./hs.out "hoge" $ cabal install ajhc $ ajhc --version ajhc 0.8.0.1 (80aa12fb9b57622bba2f0e911d7ebc0c04ddb662) compiled by ghc-7.4 on a x86_64 running linux $ echo 'main = print "hoge"' > Hoge.hs $ ajhc Hoge.hs $ ./hs.out "hoge" $ cabal install ajhc $ ajhc --version ajhc 0.8.0.1 (80aa12fb9b57622bba2f0e911d7ebc0c04ddb662) compiled by ghc-7.4 on a x86_64 running linux $ echo 'main = print "hoge"' > Hoge.hs $ ajhc Hoge.hs $ ./hs.out "hoge" ☆ このままだと面白くない☆ このままだと面白くない☆ このままだと面白くない☆ このままだと面白くない☆ このままだと面白くない ☆ クロスコンパイルして、☆ クロスコンパイルして、☆ クロスコンパイルして、☆ クロスコンパイルして、☆ クロスコンパイルして、 ☆ マイコンでHaskellコード実行してみる？☆ マイコンでHaskellコード実行してみる？☆ マイコンでHaskellコード実行してみる？☆ マイコンでHaskellコード実行してみる？☆ マイコンでHaskellコード実行してみる？
- 17. まずはデモでもどうぞまずはデモでもどうぞまずはデモでもどうぞまずはデモでもどうぞまずはデモでもどうぞ デモ動画: http://www.nicovideo.jp/watch/sm20336813 デモソースコード: https://github.com/ajhc/demo-cortex-m3 デモ動画:http://www.nicovideo.jp/watch/sm20336813 デモソースコード: https://github.com/ajhc/demo-cortex-m3 デモ動画: http://www.nicovideo.jp/watch/sm20336813 デモソースコード: https://github.com/ajhc/demo-cortex-m3 デモ動画: http://www.nicovideo.jp/watch/sm20336813 デモソースコード: https://github.com/ajhc/demo-cortex-m3 デモ動画: http://www.nicovideo.jp/watch/sm20336813 デモソースコード: https://github.com/ajhc/demo-cortex-m3 ☆ LEDをぐりんぐりん☆ LEDをぐりんぐりん☆ LEDをぐりんぐりん☆ LEDをぐりんぐりん☆ LEDをぐりんぐりん ☆ LEDにモールス信号☆ LEDにモールス信号☆ LEDにモールス信号☆ LEDにモールス信号☆ LEDにモールス信号
- 18. デモソースコードデモソースコードデモソースコードデモソースコードデモソースコード なんじゃこりゃ...なんじゃこりゃ...なんじゃこりゃ...なんじゃこりゃ...なんじゃこりゃ... foreign import ccall"c_extern.h Delay" c_delay :: Word32 -> IO () foreign import ccall "c_extern.h &jhc_zeroAddress" c_jhc_zeroAddress16 :: Ptr Word16 gpioPin8, gpioPin9, gpioPin10, gpioPin11, gpioPin12, gpioPin13, gpioPin14, gpioPin15, led3, led4, led5, led6, led7, led8, led9, led10 :: Word16 gpioPin8 = 0x0100 --snip-- led3 = gpioPin9 --snip-- brrPtr, bsrrPtr :: Ptr Word16 brrPtr = c_jhc_zeroAddress16 `plusPtr` 0x48001028 bsrrPtr = c_jhc_zeroAddress16 `plusPtr` 0x48001018 ledOff, ledOn :: Word16 -> IO () ledOff = poke brrPtr ledOn = poke bsrrPtr foreign import ccall "c_extern.h Delay" c_delay :: Word32 -> IO () foreign import ccall "c_extern.h &jhc_zeroAddress" c_jhc_zeroAddress16 :: Ptr Word16 gpioPin8, gpioPin9, gpioPin10, gpioPin11, gpioPin12, gpioPin13, gpioPin14, gpioPin15, led3, led4, led5, led6, led7, led8, led9, led10 :: Word16 gpioPin8 = 0x0100 --snip-- led3 = gpioPin9 --snip-- brrPtr, bsrrPtr :: Ptr Word16 brrPtr = c_jhc_zeroAddress16 `plusPtr` 0x48001028 bsrrPtr = c_jhc_zeroAddress16 `plusPtr` 0x48001018 ledOff, ledOn :: Word16 -> IO () ledOff = poke brrPtr ledOn = poke bsrrPtr foreign import ccall "c_extern.h Delay" c_delay :: Word32 -> IO () foreign import ccall "c_extern.h &jhc_zeroAddress" c_jhc_zeroAddress16 :: Ptr Word16 gpioPin8, gpioPin9, gpioPin10, gpioPin11, gpioPin12, gpioPin13, gpioPin14, gpioPin15, led3, led4, led5, led6, led7, led8, led9, led10 :: Word16 gpioPin8 = 0x0100 --snip-- led3 = gpioPin9 --snip-- brrPtr, bsrrPtr :: Ptr Word16 brrPtr = c_jhc_zeroAddress16 `plusPtr` 0x48001028 bsrrPtr = c_jhc_zeroAddress16 `plusPtr` 0x48001018 ledOff, ledOn :: Word16 -> IO () ledOff = poke brrPtr ledOn = poke bsrrPtr foreign import ccall "c_extern.h Delay" c_delay :: Word32 -> IO () foreign import ccall "c_extern.h &jhc_zeroAddress" c_jhc_zeroAddress16 :: Ptr Word16 gpioPin8, gpioPin9, gpioPin10, gpioPin11, gpioPin12, gpioPin13, gpioPin14, gpioPin15, led3, led4, led5, led6, led7, led8, led9, led10 :: Word16 gpioPin8 = 0x0100 --snip-- led3 = gpioPin9 --snip-- brrPtr, bsrrPtr :: Ptr Word16 brrPtr = c_jhc_zeroAddress16 `plusPtr` 0x48001028 bsrrPtr = c_jhc_zeroAddress16 `plusPtr` 0x48001018 ledOff, ledOn :: Word16 -> IO () ledOff = poke brrPtr ledOn = poke bsrrPtr foreign import ccall "c_extern.h Delay" c_delay :: Word32 -> IO () foreign import ccall "c_extern.h &jhc_zeroAddress" c_jhc_zeroAddress16 :: Ptr Word16 gpioPin8, gpioPin9, gpioPin10, gpioPin11, gpioPin12, gpioPin13, gpioPin14, gpioPin15, led3, led4, led5, led6, led7, led8, led9, led10 :: Word16 gpioPin8 = 0x0100 --snip-- led3 = gpioPin9 --snip-- brrPtr, bsrrPtr :: Ptr Word16 brrPtr = c_jhc_zeroAddress16 `plusPtr` 0x48001028 bsrrPtr = c_jhc_zeroAddress16 `plusPtr` 0x48001018 ledOff, ledOn :: Word16 -> IO () ledOff = poke brrPtr ledOn = poke bsrrPtr
- 19. 図にしましょう: 起動シーケンス図にしましょう: 起動シーケンス図にしましょう:起動シーケンス図にしましょう: 起動シーケンス図にしましょう: 起動シーケンス
- 20. 図にしましょう: Haskellコードの動き図にしましょう: Haskellコードの動き図にしましょう:Haskellコードの動き図にしましょう: Haskellコードの動き図にしましょう: Haskellコードの動き
- 21. 図にしましょう: もっと簡単に図にしましょう: もっと簡単に図にしましょう:もっと簡単に図にしましょう: もっと簡単に図にしましょう: もっと簡単に
- 22.
- 23.
- 24. ランタイムランタイムランタイムランタイムランタイム ☆ C言語コメント込み3000行 小さい!☆C言語コメント込み3000行 小さい!☆ C言語コメント込み3000行 小さい!☆ C言語コメント込み3000行 小さい!☆ C言語コメント込み3000行 小さい! ☆ 組み込み用途に向いている☆ 組み込み用途に向いている☆ 組み込み用途に向いている☆ 組み込み用途に向いている☆ 組み込み用途に向いている
- 25.
- 26. GCGCGCGCGC http://www.slideshare.net/dec9ue/gc-16298437http://www.slideshare.net/dec9ue/gc-16298437http://www.slideshare.net/dec9ue/gc-16298437http://www.slideshare.net/dec9ue/gc-16298437http://www.slideshare.net/dec9ue/gc-16298437 ☆ @dec9ue という人がすごい詳しい☆@dec9ue という人がすごい詳しい☆ @dec9ue という人がすごい詳しい☆ @dec9ue という人がすごい詳しい☆ @dec9ue という人がすごい詳しい ☆ マークオンリーGCらしい☆ マークオンリーGCらしい☆ マークオンリーGCらしい☆ マークオンリーGCらしい☆ マークオンリーGCらしい ☆ GCのくせにmalloc使う☆ GCのくせにmalloc使う☆ GCのくせにmalloc使う☆ GCのくせにmalloc使う☆ GCのくせにmalloc使う ☆ AjhcではGCを修正して省メモリ化☆ AjhcではGCを修正して省メモリ化☆ AjhcではGCを修正して省メモリ化☆ AjhcではGCを修正して省メモリ化☆ AjhcではGCを修正して省メモリ化
- 27. デモ: GC頻度をgdbで調べるデモ: GC頻度をgdbで調べるデモ:GC頻度をgdbで調べるデモ: GC頻度をgdbで調べるデモ: GC頻度をgdbで調べる ☆ GCを実行する関数にbreak pointはる☆ GCを実行する関数にbreak pointはる☆ GCを実行する関数にbreak pointはる☆ GCを実行する関数にbreak pointはる☆ GCを実行する関数にbreak pointはる (gdb) break gc_perform_gc(gdb) break gc_perform_gc(gdb) break gc_perform_gc(gdb) break gc_perform_gc(gdb) break gc_perform_gc (gdb) continue(gdb) continue(gdb) continue(gdb) continue(gdb) continue ☆ どれぐらいGCが起きてるかな？☆ どれぐらいGCが起きてるかな？☆ どれぐらいGCが起きてるかな？☆ どれぐらいGCが起きてるかな？☆ どれぐらいGCが起きてるかな？
- 28. 不足している機能/不具合不足している機能/不具合不足している機能/不具合不足している機能/不具合不足している機能/不具合 ☆ Haskell Platform移植☆Haskell Platform移植☆ Haskell Platform移植☆ Haskell Platform移植☆ Haskell Platform移植 ☆ GHCコンパチ☆ GHCコンパチ☆ GHCコンパチ☆ GHCコンパチ☆ GHCコンパチ ☆ 再入☆ 再入☆ 再入☆ 再入☆ 再入 ☆ 並列実行☆ 並列実行☆ 並列実行☆ 並列実行☆ 並列実行 ☆ GC中の割り込み☆ GC中の割り込み☆ GC中の割り込み☆ GC中の割り込み☆ GC中の割り込み ☆ リージョン推論☆ リージョン推論☆ リージョン推論☆ リージョン推論☆ リージョン推論 研究開発テーマの山ですね!研究開発テーマの山ですね!研究開発テーマの山ですね!研究開発テーマの山ですね!研究開発テーマの山ですね!
- 29. [5] Ajhcのすゝめ[5] Ajhcのすゝめ[5]Ajhcのすゝめ[5] Ajhcのすゝめ[5] Ajhcのすゝめ ☆ Ajhc使ってみませんか？☆ Ajhc使ってみませんか？☆ Ajhc使ってみませんか？☆ Ajhc使ってみませんか？☆ Ajhc使ってみませんか？ ☆ マニュアルはイカ☆ マニュアルはイカ☆ マニュアルはイカ☆ マニュアルはイカ☆ マニュアルはイカ ajhc.metasepi.org/manual_ja.htmlajhc.metasepi.org/manual_ja.htmlajhc.metasepi.org/manual_ja.htmlajhc.metasepi.org/manual_ja.htmlajhc.metasepi.org/manual_ja.html ☆ バグ/機能要望ありましたらイカまで☆ バグ/機能要望ありましたらイカまで☆ バグ/機能要望ありましたらイカまで☆ バグ/機能要望ありましたらイカまで☆ バグ/機能要望ありましたらイカまで https://github.com/ajhc/ajhc/issueshttps://github.com/ajhc/ajhc/issueshttps://github.com/ajhc/ajhc/issueshttps://github.com/ajhc/ajhc/issueshttps://github.com/ajhc/ajhc/issues ☆ もちろんpull requestも大歓迎です!☆ もちろんpull requestも大歓迎です!☆ もちろんpull requestも大歓迎です!☆ もちろんpull requestも大歓迎です!☆ もちろんpull requestも大歓迎です! https://github.com/ajhc/ajhchttps://github.com/ajhc/ajhchttps://github.com/ajhc/ajhchttps://github.com/ajhc/ajhchttps://github.com/ajhc/ajhc