https://blog.kyu08.com/pr-344/tags/ocaml/ Recent content in Ocaml on blog.kyu08.com Hugo -- gohugo.io ja blog.kyu08.com Sun, 15 Jun 2025 05:00:00 +0000 https://blog.kyu08.com/pr-344/posts/fp-matsuri-2025/ Sun, 15 Jun 2025 05:00:00 +0000 https://blog.kyu08.com/pr-344/posts/fp-matsuri-2025/ 2025/06/14(土)、2025/06/15(日)に中野セントラルパークで行われた関数型まつり2025に参加した。 筆者はElmやRust <p>2025/06/14(土)、2025/06/15(日)に中野セントラルパークで行われた関数型まつり2025に参加した。</p> <p><img src="nakano-central-park.webp" alt="nakano-central-park" loading="lazy" /></p> <p><img src="pop.webp" alt="pop" loading="lazy" /></p> <p>筆者はElmやRustの開発体験を気に入っており、Webアプリケーションのサーバーサイドを関数型言語で書くことに興味があったので参加してみた。</p> <h2 id="関数型言語テイスティング-haskell-scala-clojure-elixirを比べて味わう関数型プログラミングの旨さ---lagénorhynqueカマイルカさん">関数型言語テイスティング: Haskell, Scala, Clojure, Elixirを比べて味わう関数型プログラミングの旨さ - lagénorhynque/カマイルカさん</h2> <p>lagénorhynque/カマイルカさんによるHaskell, Scala, Clojure, Elixirの紹介と比較を行う発表。</p> <p><div class="embed-container docswell"> <div class="docswell-placeholder" data-src="https://www.docswell.com/s/lagenorhynque/Z6VX6E-functional-language-tasting-haskell-scala-clojure-elixir?slide=1" style="width:100%;height:569px;background:#f0f0f0;display:flex;align-items:center;justify-content:center;color:#666;">Loading...</div> </div></p> <p>部分適用や関数合成やパイプ演算子などElmで便利だった言語機能を思い出しながら聞いていた。</p> <p>文法を見ていると、Elmの文法はかなりHaskellに近いようだった。(ML系と呼ばれるらしい)</p> <p>あとは関数型かつ動的型付け言語の実際のアプリケーション開発での書き味が全然想像がつかないのでちょっとElixirやClojureを書いてみたくなった。質疑応答でも触れられていたが、実際にML系の言語とlispなどの動的型付け言語の関数型言語ではメンタルモデルが違うらしい。</p> <p>発表の最後に関数型プログラマのメンタルモデルとして以下のようなことを紹介されていて、自分が関数型言語から得た学びと重なる部分が多かった。</p> <ul> <li>適切な制約が解放をもたらす <ul> <li>純粋関数を基本にしてコードを組み立てていく</li> <li>いつでもどこでも破壊的に更新できるデータ構造は怖いため不変/永続データを基本に</li> <li>適切な型を定義することで不正値を表現不能にしてより型安全に</li> </ul> </li> <li>単純で安定したブロックを基礎に全体を構成したい <ul> <li>式思考、宣言的、合成可能</li> </ul> </li> </ul> <h2 id="関数型言語を採用し維持し継続する---松澤-有さん">関数型言語を採用し、維持し、継続する - 松澤 有さん</h2> <p>Siiibo証券株式会社のCTOである松澤さんによる自社プロダクトのフロントエンド、バックエンドの開発言語として関数型言語(Elm, Elixir)をなぜ採用したのか、そしていかにして維持し、継続しているかについての発表。実は主にこの発表を聞くために関数型まつりに参加したので良い発表を聞けてよかった。</p> <p><div class="blogcard" data-url="https://zenn.dev/siiibo_tech/articles/adopting-fp-languages" data-auto-fetch="false"> <a href="https://zenn.dev/siiibo_tech/articles/adopting-fp-languages" target="_blank" rel="noopener noreferrer" class="blogcard-link"><div class="blogcard-thumbnail"> <img src="https://res.cloudinary.com/zenn/image/upload/s--264zsvWh--/c_fit%2Cg_north_west%2Cl_text:notosansjp-medium.otf_55:%25E9%2596%25A2%25E6%2595%25B0%25E5%259E%258B%25E8%25A8%2580%25E8%25AA%259E%25E3%2582%2592%25E6%258E%25A1%25E7%2594%25A8%25E3%2581%2597%25E3%2580%2581%25E7%25B6%25AD%25E6%258C%2581%25E3%2581%2597%25E3%2580%2581%25E7%25B6%2599%25E7%25B6%259A%25E3%2581%2599%25E3%2582%258B%2Cw_1010%2Cx_90%2Cy_100/g_south_west%2Cl_text:notosansjp-medium.otf_34:Yu%2520Matsuzawa%2Cx_220%2Cy_108/bo_3px_solid_rgb:d6e3ed%2Cg_south_west%2Ch_90%2Cl_fetch:aHR0cHM6Ly9zdG9yYWdlLmdvb2dsZWFwaXMuY29tL3plbm4tdXNlci11cGxvYWQvYXZhdGFyLzBmMzgxMmZkZWEuanBlZw==%2Cr_20%2Cw_90%2Cx_92%2Cy_102/co_rgb:6e7b85%2Cg_south_west%2Cl_text:notosansjp-medium.otf_30:Siiibo%25E3%2583%2586%25E3%2583%2583%25E3%2582%25AF%25E3%2583%2596%25E3%2583%25AD%25E3%2582%25B0%2Cx_220%2Cy_160/bo_4px_solid_white%2Cg_south_west%2Ch_50%2Cl_fetch:aHR0cHM6Ly9saDMuZ29vZ2xldXNlcmNvbnRlbnQuY29tL2EtL0FPaDE0R2dwd3pXbm9hSUl4bEVZcUtBSnRicVVheWljRmlJVExYVGZNN0EyPXMyNTAtYw==%2Cr_max%2Cw_50%2Cx_139%2Cy_84/v1627283836/default/og-base-w1200-v2.png?_a=BACAGSGT" alt="関数型言語を採用し、維持し、継続する" loading="lazy"> </div><div class="blogcard-content"> <div class="blogcard-title">関数型言語を採用し、維持し、継続する</div><div class="blogcard-url">https://zenn.dev/siiibo_tech/articles/adopting-fp-languages</div> </div> </a> </div> </p> <p>結局はラストマンシップを持って自分がなんとかするという気概が重要だという話が一番印象的だった。これは関数型言語を業務で書いているわけではない自分にも大いに参考になる話だと思っていて、結局どんな技術を採用したかやCTOかメンバーかなどにかかわらず、このラストマンシップを持っているエンジニアが多ければ多いほど開発組織は強固になるんだろうなと思った。</p> <p>また「アウトリーチを怠らなければ意外と世の中にちゃんと仲間はいる」ということをおっしゃっていて、使用言語がメインストリームであろうとなかろうと外部発信を通してコミュニティに貢献したり認知を獲得することの重要性を改めて感じた。やっていき。</p> <p>総じて松澤さんのエンジニアとしてのマインドセット的な部分がとても参考になった。</p> <p>技術的な内容に関しては、コードレビューの話とUpkeepの話が参考になった。</p> <p>コードレビューに関しては以下のようなことをおっしゃっていて、とても参考になった。特に2番目に関しては、前提としてコード品質を重要視するマインドがチームに装備されている必要があると思っていて、それをどう実現しているのか気になった。</p> <ul> <li>自分がいいと思う技術であっても、それを伝道できなければあとが続かない</li> <li>チームにとって良いコードとはどのようなものか、ということを感覚、信念として共有できる状態に持っていくことを目指している</li> <li>人は忘れるし、一度言っただけで身につくことは誰であれないので繰り返し伝えていくことが重要</li> </ul> <p>Upkeepとは維持費の意味で、ここでは依存ライブラリや言語自体のバージョンアップなどのことを指す。こまめにバージョンアップ作業をやっておくことでいざというときに言語やライブラリの新機能をすぐ取り込めたり、巨大なバージョンアップのせいでデグレするリスクを低減できたりと良いこと尽くめだと改めて感じた。（もちろん簡単ではないが）</p> <p>あとはバージョンを最新に保つという行為に名前をつけたことがなかったのでUpkeepという語で表現するのはいいなーと思った。</p> <p>以下発表を聞きながら取ったメモ。(発表を聞きつつスライドを見ながら書いたメモなので誤りが含まれる場合があります🙇)</p> <h3 id="技術選定の方針">技術選定の方針</h3> <ul> <li>CTO, Founding Engineerが技術構成を選ぶにあたっての観点 <ul> <li>まともなモノを継続的に提供するに足る機能があるか</li> <li>それを実際につくるヒトを継続的に集められるか</li> </ul> </li> <li>（スタートアップなら） <ul> <li>（上記2点を説得材料として）カネを集められるか</li> </ul> </li> </ul> <h3 id="非メインストリーム言語でどうやっていくか">非メインストリーム言語でどうやっていくか</h3> <ul> <li>ElixirやElmはメインストリームと目されているとは言えず、モノ・ヒト・カネの要素を自信を持って揃えるには弱い</li> <li>とはいえ、良いと感じた技術があって、良いものを作れると検証できたのであればあとは自分がやるかどうかでしかない <ul> <li>勝手に機会は降ってこない</li> </ul> </li> <li>勇気と周りを巻き込んで走り続ける力が重要</li> </ul> <h3 id="コードレビューの技術">コードレビューの技術</h3> <ul> <li>自分がいいと思う技術であっても、それを伝道できなければあとが続かない</li> <li>健全で有意義なコードレビューのやり取りがどのようなものか？という経験とその内面化が重要</li> <li>どういうコードがチームにとって良いコードかを伝道する <ul> <li>感覚、信念として共有できる状態に持っていきたい</li> </ul> </li> <li>以下の理由でコードレビューで繰り返し伝えていくことが重要 <ul> <li>人は忘れる</li> <li>新しい人は入る</li> <li><strong>一度言っただけで身につくことは誰であれ、ない</strong></li> </ul> </li> </ul> <h3 id="upkeep">Upkeep</h3> <ul> <li>Upkeepとは維持費の意味で、ここでは依存ライブラリや言語自体のバージョンアップなどのことを指す。</li> <li>Upkeep恐怖症にならずにこまめにやれる環境をつくる。</li> <li>(バージョンアップ作業がやりやすいのは言語の大きな加点項目)</li> <li>Elixirで静的型検査の導入が2022年に発表された <ul> <li>Upkeepしておくと、こういった新機能もすぐに取り込める</li> </ul> </li> </ul> <h3 id="情報収集">情報収集</h3> <ul> <li>言語公式フォーラム, ML, Slack, Discordのウォッチ <ul> <li>そもそもコミュニティがデカすぎないので最新動向をすべて追うのがそこまで大変ではない</li> </ul> </li> <li>コンパイラ、主要ライブラリのissue trackerも購読する <ul> <li>チーム内で抱えてる課題と似たような話題も出たりする</li> </ul> </li> <li>Twitter</li> </ul> <h3 id="コミュニティ還元">コミュニティ還元</h3> <ul> <li>フォーラムでの質問を見るだけでなく回答もする <ul> <li>小さいコミュニティなので自分が第一人者、Front Runnerである可能性もある</li> </ul> </li> <li>国内外の勉強会参加、主催協力も積極的に行う</li> </ul> <h3 id="採用">採用</h3> <ul> <li>やれることをやり、アウトリーチもすることが採用に直結する</li> <li>非メインストリーム言語だとその言語を業務で書くにはそもそも会社の選択肢が少なかったりするので、意外とマッチングしやすかったりもする</li> </ul> <h3 id="続けていく気概">続けていく気概</h3> <ul> <li>結局大事なのは言いだしっぺがケツを持つ気概があるかどうか</li> <li>アウトリーチを怠らなければ意外と世の中にちゃんと仲間はいる</li> </ul> <h2 id="産業機械をelixirで制御する---菊池-豊さん">産業機械をElixirで制御する - 菊池 豊さん</h2> <p>菊池 豊さんによる複数の水力発電の制御ソフトウェアをElixirで書いた経験を紹介する発表。</p> <p>Elixirは書きやすく、コミュニティも盛り上がっているという話を聞いてちょっと書いてみたくなった。</p> <p>以下メモ。</p> <h3 id="課題">課題</h3> <ul> <li>Python <ul> <li>並行プログラミングができなかった</li> <li>コンパイラでの支援が期待できなかった</li> </ul> </li> <li>リプレイス先の候補はGo, Rust, Haskell, Erlang, Elm <ul> <li><a href="https://qiita.com/kikuyuta/items/96c3f91a850e9274b0e9" target="_blank" >Elixir を使うようになった経緯 〜電力システム制御の現場から〜</a></li> </ul> </li> </ul> <h3 id="why-elixir">Why Elixir</h3> <ul> <li>世俗型関数型言語 <ul> <li>関数型であることにこだわりすぎず使いやすさがある</li> <li>コミュニティも楽しかった</li> </ul> </li> <li>並行性 <ul> <li>アクターモデル</li> </ul> </li> <li>パイプ演算子</li> <li>パターンマッチ</li> </ul> <h3 id="elixirにないもの">Elixirにないもの</h3> <ul> <li>型 <ul> <li>静的型解析がほしい</li> </ul> </li> </ul> <h2 id="lean言語は新世代の純粋関数型言語になれるか---井上亜星さん">Lean言語は新世代の純粋関数型言語になれるか？ - 井上亜星さん</h2> <p>井上亜星さんによるLean言語の紹介の発表。</p> <p>この発表でLean言語という言語の存在を知った。純粋関数型言語でありながらforループやwhileループを書けるのはユニークだなーと思った。</p> <h2 id="what-i-have-learned-from-15-years-of-functional-programming---scott-wlaschinさん">What I have learned from 15 years of functional programming - Scott Wlaschinさん</h2> <p>Scott Wlaschinさんによる関数型プログラミングでの学びを共有する発表。</p> <p>「直和型とレコード型を駆使しドメインモデリングを正確に表現することで保守性が向上するだけでなく動作可能なドキュメントとしても機能する」という話が印象に残った。</p> <p>前者のメリットは以前から感じていたが、後者の観点はなかったので面白かった。（言われてみればそれはそうという感じだが）</p> <p>以下メモ。</p> <ul> <li>パイプライン指向で書くことで保守性の高いコードを書くことができる <ul> <li>以前はSOLID原則を満たすことを意識しすぎてしまいうまくいかなかったが、パイプライン的な志向でコードを書くことで自然と綺麗なコードを書くことができ、SOLID原則も自然と満たすことができるようになったとのこと</li> </ul> </li> <li>ドメインモデリング <ul> <li>直和型をうまく使ってドメインモデルを正確に表現する <ul> <li>保守性が高くなり、バグが減る</li> <li>実行可能なドキュメントとしても機能する</li> </ul> </li> </ul> </li> <li>Railway Oriented Programmingを使うことでエラー処理を伴う処理を保守性高く書くことができる<sup id="fnref:1"><a href="#fn:1" class="footnote-ref" role="doc-noteref">1</a></sup></li> </ul> <h2 id="fの設計と妥協点---net上で実現する関数型パラダイム---猪股-健太郎さん">F#の設計と妥協点 - .NET上で実現する関数型パラダイム - 猪股 健太郎さん</h2> <p>猪股 健太郎さんによるF#の言語設計の特徴、設計意図を紹介する発表。</p> <p>純粋関数型言語なのかと思っていたが、命令形っぽい書き方もできることは知らなかった。他の.NET言語との相互運用性があるのも便利そう。</p> <p>以下メモ。</p> <h3 id="概要">概要</h3> <ul> <li>OCamlに大きな影響を受けている</li> <li>金融工学、データサイエンス、科学計算、Webアプリなどで活用されている</li> <li>F#をJavaScriptにトランスパイルするコンパイラもあり、フロントエンドも書ける</li> </ul> <h3 id="fの特徴">F#の特徴</h3> <ul> <li>静的型付けの非純粋関数型言語である。 <ul> <li>デフォルトはイミュータブルだがmutableにもできる</li> <li>.NETランタイムは仮想マシン型 <ul> <li>C#, F#など複数言語を.NETランタイム上で動かす前提で設計されており共通中間言語、共通型システム、共通言語仕様を備える</li> </ul> </li> </ul> </li> <li>ホスト環境との相互運用性 <ul> <li>F#で書かれたコードは他の.NET言語から自然かつ安全に利用可能</li> </ul> </li> <li>マルチパラダイム言語 <ul> <li>関数型プログラミングのパラダイムを核に、オブジェクト指向プログラミングの要素も備える</li> <li>クラスや構造体も書ける</li> </ul> </li> </ul> <h3 id="言語設計の意図">言語設計の意図</h3> <p>プログラマーが命令的なコーディングから関数型のコーディングへ移行する際のハードルを下げることを意識した設計になっているらしい。</p> <h2 id="マイクロサービス内で動くapiをfで書いている---ayato-pさん">マイクロサービス内で動くAPIをF#で書いている - ayato-pさん</h2> <p>ayato-pさんによるマイクロサービスの1サービスをF#で書く際の設計や悩みどころを紹介する発表。</p> <p><div class="embed-container speakerdeck"> <iframe src="https://speakerdeck.com/player/9efe648f23514385a48f5c5608d5f1c3" allowfullscreen="true" mozallowfullscreen="true" webkitallowfullscreen="true"></iframe> </div></p> <p>ドメイン設計の際に容易にOptionを使わずにenumの別のvariantとして表現する、という考え方はRustなどでも活かせそうだと思った。別の概念であれば別の型として表現するのが大事そう。</p> <p>以下メモ。</p> <ul> <li>どんなチームで採用したのか <ul> <li>ペアプログラミングを中心に100人超の組織で開発している</li> <li>モノリス -&gt; マイクロサービスの移行をやっている</li> <li>マイクロサービスの各APIは多種多様な言語で書かれている</li> </ul> </li> <li>F#導入以前のプロダクトチーム <ul> <li>JVM系、Elixir, Go, Rust, OCaml, Haskellなども採用</li> <li>.NET系の言語は採用されていなかった</li> </ul> </li> <li>どう導入したのか <ul> <li>システムのコアにいきなり採用するのはリスキーだったのでなにかあってもまずは影響が少ないサブシステムで採用</li> </ul> </li> <li>なぜF#か <ul> <li>静的型付け</li> <li>シンタックスが簡素</li> <li>.NETの資産を活用できる</li> </ul> </li> <li>F#らしさを活かした設計 <ul> <li>Optionなどを入れずに判別共用体を使って設計する</li> <li>e.g. 上場企業と非上場企業を表現するときに<code>isListed: bool</code>, <code>listedAt: Option&lt;DateTime&gt;</code>のように表現するのではなく&hellip; <div class="highlight"><pre tabindex="0" style="color:#f8f8f2;background-color:#272822;-moz-tab-size:4;-o-tab-size:4;tab-size:4;"><code class="language-fsharp" data-lang="fsharp"><span style="display:flex;"><span><span style="color:#66d9ef">type</span> <span style="color:#a6e22e">Company</span> <span style="color:#f92672">=</span> </span></span><span style="display:flex;"><span> <span style="color:#f92672">{</span> id<span style="color:#f92672">:</span> CompanyId </span></span><span style="display:flex;"><span> name<span style="color:#f92672">:</span> <span style="color:#66d9ef">string</span> </span></span><span style="display:flex;"><span> isListed<span style="color:#f92672">:</span> <span style="color:#66d9ef">bool</span> </span></span><span style="display:flex;"><span> listedAt<span style="color:#f92672">:</span> Option<span style="color:#f92672">&lt;</span>DateTime<span style="color:#f92672">&gt;</span> <span style="color:#f92672">}</span> </span></span></code></pre></div>そもそも別のvariantとして表現する <div class="highlight"><pre tabindex="0" style="color:#f8f8f2;background-color:#272822;-moz-tab-size:4;-o-tab-size:4;tab-size:4;"><code class="language-fsharp" data-lang="fsharp"><span style="display:flex;"><span><span style="color:#66d9ef">type</span> <span style="color:#a6e22e">Listed</span> <span style="color:#f92672">=</span> Listed <span style="color:#66d9ef">of</span> listedAt<span style="color:#f92672">:</span> DateTime </span></span><span style="display:flex;"><span> </span></span><span style="display:flex;"><span><span style="color:#66d9ef">type</span> <span style="color:#a6e22e">CompanyProfile</span> <span style="color:#f92672">=</span> </span></span><span style="display:flex;"><span> <span style="color:#f92672">{</span> id<span style="color:#f92672">:</span> CompanyId </span></span><span style="display:flex;"><span> name<span style="color:#f92672">:</span> <span style="color:#66d9ef">string</span> <span style="color:#f92672">}</span> </span></span><span style="display:flex;"><span> </span></span><span style="display:flex;"><span><span style="color:#f92672">[&lt;</span>RequireQualifiedAccess<span style="color:#f92672">&gt;]</span> </span></span><span style="display:flex;"><span><span style="color:#66d9ef">type</span> <span style="color:#a6e22e">Company</span> <span style="color:#f92672">=</span> </span></span><span style="display:flex;"><span> <span style="color:#f92672">|</span> Listed <span style="color:#66d9ef">of</span> CompanyProfile <span style="color:#f92672">*</span> Listed </span></span><span style="display:flex;"><span> <span style="color:#f92672">|</span> UnListed <span style="color:#66d9ef">of</span> CompanyProfile </span></span></code></pre></div></li> </ul> </li> </ul> <h2 id="スポンサーブース">スポンサーブース</h2> <p>Jane Streetのエンジニアの方にお聞きしたがJane StreetではフロントエンドとサーバーサイドをOCamlで書いているらしい（！）ブースでお話した方も関数型言語が書きたくて入社したそうで、関数型言語への愛を感じた。</p> <p>ブースでいただいたノベルティのTシャツもめっちゃOCamlだった。</p> <p><img src="jane-street.webp" alt="jane-street" loading="lazy" /></p> <h2 id="ノベルティ">ノベルティ</h2> <p>入場時にロゴ入りのトートバッグがもらえた。 <img src="bag.webp" alt="bag" loading="lazy" /></p> <p>Nulabさんのノベルティのマイクロファイバークロス。実用的でありがたい。 <img src="nulab.webp" alt="nulab" loading="lazy" /></p> <h2 id="まとめ">まとめ</h2> <p>今は業務で関数型言語を使うことはないが、関数型言語の考え方を取り入れることで非関数型言語でもより良いコードを書けるようになると改めて感じた。</p> <p>個人で初めてオフラインの勉強会/カンファレンスに参加したが普通に楽しかったのでまた行ってみようと思う。</p> <h2 id="つけ麺情報">つけ麺情報</h2> <p><a href="https://tabelog.com/tokyo/A1319/A131902/13115487" target="_blank" >二代目えん寺</a>がとても美味しかった。</p> <p><img src="tsukemen.webp" alt="tsukemen" loading="lazy" /></p> <div class="footnotes" role="doc-endnotes"> <hr> <ol> <li id="fn:1"> <p><a href="https://sporto.github.io/elm-patterns/advanced/railway.html" target="_blank" >Elm Patternsでも紹介されていた</a>のを思い出した。改めて読み直してみよう。&#160;<a href="#fnref:1" class="footnote-backref" role="doc-backlink">&#x21a9;&#xfe0e;</a></p> </li> </ol> </div>