"簡約!? λカ娘 Go!"の紹介とAjhcプロジェクト近況

Table of contents

• 記事のストーリー
• 最近のAjhc開発状況

またこの季節がやってきたでゲソ。 いつもの 関数型プログラミングの本 が出るでゲソ!コミックマーケット84 3日目 東地区 ペ-06 a で頒布予定なので、みんな買ってほしいでゲソ!

• 第1章 めたせぴ☆ふぁうんでーしょん # <= コレ書いた
• 第2章 jhcコピペ # <= コレ書いた
• 第3章 侵略者と転校生とアイドルとイカが再帰を学ぶそうですよ!
• 第4章 殺物語
• 第5章 λカ娘探索？
• 第6章 ロマンティック・パージング
• 第7章 HaskEll Shaddai

がもくじで、 @master_q は1章と2章を書いたらしいでゲソ。 記事が気になったら是非 サンプル版pdf を読んでみてほしいでゲッソ!

2章は完全ジョーク記事なので説明はとばすでゲソが、 1章はAjhcの記事で40ページものボリュームがあるでゲソ。 ここで少し中身を紹介したいと思うでゲソ。

記事のストーリー

この“めたせぴ☆ふぁうんでーしょん”という記事はAjhcの半年にわたる開発をセミフィクションのストーリーで描いているでゲソ。

主人公の“ぼく”は組み込み開発に疲れ、遠くインドネシアで休養をしているでゲソ。 そんなおり、“ぼく”はHaskellやOCamlのような強い型を持つ言語でOSのkernelを再設計する一つのアイデアを思いつくでゲソ。 不安ながらもワシの予言に導かれて3つのスケッチに挑戦することになるでゲソ。

• NetBSD bootloaderの一部をHaskellで書いてみる
• Cortex-M4マイコンデモプログラムの一部をHaskellで書いてみる
• Cortex-M4マイコンデモのどこまでHaskellで再設計できるのかその限界に挑戦する

はたしてこの3つのスケッチ、つまり挑戦が成功するのか、その挑戦が終わった後に見えてきた世界とはなんだったのか？というのが記事の流れでゲソー。

最近のAjhc開発状況

このごろはAjhcの開発は一旦おやすみして、Ajhcの内部設計を解説する本を書いているでゲソ。

• Book: Ajhc Hacking Guide https://github.com/ajhc/ajhc-hacking-guide

コンパイラパイプラインの上段から順に調べて文章を書いているため、まだパーサの途中…先は長いでゲソ。

ワシの考えとしては、ワシ以外の人間がAjhcの中身を弄れるようにすることで開発を加速したいと考えているんでゲソ。 また、HaskellライブラリをGHCから移植してくるためにはAjhcコンパイラ全体に手を入れる必要があるじゃなイカ。 一旦ここであらいざらい調べておかないと、いらぬミスをすることになるかもしれないでゲソ。

本を書きおわった後の展望としてはいろいろ考えがあるでゲソがまだ ヒミツ！ でゲソー!