That sounds very interesting! If I understand correctly, we would define a formal set of rules and axioms at the genesis of the blockchain, and then validate (or provide a framework for validation of) business operations based on these rules? Do you have a specific business application in mind (other than supply chain type applications) to help me better understand?
Your idea makes me think of dependent types and I am dreaming of applying DT to this blockchain somehow - I just cannot figure out how... :) On Friday, May 4, 2018 at 11:33:47 PM UTC-4, Artyom Shalkhakov wrote: > > Hi Lance, > > On Saturday, May 5, 2018 at 2:40:00 AM UTC+6, Lance Galletti wrote: >> >> >> Hi Artyom, >> >> Thanks for reading! So glad you asked because I actually just finished >> implementing a (very minimal) query language for creating and querying a >> database that is backed up on the blockchain. You can read about this here: >> https://beta.observablehq.com/@galletti94/functional-blockchain-part-2 >> but it is still a very rough draft. >> >> > You're writing it faster than I'm able to read. :-) > > I was thinking along these lines, actually. Can we use blockchain for > painless distributed line-of-business apps? Say I have an app that needs to > sync data with a central server (the app is MOSTLY offline, and setting up > proper networking is too costly). > > >> From here, I see this project going two ways and I would love to know >> what people think will be more useful. >> >> 1. Add distribution to the blockchain so that we have a somewhat complete >> toy application that people can use in order to test various blockchain >> related ideas. For example, different consensus algorithms, ways to store >> the blockchain etc. I am very interested for example in the problem of the >> size of the blockchain and how that will severely limit its use and I would >> love to test some of my ideas on this simulator. >> > > Scalability is an interesting problem to tackle. > > Another issue, again from the business side of things, is whether it would > make it easier to describe typical business stuff (where you have logical > facts, and procedural knowledge, and it usually all gets intermixed to the > point of being totally incomprehensible). > > 2. Turn this into a template. That way if you would like to build a web >> interface for example (instead of command line), or if you would like to >> implement different languages etc you can fork and (hopefully) just >> copy-paste your code. >> >> I would love to hear your thoughts if you have other suggestions as well! >> >> >> On Thursday, May 3, 2018 at 11:30:13 PM UTC-4, Artyom Shalkhakov wrote: >>> >>> Hi Lance, >>> >>> On Friday, April 27, 2018 at 10:17:01 PM UTC+6, 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! >>>> >>>> >>> This is a very good write-up! Looks like now I understand the idea >>> behind blockchain and smart contracts. >>> >>> I'm wondering what do you plan to do next? >>> >>> 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/8a95b8e3-3f79-49cd-bee0-946fe7a1f83f%40googlegroups.com.
