Viewing a response to: @bobinson/re-kevinwong-re-bobinson-re-kevinwong-demo-coming-soon-tau-meta-language-in-c-updated-on-github-20181001t145435005z
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