Entropy

新着

  • 表明プログラミング

    2026年11月15日

    • word
    • 設計
  • 抽象構文木

    2026年11月14日

    • word
    • コンパイラ
  • Active Job

    2026年11月14日

    • word
    • ruby
    • rails
  • アクターモデル

    2026年11月14日

    • word
    • 並行処理
  • 集約ルート

    2026年11月14日

    • word
    • ddd
Home

❯

読んだ本

❯

Domain Modeling Made Functional

❯

Domain Modeling Made Functional › Understanding Types

Domain Modeling Made Functional › Understanding Types

Properties2
descriptionF# の代数的な型システムを使って要件を記述するための、関数と型の基礎を説明する章
tagsbook-chapter, ddd, fp, fsharp

2024年7月12日

TL;DR

  • F# の代数的な型システムを使って要件を記述するために、関数と型の基礎を学ぶ章である。

内容

この章は次の節で構成されている。

  • 関数の理解
  • 型と関数
  • 型の合成
  • F# の型を扱う
  • 型の合成によるドメインモデルの構築
  • 省略可能な値、エラー、およびコレクションのモデリング
  • ファイルやプロジェクトでの型の整理

キーワード

  • F#
  • 代数的な型システム

グラフビュー

  • TL;DR
  • 内容
  • キーワード

バックリンク

  • Domain Modeling Made Functional

作成 Quartz v5.1.0 © 2026

  • GitHub
  • RSS