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

Haskell初心者がHaskellの楽しさについて語る Zli 追い出しLT2023 s1290035 しんぶんぶん

Haskellって...気持ち良くないですか？

なぜHaskellをやろうと思ったのか • Answer: Rustをもっと深く理解したかったから • Rustの型クラス（Trait）はHaskellに影響を受けている • HaskellをやればRustをもっと理解できるのでは...！？という思いと、純粋関数型言語に慣れたくてやってみた

AOJのITP1を何問か解いてみた

Javaで書くと...

Haskellで書くと...

気持ち良い〜〜〜〜〜〜！！！！！

解説 • 1~3行目: モジュールのインポート • 6行目: 標準入力 ◦ getLineで読み込まれた入力を wordsを使って空白区切りでリストにし、
map (read :: String -> Int) でリストの中身をStringからIntに変換 • 7行目: 加工して出力 ◦ sort sでリストを昇順ソート ◦ それをmap showに渡してリストの中身を Stringに変換 ◦ それをunwordsに渡して空白区切りの文字列に変換 ◦ それをputStrLnに渡して出力

Javaで書くと...

全体的にスッキリ

Javaで書くと...

ん？？なんで再帰？？？

Haskellのループは基本再帰らしい • Haskellにfor文とかwhile文はない • ループ処理を書きたい時は再帰関数を使う • flip fixを使うと手続型っぽい書き方もできるらしい ◦ https://qiita.com/lotz/items/0894079a44e87dc8b73e

いよいよ今日一気持ち良い問題

まつもと先輩がC++で書くと...

ちゃんと綺麗なコード

これをHaskellで書くとなんと...

main関数はなんと3行！

コード解説 • 1~4行目: モジュールのimport • 7行目: 入力を全てssに読み込み • 8行目: コアロジック全て
◦ lines ssで入力を改行区切りでリストにする・・・① ◦ (++) <$> ["S ", "H ", "C ", "D "] <*> map show [1 .. 13] :: [String])で、S1, S2, … D13までのリストを作成・・・② ◦ //で①と②の差分リストを作成 ◦ そのリストをunlinesに食わせて改行区切りの文字列に変換 ◦ putStrに食わせて出力

気持ち良すぎだろ！！！！！

今後の展望 • すごいH本がまだ2章残ってるので読み切る • HaskellでLispインタプリンタを作る • モナディックパーサーで何か作る • OCamlを履修する（Rustのために）次回はこのどれかのLTを話す（予定）

みんなもHaskell、やろう！

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

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

Yuto Takamune

More Decks by Yuto Takamune

Other Decks in Programming

Featured

Transcript