Haskell初心者がHaskellの楽しさについて語る

Transcript

1. Haskell初心者がHaskellの楽 しさについて語る Zli 追い出しLT2023 s1290035 しんぶんぶん
2. Haskellって...気持ち良くないですか？
3. なぜHaskellをやろうと思ったのか • Answer: Rustをもっと深く理解したかったから • Rustの型クラス（Trait）はHaskellに影響を受けている • HaskellをやればRustをもっと理解できるのでは...！？という思いと、純粋関数型 言語に慣れたくてやってみた
4. AOJのITP1を何問か解いてみた
5. 2_C
6. Javaで書くと...
7. Haskellで書くと...
8. 気持ち良い〜〜〜〜〜〜！！！！！
9. 解説 • 1~3行目: モジュールのインポート • 6行目: 標準入力 ◦ getLineで読み込まれた入力を wordsを使って空白区切りでリストにし、 map (read :: String -> Int) でリストの中身をStringからIntに変換 • 7行目: 加工して出力 ◦ sort sでリストを昇順ソート ◦ それをmap showに渡してリストの中身を Stringに変換 ◦ それをunwordsに渡して空白区切りの文字列に変換 ◦ それをputStrLnに渡して出力
10. 2_D
11. Javaで書くと...
12. Haskellで書くと...
13. 全体的にスッキリ
14. 3_A
15. Javaで書くと...
16. Haskellで書くと...
17. ん？？なんで再帰？？？
18. Haskellのループは基本再帰らしい • Haskellにfor文とかwhile文はない • ループ処理を書きたい時は再帰関数を使う • flip fixを使うと手続型っぽい書き方もできるらしい ◦ https://qiita.com/lotz/items/0894079a44e87dc8b73e
19. いよいよ今日一気持ち良い問題
20. 6_B
21. まつもと先輩がC++で書くと...
22. ちゃんと綺麗なコード
23. これをHaskellで書くとなんと...
24. Haskellで書くと...
25. main関数はなんと3行！
26. コード解説 • 1~4行目: モジュールのimport • 7行目: 入力を全てssに読み込み • 8行目: コアロジック全て ◦ lines ssで入力を改行区切りでリストにする ・・・① ◦ (++) <$> ["S ", "H ", "C ", "D "] <*> map show [1 .. 13] :: [String])で、S1, S2, … D13までのリスト を作成・・・② ◦ //で①と②の差分リストを作成 ◦ そのリストをunlinesに食わせて改行区切りの文字列に変換 ◦ putStrに食わせて出力
27. 気持ち良すぎだろ！！！！！
28. 今後の展望 • すごいH本がまだ2章残ってるので読み切る • HaskellでLispインタプリンタを作る • モナディックパーサーで何か作る • OCamlを履修する（Rustのために） 次回はこのどれかのLTを話す（予定）
29. みんなもHaskell、やろう！