The Language for The Laws of Changing The Laws - TL8 💎 #shorts #TauLanguage

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?

Answer: All known formal languages, whether they deal with law or not are unable to express the law of changing the law which has to do with asking about statements in the language itself, whether they contradict other statements, and so on and we are the only one who were able to crack this important problem. So, I don’t expect a Catalan or Legalist to be able to do such a thing.

#ProgrammingLanguages #Catala #Legalize #TauLanguage #SmartContracts #FormalLanguages #Law #Innovation #LanguageDevelopment #Ohad'sInsights

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