2 years ago

Part 2
Question: What does Ohad make of programming languages like Catala: A Programming Language for the Law and Legalize, a Non-Turing complete language? Is Tau’s language used for smart contracts as powerful or comparable?

Part 2 Answer: Further we also adapted to speak about the time ordering of statements so not only whether it’s true or not, but the way they appear in time, and this is important for software specification purposes. So I would expect that on this front, the languages are very different whether everything expressible in Capital or Legalize can be expressed in the languages that we work on, I don’t know. As long as the language is decidable and this is a propositional clause, so you can take the conjunctions, disjunction and negation of any sentence, then we can add our support language to speak about its own sentences as well as ordering in time of sentences, as a language extension to that language so our solution is really open-ended that applies to virtually all languages, so in principle, there’s no limitation to adapt everything what those two languages can express in our setting.

#SoftwareSpecification #LanguageExtension #TimeOrdering #PropositionalClause #OpenEndedSolution #DecidableLanguage #CapitalLanguage #LegalizeLanguage #Programming

Tau Official Website: https://tau.net/
Tau Official Telegram: https://t.me/tauchain
Tau Official Discord: https://discord.gg/fuTA5ymZ
Tau Official Development Updates: https://github.com/IDNI/TML
TML Playground: https://tml.tau.net/

Twitter: https://twitter.com/AndrewOnizuka
Facebook: https://www.facebook.com/profile.php?id=100073737020446
Instagram: https://www.instagram.com/andrewonizuka/
Reddit: https://www.reddit.com/user/Andrew_Onizuka

Loading comments...