Premium Only Content
Part 2 The Language for The Laws of Changing The Laws - TL9 💎 #shorts #TauLanguage
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
-
1:58:10
Robert Gouveia
12 hours agoMatt Gaetz REJECTS Report, Sues Committee; Luigi Fan Club Arrives; Biden Commutes; Festivus Waste
143K102 -
58:10
Kimberly Guilfoyle
14 hours agoAmerica is Back & The Future is Bright: A Year in Review | Ep. 183
87.6K56 -
3:03:27
vivafrei
19 hours agoEp. 242: Barnes is BACK AGAIN! Trump, Fani, J6, RFK, Chip Roy, USS Liberty AND MORE! Viva & Barnes
161K190 -
8:09:50
Dr Disrespect
17 hours ago🔴LIVE - DR DISRESPECT - MARVEL RIVALS - GOLD VANGUARD
202K33 -
1:15:00
Awaken With JP
16 hours agoMerry Christmas NOT Happy Holidays! Special - LIES Ep 71
228K190 -
1:42:21
The Quartering
17 hours agoTrump To INVADE Mexico, Take Back Panama Canal Too! NYC Human Torch & Matt Gaetz Report Drops!
172K110 -
2:23:15
Nerdrotic
17 hours ago $14.19 earnedA Very Merry Christmas | FNT Square Up - Nerdrotic Nooner 453
129K12 -
1:14:05
Tucker Carlson
17 hours ago“I’ll Win With or Without You,” Teamsters Union President Reveals Kamala Harris’s Famous Last Words
228K378 -
1:58:31
The Dilley Show
17 hours ago $36.58 earnedTrump Conquering Western Hemisphere? w/Author Brenden Dilley 12/23/2024
170K50 -
1:09:59
Geeks + Gamers
18 hours agoSonic 3 DESTROYS Mufasa And Disney, Naughty Dog Actress SLAMS Gamers Over Intergalactic
115K21