for NGK2014B

1. 線形型のある言語で
LEDを光らせる
低レイヤーソフトウェア開発の未来
2014年12月6日NGK2014B 小笠原(@OSI IRE)

2. 関数プログラミングはこの10年で本当
に普及しました。
Scalaは多くの会社で採用され実績ができた。
Haskellといえば大半のプログラマが名前は聞いたことがある。
TIOBEではF#が16位！
Java8にはついにラムダ式が導入された。
低レイヤーの開発にも
関数プログラミングの力を！

3. 低レイヤーに関数プログラミングを
導入する際にぶつかる問題点
【欲しい機能】【環境からの制約】
関数プログラミングは高階関数や無名
関数を上手に応用する。
 レキシカルクロージャーは欲しい。
 静的でリッチな型システムも欲しい。
 型推論も欲しい。
 GabageCollectionはリソースやタイミ
ング制御の問題から導入できない。
 メモリを直接読み書きできる必要が
ある。
 メモリアロケーションは確保量が読め
なくなるので動的にはしたくない。
×
OCaml Haskell SML C言語C++ Perl, Python, Ruby, PHP
我々は諦めるしかないのか？

4. ATS2という選択肢
MLライクな文法。関数プログラミング可能。
C言語のコードを出力する。ランタイムなしGC不要！
線形型と依存型いう強力な型システムにより、クロー
ジャーやリソースを安全に管理可能。
http://www.ats-lang.org/
線形型とは？
線形論理に由来する型。一度変数を用
いると消費されて使えなくなる。メモリやハ
ンドラなど、クローズ処理が必要なリソース
を安全に管理できる。
依存型とは？
値に依存して変化する型。配列外アクセ
スを型で禁止できるなど強力な制限が可
能。

5. LEDチカチカ（mbed LPC1768)
CPU: NXP LPC1768 (ARM Cortex-M3 32-bit)
Flash ROM: 512 KiB
RAM: 32 KiB
ATS２コード片
fun loop (): void = begin
c_set_gpio1_fiopin (0x40000); // 1 << 18
c_wait_us (BLINK_DELAY_US);
c_set_gpio1_fiopin (0x0);
c_wait_us (BLINK_DELAY_US);
loop ();
end

6. Metasepiではヒトバシラを募集中！
Metasepi maps Unix-like kernel design into the functional sea.