这才是真正的Domain driven 吧

【 在 blitz (blitz) 的大作中提到: 】
: 标  题: 感觉Idris设计很好啊
: 发信站: 水木社区 (Mon Sep 14 12:10:14 2020), 站内
:
: 补上了Haskell的好多坑，比如 record的全局性
:
: --
:
: ※ 来源:·水木社区 newsmth.net·[FROM: 159.226.171.*]
--
FROM 103.82.227.*