You are viewing a single comment's thread from:

RE: Demo coming soon? Tau Meta Language in C++ updated on Github.

in #blockchain • 6 years ago

so, we have the language of langues. I am new to Tao - but after going through many things like eSML for the smart contract "translation" this looks interesting. Thank you for sharing!

6 years ago in #blockchain by
$0.47
  • Past Payouts $0.47
  • - Author $0.35
  • - Curators $0.12
4 votes
Reply 5
Sort:  
  • Trending
    • [-]
     6 years ago (edited) 

    TML is definitive for "smart contracts" as it's a hypothesized language of law, in that it needs:-

    1. To be able to refer to itself (self-reference)
    2. To be decidable (this rules out turing-complete languages)
    3. To support negation (With 1 & 2, we end up with two possibilities when it comes to choosing the type of logic which is FO[PFP] and FO[LFP]. Requirement 3 is only possible with FO[PFP])

    Which is why TML is based on FO[PFP]. It's also worth noting that TML is not one single universal language as it can redefine itself and change over time, from block to block.

    Check out these blogposts in regards to language:

    $0.02
    • Past Payouts $0.02
    • - Author $0.02
    • - Curators $0.01
    1 vote
    Reply
    [-]
     6 years ago (edited) 

    I need to call “Ullman and Aho” for help!

    I remember reading something about Tau in a discussion regarding WREN and Smart contracts in STEEM

    Quick question: formal verification of this language with something like F* will be possible ?

    $0.00
      Reply
      [-]
       6 years ago  

      Yup ultimately it depends on the nature of F*, here's the excerpt about internet of languages taken from the website:-

      There is no single best language for all purposes, which is the reason we're building the Tau Meta Language (TML): a language intended to define other languages and translate between them while maintaining the same information. TML allows seamless communication and semantic translation between programming languages, knowledge representation languages, visualization and organization formats, domain-specific languages, and more.

      $0.00
        Reply
        [-]
         6 years ago  

        ultimately it depends on the nature of F*

        F* is a language developed at Microsoft Research for the formal validation. Quick into is here : https://www.microsoft.com/en-us/research/people/nswamy/

        $0.00
          Reply