関数型プログラミングで「脳がバグる」を乗り越える

関数型プログラミングで「脳がバグる」を乗り越える 2025/7/9 ユニークビジョンLT大会発表者: manabeai

きっかけ • 競プロ強くなりたい！ • 伸び悩みを感じている • 自分に足りないものは何か

自分の課題 • 解放が生える、からそれを実装に起こすのに時間がかかる • デバッグに時間かかりすぎ • 3次元、4次元配列が必要になってくると考察が進まなくなる

脳がバグる＝コンテキストがあふれる

競プロは意識することがいっぱい！ • 計算量に気をつける • 妥当性に気をつける • コーナーケースに気をつける • 変数の中身の変化に気をつける •
for文を範囲外アクセスしないようにする • オーバーフローしないようにする • アルゴリズムの手順を守る(グラフ探索で探索済みチェックつけるとか) • 変数のダブりに気をつける • タイポに気をつける • etc… 結果 => なんかしら忘れる

忘れないようにするにはどうすれば... • 強くになるにはやり方を変えなくてはいけない... • 関数型プログラミングの祭典「関数型まつり」に参加 ◦ いたるところでみんな「モナドが〜」とか言っててえぐかった • 関数型まつりでの@naoya_itoさんの発表を聞いて心に火がついた ◦
Haskell でアルゴリズムを抽象化する / 関数型言語で競技プログラミング

関数型をやろう！

関数型の書ける言語 • Haskell ◦ 関数型といったらこれ！(?) ◦ 永続データ構造が強い ◦ 実行速度はちょっと不安 •
Scala ◦ Javaと同じJVMで動く言語 ◦ 手続き方も取り入れられていい感じ ◦ 実行速度はかなり不安 • Rust ◦ C++っぽくも書けるけど関数型も書ける ◦ 実行速度は申し分ない ◦ Do記法が無くてﬂat_map地獄になりがちなのは辛い

選ばれたのは Rust でした • C++並に高速 • 関数型もある程度できる • 代数的データ型 •
rust-analyzerが優秀＆エラーメッセージわかりやすい！

ABC411(ユニビ回) C Black Intervals ABC411(ユニビ回) C Black Intervals 連続する区間がいくつできてるか求めるやつ

そのまま書くと... • 全然難しいことしないのにこんな量に ... ◦ 演算子のミス ◦ タイポ ◦ ()の閉じ忘れ、閉じが多すぎ
◦ ansの更新し忘れ ◦ etc

match式を使う • 単純に見やすい • ansに加算されるのは-1,0,1のどれか、実装ミスで変な値が入らない

メソッドチェーンが繋がると読みにくい？ -種類数判定ユニークなのをカウントし 1. なら問答無用でYes 2. なら順に見て絶対値に変えてユニークなもの
の個数が 1 なら … • 慣れてくると読みやすすぎて世界変わる(マジ) ABC413 D - Make Geometric Sequence https://atcoder.jp/contests/abc413/submissions/67377067

メソッドチェーンが繋がると読みにくい？ -等比数列判定順に見て絶対値でソートして配列にして前から2つづつ見ていって左辺を右辺でで割った結果から重複を排除し 1つになるのなら

デバッグ出力も簡単！ここに1行追加するだけ！→ 標準エラー出力に出せば消し忘れ気にしなくてok (関数型に限った話ではないが ...)

まとめ • 関数型の考え方を取り入れると「意識しなくていいこと」の比率が増える • 「やりたい操作(セマンティクス)」と「実際のコード(シンタクス)」の距離が縮まってロジックに集中できる

misc • 厳密に関数型のプラクティスに従わなくてもいい ◦ Rustでできない(or やりにくい)関数型テクも多い(永続データ構造、Do記法とか) ◦ 一律for文禁止！ではなく、for文はmap内のクロージャで使うようにするだけでも全然強い ◦
Rustはそこのところのバランス感がいいと思う • 解説見て腹落ちしないときは提出一覧からHaskell解を探すのもすごくいい

関数型プログラミングで「脳がバグる」を乗り越える

関数型プログラミングで「脳がバグる」を乗り越える

manabeai

More Decks by manabeai

Other Decks in Technology

Featured

Transcript