Nice work. The metaphor of slot machine is very useful for my understanding.
>From my experience, creating a new language in ATS for writing smart
contract while harvesting the type system of ATS for the correctness of the
smart contract is not that straight forward. Writing smart contracts in A
Speaking of formalization of templates, I came upon this essay
http://okmij.org/ftp/Computation/typeclass.html. Personally this is such a
good read, and I finally understand how type classes are done. I feel like
our templates is almost "local type class" in Oleg's words, except that ATS
uses l
Great work, Lance! You helped me understand what smart contract means :)
On Friday, April 27, 2018 at 12:17:01 PM UTC-4, Lance Galletti wrote:
>
> Hey ATS users!
>
> I recently had the chance to build a blockchain and smart contract
> language in ATS - all with a nice CLI thanks to
> https://git
