I completely agree! I think my initial goal was to explain (mostly by counterexample) the importance of languages like ATS in the context of smart contracts.
I see this toy blockchain as a simulator in that we can demonstrate various ideas in a visual and maybe more effective way than live on the Ethereum network. It could also be a place for us to experiment with solutions to various scalability issues of the blockchain. There is no doubt that there is a need for an ATS to Solidity transpiler - and I would love to contribute! This just may be a separate project. What do you think? On Sunday, April 29, 2018 at 1:42:08 AM UTC-4, Zhiqiang Ren wrote: > > 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/e0378fe9-2e9f-4da4-a42b-23608146256e%40googlegroups.com.
