![[👻] C. Allen🇻🇦(Pope Callistus I)](https://pbs.twimg.com/profile_images/1174715975855411203/ZjrkUIk0_normal.jpg)
@wmougayar Feature creep often translates to DSL complexity creep & increased risk. Maintaining limited DSL expressivness is key
Most smart contracts should be written using domain-specific languages. Here's my design for a smart contracts DSL: http://nakamotoinstitute.org/contract-language/ …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Hear! Hear! That's why we came up with Semantic Programming. http://www.contracts11.com/semantic-programming-a-contract-driven-approach/ … http://www.contracts11.com/smart-contracts-will-never-work-if-we-treat-them-as-normal-programs/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
loved reading it. A must read for any of the current SCL developers.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@wmougayar Fantastic post! Ironing out unrealized presupposition discrepancies between contract parties seems challenging to me.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Has your thinking / approach to this evolved since 2002?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
have you seen https://youtu.be/NftT6HWFgq0 ?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.