闇鍋勉強会での発表

1. 関数型言語初心者が À × ÐÐ に挑戦してみた
闇鍋勉強会
いかろ
Ë ÔØ Ñ Ö ½ ¸¾¼½¾
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½ » ½

2. 自己紹介
ÀÆ いかろ
生息地域 ÌÛ ØØ Ö に頻繁に出没 ´ ÖÓ½½ ¾µ
現実 理学部地球科学科の大学二年生。趣味でプログラミング
よく使う言語 ··¸ÀËÈ
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ¾ » ½

3. À × ÐÐ はじめたきっかけ
ÌÛ ØØ Ö で話題になった「すごい À 本」をながれで買った
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ¿ » ½

4. À × ÐÐ はじめたきっかけ
ÌÛ ØØ Ö で話題になった「すごい À 本」をながれで買った
が、放置
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ¿ » ½

5. À × ÐÐ はじめたきっかけ
こういう人多いのでは ´僕だけだったら悲しいºººµ
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ » ½

6. À × ÐÐ はじめたきっかけ
»¾
に思い立ち À × ÐÐ を始めることにした。
それだけでは途中で放棄しそうなので今回の勉強会で
発表させてもらうことに。
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ » ½

7. 方針
とりあえずすごい À 本を読む
何かを作る
で、なに作ろう
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ » ½

8. 方針
とりあえずすごい À 本を読む
何かを作る
で、なに作ろう
そうだ！フォロワーさんに聞こう
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ » ½

9. 聞いてみた
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ » ½

10. 聞いてみた
聞く人を間違えたººº
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ » ½

11. 聞いてみた
とりあえず本を読み進めることに
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ » ½

12. 記号が難しい
書き方が独特で最初はシンタックスエラー連発してし
まいコンパイル全然通らないººº
この調子で習得できるのか とか思った。
「 」が打てなくて困った
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ » ½

13. 記号が難しい
書き方が独特で最初はシンタックスエラー連発してし
まいコンパイル全然通らないººº
この調子で習得できるのか とか思った。
「 」が打てなくて困った
→とりあえず写経して慣れていく。
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ » ½

14. 再帰難しい
普段なかなか書かない再帰だけにやはりなれない。
ただここら辺はすごい À 本にしっかり丁寧に書いて
ある。
そして動作をノートに手で書いてみることが最強
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ » ½

15. 結論 ½
結局慣れの問題！
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ » ½

16. 結論 ½
結局慣れの問題！
すごい À 本は慣れられるようにうまく構成されている。
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ » ½

17. 製作
Ö Ò ¶
を作ってみる
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½¼ » ½

18. Ö Ò ¶
って
コンパイラがなるべく小さくなる言語として考案されたプログラ
ミング言語のひとつ。
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½½ » ½

19. 言語仕様
イテレータを進める
イテレータを戻す
· イテレータがさす先をインクリメント
イテレータがさす先をデクリメント
イテレータがさす先を出力
イテレータがさす先に入力
イテレータがさす先が ¼ なら対応する ℄ の次のトークンまで
ジャンプ
℄ 対応する にジャンプ
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½¾ » ½

20. 言語仕様
おなじみ「À ÐÐÓ¸ ÏÓÖÐ 」は以下のようになる。
········· · · · · · · ·· ···········
····· ℄ ·· ······· ···
········
··· ·
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½¿ » ½

21. 言語仕様
おなじみ「À ÐÐÓ¸ ÏÓÖÐ 」は以下のようになる。
········· · · · · · · ·· ···········
····· ℄ ·· ······· ···
········
··· ·
ね？簡単でしょ
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½¿ » ½

22. とりあえず思いつく型の定義する
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½ » ½

23. 処理内容 ´純粋と不純、コード操作µ に分ける
純粋な処理 ·
不純な処理
コード操作 ℄
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½ » ½

24. 処理内容 ´純粋と不純、コード操作µ に分ける
純粋な処理 ·
不純な処理
コード操作 ℄
→副作用のある処理と無い処理は分けて書かなくてはいけない
ため
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½ » ½

25. 以上を踏まえて
純粋かそうでないかを分ける関数 ×ÈÙÖ を実装する→そのた
めの型も必要
ファイルから読み込んでトークン分割、扱いやすい形式に変
換する関数
純粋な処理そうでない処理をする関数
括弧関係の ÈÖÓ Ö Ñ とÅ ÑÓÖÝ をいじる関数
ÈÖÓ Ö Ñ を実行する関数
→あとは実際に作るだけ ´時間の関係で省略µ
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½ » ½

26. 完成
ØÀÙ にてコードは公開しています
→ ØØÔ× »» Ø Ù º
ÓÑ» ÖÓ½½ ¾» Ö Ò Ù
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½ » ½

27. 感想
ちゃんとプログラムがかける
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½ » ½

28. 感想
ちゃんとプログラムがかける
ちゃんとデバッグ機能、ÍÒ ØÌ ×Ø 機能、他色々が標準提供さ
れている。
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½ » ½

29. 感想
ちゃんとプログラムがかける
ちゃんとデバッグ機能、ÍÒ ØÌ ×Ø 機能、他色々が標準提供さ
れている。
すごい À × ÐÐ 楽しく学ぼうは良書
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½ » ½

30. 感想
ちゃんとプログラムがかける
ちゃんとデバッグ機能、ÍÒ ØÌ ×Ø 機能、他色々が標準提供さ
れている。
すごい À × ÐÐ 楽しく学ぼうは良書
À × ÐÐ 楽しい
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½ » ½

31. 感想
ちゃんとプログラムがかける
ちゃんとデバッグ機能、ÍÒ ØÌ ×Ø 機能、他色々が標準提供さ
れている。
すごい À × ÐÐ 楽しく学ぼうは良書
À × ÐÐ 楽しい
これから勉強することまだまだあるººº
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½ » ½

32. 感想
ちゃんとプログラムがかける
ちゃんとデバッグ機能、ÍÒ ØÌ ×Ø 機能、他色々が標準提供さ
れている。
すごい À × ÐÐ 楽しく学ぼうは良書
À × ÐÐ 楽しい
これから勉強することまだまだあるººº
詳しいことは À × ÐÐ Ö に聞いてください＞＜
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½ » ½

33. ご清聴ありがとうございました
´µ 闇鍋勉強会 Ë ÔØ Ñ Ö ½ ¸¾¼½¾ ½ » ½