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 ATS (or a derivative of ATS) directly would be a relatively easy way. I think generating from ATS to solidity would be a concrete step, which I am interested in. On Friday, April 27, 2018 at 9:17:01 AM UTC-7, 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://github.com/ashalkhakov/colorado. > > I wrote a small blog post about it here: > > https://beta.observablehq.com/@galletti94/functional-blockchain > > and am looking for collaborators to take this to the next level. If you > would like to help me out with enhancing the language or CLI, or if you > have a grand vision / feedback you would like to share, please reach out! > > Thank you! > > Lance > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/5e65e96f-3090-4538-9dc1-da42d1309822%40googlegroups.com.
