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
-
-
To what extent can one use Pyramid as a basis language and build more languages on top of it, à la Racket itself?
-
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).
-
I wonder whether one could add contracts or types (à la Typed Racket) to Pyramid.
-
Pretty sure you could. Both Typed Racked and Typed Clojure (https://github.com/clojure/core.typed …) are completely optional and user-land type system.
End of conversation
New conversation -
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.