『マンガでわかる！関数型プログラミング』という漫画を連載することになるようです

近況

ふとした瞬間に虚しくなることがある

いきさつ

今年、秀和システムから関数型プログラミングに関する本が出て、良くも悪くも、その本が注目を集めることになってしまいました。そんな中で色々な人が反応していましたし、自分もこのようなかたちで感想を書きました。

一方で、このような本を書かれるくらいであるならば、自分で真っ当な本を書けばいいわけだし、技術書を書くことなんて、そんな敷居の高いことではないというカウンターもあり、個人的にはそれも最もだなあ、という印象がありました。その中で自分なりに関数型プログラミングについて理解したことを元にQiitaに駄文をアップしたりしていました。間違ってたら、誰かが訂正してくれるだろうし、そのほうが自分にとって勉強になるだろう、と思うので。

ですが、「関数型プログラミング」というのは「なんだか難しい」という印象を覚えるのも事実のようです。実際に、最新の『Software Design』の2015年8月号でも「なぜ関数型プログラミングは難しいのか？」という特集がされます。

ソフトウェアデザイン 2015年 08 月号 [雑誌]

自分からすれば、遥かに上のレベルにいると思える人達の中にもいるようで、例えば、関数型プログラミングコミュニティの中でも、積極的に情報発信をしている住井さんは、Twitterに下のようなことを書いています:

「マンガでわかる！関数型言語」とか必要だったら監修ぐらいしますよ（99%本気

— Eijiro Sumii (@esumii) April 30, 2015

で、ちょっと話が飛ぶのですが、『シェルスプリクトマガジン』という、文字通りシェルスクリプトに特化した雑誌が出ていて、その本の中で、ちょまどさんという方が、漫画を連載しています。

シェルスクリプトマガジン vol.24

シェルスクリプトマガジン vol.25

「こういうのもあるんだー」と思って、ちょっと面白くなって、「そういう風にゆるい感じで、関数型プログラミング」を解説できたらいいなぁ……と思って、「急に技術系雑誌に漫画を描いてみたくなってきた(((o(ﾟ▽ﾟ)o)))どうやったら描けるんだろう? 編集者とのコネがいるのかな?」みたいなTweetをしたところ、まさか、『日経ソフトウェア』の人から連絡が来て:

@esehara 日経ソフトウエア編集です。Direct messageいただけるでしょうか

— 日経ソフトウエア (@nikkei_software) 2015, 6月 18

あれよあれよという形で「じゃあ、描くことにしましょう」ということになりました。正式に契約書を交わし、確定ということになりました。

さてどうしよう

本を書くとはいえ、自分の「関数型プログラミング」に関する知識自体について、ちゃんと正直に述べたほうが公平でしょう。自分の、いわゆる「プログラマ」としての経歴は下のようになります:

• Pythonでなぜかlambda記法にハマる
  • 関連記事: Pythonのlambdaだけで、Schemeのcond(条件分岐)っぽいものを実装する長い道のり - Line 1: Error: Invalid Blog('by Esehara' )
  • gist: https://gist.github.com/esehara/6337131
  • gist: https://gist.github.com/esehara/6334021
• Clojureを業務言語として使用している(株式会社ログバー)
• Common LispでTwitterの投稿なんかをやったりしいている。
• HaskellではいくつかのProject Eularの問題を解いたくらい: 32,52,12,11
• Prologで家計簿っぽいスクリプトを書いた

こういうな散漫な感じで、確かにSICPとか、あるいは『関数型プログラミング入門』などを読んでいるものの、普段の自分からして、正確な説明をマンガに落としこむことはできなさそうだな。となると、溢れている「関数型プログラミング」と名の付いている本と、そう変わらない「不正確な記述」になっちゃうな、という懸念がありました。

もちろん、マンガはエンターテイメントなので、ある種の強引なことが出来るのは知っているのですが、やはり関数型プロパーに「この説明で納得できる」という水準を超えて、初めて「初心者向け」と言えるのではないか、という気はしています。

だったら、皆で議論すればいいじゃない

もちろん、それなりに資料を買い集め、その中でちゃんと比較しながらやっているつもりではあるのですが、とはいえ、それでは限界が多いし、初心者の初心者たるゆえは、「自分が間違っていることを間違っている」と理解できないというところがつまづきになるので、そのようなSlackチャンネルを作りました。

このSlackチャンネルは「セミ・オープン」で、申請があれば誰でも入れるようになっています。ですので、Typeformからメールアドレスを申請して頂ければ、こちらから手動で招待しようと思っています。このように、査読してもらいながら、連載に向けて勧めています。

ステマ: esa.ioを一人で使うとちょうどいいことに気がついた

とこで、社内情報共有サービスであるところのesaなのですが、一人で情報を貯めこむのにちょうどいいことに気がついたので、現在一人チームで契約している。一人500円で、チーム全体で使うと高いけれども、自分のメモを蓄積していく分には申し分なさそう、ということで契約している。逐次、外部にシェアするリンクも発行できるので、ちょうどいいところでチャットに共有して、叩いてもらうというフローは非常によい。

特に、今回重要だったのは、上のCode Syntaxが効くことだったので、これは本当にちょうど良かった。もしesaのMeetupみたいなのがあれば、是非このあたりの知見を共有したい。

今後について

一応、ある程度の期間は開けてもらっているのだけれど、こういう進め方をしている以上、早め早めにネームを出して、編集にチェックしてもらう、というフローをしないといけないなあ、と思っている。

この辺りのフローに関しては、恐らく珍しいと思われるので、関数プログラミング交流会で、ドキュメンタリーとして発表することにした。つまり、俺が下手を打つと、失敗談ということになるので、上手くやっていきたい。

あと、同じく技術マンガを連載しているちょまどさんを、ガンガン煽っていきたい。

.@chomado 俺はネームを描き始めた。お前はどうだ?(こう見えても技術マンガの出だしです) pic.twitter.com/q5UNdLwXS3

— えせはら(似非原重雄) (@esehara) 2015, 7月 11

まとめ

要するに:

『新吠えろペン』3巻の11pより。名作なので買いましょう。

新吼えろペン（３） (サンデーGXコミックス)

追記

これにあたって、関数型プログラミングの初心者の方、また勉強に躓いた方に質問し… - 人力検索はてなという質問を、人力検索はてなに立てました。初学者の方や、挫折した人がいらっしゃいましたら、回答してくれると助かります

蛇足

ログバーで、ClojureやIoT、AndroidやiOS開発などを中心としたもくもく会を開催します。今回はもう満員なので、さすがにというところではありますが、今後もこういった会を主催したいと思うので、よろしくお願いします。