ドメインモデル実装におけるトリレンマに対するSoutherの回答

// 小説投稿サービスで、あるストーリーを閲覧者が読めるかどうかを判定します。 // - 作者本人はいつでも読める // - 公開範囲が全体公開なら誰でも読める。フォロワー限定ならフォローしていないと読めない // - 有料作品は VIP 会員なら読める // - VIP でなくても、その話を単話購入していれば読める data UserId = String invariant String.length(value) > 0 data StoryId = String invariant String.length(value) > 0 data Audience = Everyone | FollowersOnly data Pricing = Free | Paid data Story = { id: StoryId , author: UserId , audience: Aud

[Magicant]

別にこれ、Souther ぢゃなくて Go でもこれに近い書き方できると思ふんだよね

[yojik]

exampleの考え方が興味深い。仕様と振る舞いの分離(結局クリーンアーキテクチャ等でやるべきことはそれだけ)を言語レベルでサポートしているのも良い