Re:Free applicatives, the handle pattern, and remote systems
by throwthrow0987 on Friday October 17, 2025 @05:56AM
(#45614901)
> is quite convenient
It's not principally about convenience though is it? It's about defining the semantics of your program through the DSL. Then you can verify the program logic, prove properties about it if you wish. It is denotative.
It's not principally about convenience though is it? It's about defining the semantics of your program through the DSL. Then you can verify the program logic, prove properties about it if you wish. It is denotative.