はじめに 最近、色々な人がオススメしていたこともあり「関数型ドメインモデリング」を読みました。 この書籍はサンプルコードがF#で記載されています。 そこで、業務で利用しているScalaに書き換えた場合にどのようになるのか気になり、実際に書いてみたので備忘録として残します。 書籍の中でよく用いられている手法として、ある要素が複数の状態をとる時、状態ごとに独自の型を作るというものがありました。 個人的に、この手法により型の利用の幅が広がったと感じたため、今回はこの手法について記載します。 この記事について 書籍「関数型ドメインモデリング」の「6.4 ビジネスルールを型システムで表現する」の内容を、Scalaコードを使用して、自分なりの理解でまとめなおしたものです。 この記事の内容は、書籍を読んでいなくても理解できると思います。 また、書籍でよく用いられていた手法を説明するため、この記事を読んだ

始めに この正月に、関数型ドメインモデリングという本を読みました。良書でした。 そこで、今までオブジェクトで書いていたコードを関数としてかけないか?という思いつきでこの記事を書いた結果、なんだか関数型とは関係ない感じの記事になってしまいました。ご容赦ください。 ベースとなるサンプルコード まずはオブジェクト指向でよく使う形のサンプルを用意しました。タスク管理のモデルです。簡単のため、エラーなどはあまり返さないようにしています。 package domain import "fmt" type status string const ( StatusPending status = "pending" StatusDoing status = "doing" StatusDone status = "done" ) func NewStatus(s string) (status, erro

鉄道指向プログラミング（Railway Oriented Programming）とは何か？基本概念と背景 鉄道指向プログラミング（Railway Oriented Programming）は、エラーハンドリングを効率化し、コードの可読性を向上させるための設計手法です。 その名前は、鉄道のように2つの「レール」を持つ構造を比喩としており、処理が成功すればメインレールを進み、エラーが発生すれば別のレールに移行するというモデルに基づいています。 この手法は特に関数型プログラミングや関数型的な設計に適しており、プログラムのフローを直感的に理解できる点が特徴です。 背景には、従来のエラーハンドリング手法の複雑さや、try-catch構文による煩雑なコードが挙げられます。 この手法を用いることで、開発者はコードをシンプルかつ直感的に保ちながら、エラー処理を明確に分離することが可能です。 鉄道指向プロ

ここ数年で『関数型ドメインモデリング』という書籍や、『Functional and Reactive Domain Modeling』といった書籍を読んだ経験から、今業務で取り組んでいるKotlinではどう表現できるのかに興味がありました。年末年始に少しまとまった時間が取れたので、実際に実装してみました。今回は、その過程でどのような知見を得られたかを、主には自分の理解のためにまとめておきたいと思います。 関数型ドメインモデリング　ドメイン駆動設計とF#でソフトウェアの複雑さに立ち向かおう (アスキードワンゴ) 作者:Scott Wlaschin,猪股 健太郎ドワンゴAmazon github.com 先に書いておきますが、長いです。目次をご覧になって、興味のある場所をかいつまんでお読みください。 免責事項 お題 技術スタック 設計 全体的な設計 Kotlinの使用に関するもの データ型の定

概要 この記事では、 アンラーンの重要性： システム開発・教育においてアンラーンがとても重要であること 具体的なアンラーンの方法、技術 教育とはなにか： 教育の重要な目的は記号接地であり、そのために積極的にアンラーンを促す必要もあること についてシステム開発の文脈でDDDの用語を交えて説明します。と言っても深くDDDに依存しているわけではなく、システム開発全般・ひいては認知を合わせる必要のある仕事全般について共通することの説明になっています。 DDDに関連する部分については、『関数型ドメインモデリング ドメイン駆動設計とF#でソフトウェアの複雑さに立ち向かおう』という本から一部引用します。この本には開発者の誤解によってどのようにして認知のズレが生じるか、またそれをどうやって修正するかという具体的な場面が示されており、この具体例から「アンラーンがいつ必要になり、具体的にどう作用するのか」「ア

関数型言語から見たドメインモデリングに興味があり、本書を手に取りました。 ドメインモデリングの本ですが、最初に「なぜドメイン駆動設計をするといいのか」や「実際に取り組み始める際の流れや手法」の解説があります。DDDの紹介の章で「開発者の仕事はコードを書くことではなく、ソフトウェアによって問題を解決すること」と著者が言うように、いきなりコードから解説を始めるのではなく、まずどうやってワークショップを進めていけばいいのかや実際のインタビューの方法まで、ビジネス側を含めて解像度高く説明しているところがわかりやすかったです。 また、概念的な「境界づけられたコンテキスト」などのDDDで使う専門用語も詳しく説明しています。すぐに関数型のモデリング手法に入らずに、まずはきっちり概念の説明をしてから入っていきます。ここにも先ほどの著者の信念が表れているように思いました。 DDDをシームレスに関数型プログラ

はじめに まずは戦う相手を見定めよう 戦術はいかに まずは関数を知る しゅ、しゅ、出力がないだってぇ！？ 型＝値の集合とはなんぞや？ まとめ おわりに 参考 はじめに 本記事はｉｉｍｏｎ Advent Calendar 2024　21日目の記事となります！ こんにちは！DDDとTDDには熱心だけど、推し活はDD（誰でも大好き）ではなく、とことん一途なエンジニアマネージャー、まつだです。 本日12月21日は私の誕生日ということで、なんと101101歳になってしまいました！（この手のやつ、16進数にしてるのはよく見るけど、2進数は斬新やな⋯） ちょっとでも誕生日を祝ってくれる気持ちのある方は、ぜひ↓のボタンをぽちっとしてブックマークでもしてやってください（笑） 今回は、私もさらに歳を重ねて型にはまった人間にならねば、ということで、「関数型ドメインモデリング」という本を読んで学んだことを普段の業

本章では、完全性と整合性をモデルで保証する方法を扱います。 今回の内容は、関数型言語に限らず、普段の開発で役立つ内容になってます。 完全性（Integrity） 完全性とは、それぞれのデータが正しいビジネスルールに従っていることを意味します。 （例） UnitQuantity〈ユニット数〉は、1 から 1000 の間であるとしました。そのことはコードの中で 何度もチェックしなければならないのでしょうか、それとも常に真であることを当てにできるの でしょうか? 注文は常に、明細行が少なくとも 1 つ必要です。 注文は、発送部門に送られる前に、発送先住所を検証しておかなければなりません。 整合性（Consistency） 整合性とは、ドメインモデルの異なる部分が事実について一致していることを意味します。 （例） 注文の合計金額は、個々の行の合計と同じでなければならない 注文が確定すると、それに対

はじめに 今年の夏ごろに以下書籍が発売されました DDDを学ぶために手に取った書籍だったのですが、F#で書かれているコードをTypeScriptに書き直しながら学習を進めたので記事にまとめようと思います 関数型ドメインモデリングってどんな書籍 関数型プログラミングの視点からDDDを解説した書籍です 想定読者は以下のようになっています(書籍から引用) 型と関数しか使わずに、どうドメインをモデル化し実装できるかに興味がある方 ドメイン駆動設計を簡潔に把握し、オブジェクト指向設計やデータベースファースト設計とどう違うのかを学びたい方 ドメイン駆動設計の経験者で、関数型プログラミングがDDDにどう役立つのかを学びたい方 関数型プログラミングについて学びたいが、理論や抽象化が多過ぎて敬遠している方 F#と関数型プログラミングが現実的なドメインにどう適用できるのかを見てみたい方 サンプルコードはF#で

こんにちは。 株式会社 CHILLNN という京都のスタートアップにて CTO を担っております永田と申します。 弊社では、バックエンドを typescript で実装しており、「宣言的プログラミング」と「関数型ドメインモデリング」のパラダイムを導入しています。 この構成は、一休 CTO である伊藤さんによる宣言的バックエンド開発の発信に大きく影響を受けており、よく言及されている「関数型ドメインモデリング」も拝読しました。 どれも非常に興味深く拝見させていただいたのですが、どうしても概念として理解することと、実装に落とし込むことの間には大きなギャップがありました。多くの試行錯誤を繰り返す中で、かなりこれらのパラダイムのメリットを実際に享受できるようになってきました。本記事では、我々の現時点での具体的実装上の tips を紹介します。 これらのパラダイムの導入を検討している方々にとって、少し

サマリー ドメインモデルには以下の種類がありそう 🧠 業務知識: 知識レベル 🏃 業務フロー: オペレーションレベル 🧠業務知識（知識レベル）について、以下のような分類ができそう 業務手順の知識: プロセスモデル 業務資源情報の知識: リソースモデル 属性・値の知識: プロパティモデル 意思決定・制約条件の知識: ポリシーモデル 🏃業務フロー（オペレーションレベル）について、以下の構成要素がありそう 業務連鎖: ワークフローモデル 業務イベント: イベントモデル ※ 「ビジネスルール」は上記全てに付随するイメージ 上記はどんな文脈でも抜け漏れなく分析できるフレームとは思わないが、以下に参考にならないか 人間が業務領域を理解したいときの、ver.0.1の定規として AIがコード設計するときの、プロンプトに書いておくモデル分類の指示として コード例もあります！ 🖕 ビジネスプロセスの

Type-Safe Lightweight DDD with Effect Schema Yuichi Goto | JSConf JP on November 23, 2024 Who I am Yuichi Goto @_yasaichi @yasaichi.bsky.social @yasaichi Professional Background Backend Engineer since 2015 Co-author of Perfect Ruby on Rails Working at EARTHBRAIN since 2023 About EARTHBRAIN Founded in July 2021 200 employees (including 50 developers) Provides Smart Construction® solutions About Sma

株式会社ジェイテックジャパン CTOの高丘 @tomohisaです。2024年11月26日に行われた、アーキテクチャカンファレンス2024に株式会社ジェイテックジャパンとして出展し、私はセッションでの登壇をしました。 イベントURLはこちら 大変盛り上がった、ハッシュタグはこちら Findy Toolsさんが、セッション資料をまとめてくださっているのでご覧ください。 僕の登壇資料はこちら 準備および登壇に関して 参加が決まったのが9月で、その頃から、Findyの担当者がついてくださり、ターゲットの客層が好みそうな内容にするにはどのような話にしたら良いか、寄り添ってくださり、考えるのをサポートして下さいました。 運営自体大変だったと思いますが、いろいろな面が細かく考えられおり、安心して臨むことができました。 特にこの準備も兼ねて、一般の方がイベントソーシングにどのように考えておられるかを知り

関数型ドメインモデリング ドメイン駆動設計とF#でソフトウェアの複雑さに立ち向かおう 作者:Scott WlaschinKADOKAWAAmazon 発売されてすぐに買ったはいいものの、大吉祥寺.pmをはじめとするイベント続きですっかり積んだままになっていた『関数型ドメインモデリング　ドメイン駆動設計とF#でソフトウェアの複雑さに立ち向かおう』をこの週末で読んでいた。 去年から今年にかけての設計本の大量出版は凄まじいものがありましたが、そんな中で割とがっつりコードに焦点を当てた1冊 全体の1/5くらいを占める第1部は駆け足でドメイン駆動設計のおさらい 残る4/5は、ひたすらF#を用いた関数型プログラミングでのドメイン駆動設計の実装例が続く、というストロングスタイルな1冊 プロダクションコードをF#で書いている人が日本にどれだけ居るのか想像が付かないところもあるけど、これからドメイン駆動設計

TOPコラムテック最前線レポート【後編】TypeScript×関数型×DDDで、ユニットテストが激減。実践の全貌とTips【Open Developers Conference 2024 レポート】 【後編】TypeScript×関数型×DDDで、ユニットテストが激減。実践の全貌とTips【Open Developers Conference 2024 レポート】 2024年11月18日 株式会社一休　CTO 伊藤 直也 大学院卒業後、新卒で入社したニフティ株式会社にて、ブログサービス「ココログ」を立ち上げ。2004年、株式会社はてなに入社、CTOに就任。「はてなブックマーク」などの開発を主導。2010年以降はグリー株式会社にて、ソーシャルメディア統括部長を務める。その後フリーランスを経て、2016年4月に、技術顧問を務めていた株式会社一休に入社。執行役員CTOに就任 X GitHub 2

TOPコラムテック最前線レポート【前編】関数型×DDDの設計と実装は、どう進めるべきか。書籍「関数型ドメインモデリング」翻訳者が語る【Open Developers Conference 2024 レポート】 【前編】関数型×DDDの設計と実装は、どう進めるべきか。書籍「関数型ドメインモデリング」翻訳者が語る【Open Developers Conference 2024 レポート】 2024年11月18日 書籍「関数型ドメインモデリング」翻訳者 猪股 健太郎 システムエンジニア、ソフトウェア開発者。BIPROGY株式会社勤務。各種業務システムに関する開発支援や開発標準策定等に従事後、数年間の米国駐在を経て帰国。近年はアジャイルソフトウェア開発を含む開発スタイル変革に携わる。『速攻入門 C#プログラミング すぐに現場で使える知識』（技術評論社、共著）、『プログラミングXamarin　上・下

スピーダ事業Product Teamのあやぴーです。 「関数型ドメインモデリング」が翻訳されて日本でもF#が流行る兆しが見えてきたので、今日はF#を書き始めた人が感じやすい違和感を解決する方法についての紹介です。尚、私たちProduct Team内では持っていない人はいないのではないか、と思う程度には購入している人が多い本です。 store.kadokawa.co.jp F#には async コンピュテーション式というものがあり、非同期処理をうまく書きやすいです。例えば、以下のようなコードです。 let asyncFunctionA () = async { return 42 } let asyncFunctionB () = async { return 2 } let result = async { let! a = asyncFunctionA () let! b = async