Viewing a response to: @kevinwong/re-bobinson-re-kevinwong-demo-coming-soon-tau-meta-language-in-c-updated-on-github-20181001t143649222z
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 ?
| author | bobinson |
|---|---|
| permlink | re-kevinwong-re-bobinson-re-kevinwong-demo-coming-soon-tau-meta-language-in-c-updated-on-github-20181001t145435005z |
| category | blockchain |
| json_metadata | {"tags":["blockchain"],"app":"steemit/0.1"} |
| created | 2018-10-01 14:54:36 |
| last_update | 2018-10-01 14:55:57 |
| depth | 3 |
| children | 2 |
| last_payout | 2018-10-08 14:54:36 |
| cashout_time | 1969-12-31 23:59:59 |
| total_payout_value | 0.000 HBD |
| curator_payout_value | 0.000 HBD |
| pending_payout_value | 0.000 HBD |
| promoted | 0.000 HBD |
| body_length | 237 |
| author_reputation | 55,343,141,313,811 |
| root_title | "Demo coming soon? Tau Meta Language in C++ updated on Github." |
| beneficiaries | [] |
| max_accepted_payout | 1,000,000.000 HBD |
| percent_hbd | 10,000 |
| post_id | 72,418,629 |
| net_rshares | 0 |
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.
| author | kevinwong |
|---|---|
| permlink | re-bobinson-re-kevinwong-re-bobinson-re-kevinwong-demo-coming-soon-tau-meta-language-in-c-updated-on-github-20181001t153951350z |
| category | blockchain |
| json_metadata | {"community":"busy","app":"busy/2.5.6","format":"markdown","tags":["blockchain"],"users":[],"links":[],"image":[]} |
| created | 2018-10-01 15:39:51 |
| last_update | 2018-10-01 15:39:51 |
| depth | 4 |
| children | 1 |
| last_payout | 2018-10-08 15:39:51 |
| cashout_time | 1969-12-31 23:59:59 |
| total_payout_value | 0.000 HBD |
| curator_payout_value | 0.000 HBD |
| pending_payout_value | 0.000 HBD |
| promoted | 0.000 HBD |
| body_length | 552 |
| author_reputation | 621,253,570,295,288 |
| root_title | "Demo coming soon? Tau Meta Language in C++ updated on Github." |
| beneficiaries | [] |
| max_accepted_payout | 1,000,000.000 HBD |
| percent_hbd | 10,000 |
| post_id | 72,421,455 |
| net_rshares | 0 |
> 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/
| author | bobinson |
|---|---|
| permlink | re-kevinwong-re-bobinson-re-kevinwong-re-bobinson-re-kevinwong-demo-coming-soon-tau-meta-language-in-c-updated-on-github-20181002t164851729z |
| category | blockchain |
| json_metadata | {"tags":["blockchain"],"links":["https://www.microsoft.com/en-us/research/people/nswamy/"],"app":"steemit/0.1"} |
| created | 2018-10-02 16:48:54 |
| last_update | 2018-10-02 16:48:54 |
| depth | 5 |
| children | 0 |
| last_payout | 2018-10-09 16:48:54 |
| cashout_time | 1969-12-31 23:59:59 |
| total_payout_value | 0.000 HBD |
| curator_payout_value | 0.000 HBD |
| pending_payout_value | 0.000 HBD |
| promoted | 0.000 HBD |
| body_length | 197 |
| author_reputation | 55,343,141,313,811 |
| root_title | "Demo coming soon? Tau Meta Language in C++ updated on Github." |
| beneficiaries | [] |
| max_accepted_payout | 1,000,000.000 HBD |
| percent_hbd | 10,000 |
| post_id | 72,492,545 |
| net_rshares | 0 |
hiveblocks