2014-03-01 (土) 15時15分
秘密結社Metasepi作戦会議 – NetBSDのデバイスドライバをHaskellで書いてみよう!
講師:岡部 究(Ajhc Haskellコンパイラ開発リーダー)
担当:Metasepi Project
レベル:入門編
対象者:HaskellやOCamlなどの関数型言語に興味のある方。LinuxやBSDなどのUNIXライクカーネルに興味のある方
前提知識:C言語を使ったプログラムの読解
私達Metasepi Projectでは組み込み向けHaskellコンパイラAjhc http://ajhc.metasepi.org/ を開発しています。
このAjhcを使うことでOS内部のモジュールをHaskell言語で設計することが可能になりました。
本セミナーでは、NetBSDカーネルのデバイスドライバをHaskellで書いてみる試みについて紹介いたします。
以下はHaskell製カーネルドライバのデモ動画へのリンクです。
http://www.youtube.com/watch?v=XEYcR5RG5cA
【カテゴリ】OS/プログラミング言語/組み込み