Slides from my talk "Writing smart contracts the sane way" from #blocksplitconf https://www.slideshare.net/simonbelak/writing-smart-contracts-the-sane-way … #smartcontracts #Ethereum #formalverification
-
-
Replying to @sbelak
Looks cool — nice work! I wonder how it compares to
@pyramidlang.1 reply 0 retweets 1 like -
Replying to @alamajesse @pyramidlang
Ideally you'd want to go one level deeper. Pyramid is just one of the languages I'd want to use, but it's on the right track: Racket with it's grow-a-language paradigm is a great substrate to implement the ideas I touched upon.
1 reply 1 retweet 1 like -
Replying to @sbelak @pyramidlang
To what extent can one use Pyramid as a basis language and build more languages on top of it, à la Racket itself?
1 reply 0 retweets 0 likes -
Replying to @alamajesse @pyramidlang
It's a lisp so it excels in that, however I you'd have to recreate a lot of code and tools that already exists for something like Racket (for at best marginal benefits).
1 reply 0 retweets 0 likes -
Replying to @sbelak @pyramidlang
I wonder whether one could add contracts or types (à la Typed Racket) to Pyramid.
1 reply 0 retweets 0 likes
Pretty sure you could. Both Typed Racked and Typed Clojure (https://github.com/clojure/core.typed …) are completely optional and user-land type system.
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.