|
|
|
|
|
|
by woutgaze
5 hours ago
|
|
|
I have the feeling that the author is really onto something: the explicit boundary between symbolic intent and real-world execution. Type systems don’t cut it always, you sometimes need something in-between imperative code - which is hard to test all edge cases - and pure type system chasing. The sweet spot maybe lies in having a DSL (in this case "building business mutations") and have good building blocks. |
|
|