CakeML
From Just Solve the File Format Problem
(Difference between revisions)
Dan Tobias (Talk | contribs) (Created page with "{{FormatInfo |formattype=Languages |subcat=Programming Languages }} '''CakeML''' may sound like a markup language for cake recipes, but it's actually a functional language bas...") |
Dan Tobias (Talk | contribs) |
||
| Line 2: | Line 2: | ||
|formattype=Languages | |formattype=Languages | ||
|subcat=Programming Languages | |subcat=Programming Languages | ||
| + | |extensions={{ext|sml}} | ||
}} | }} | ||
'''CakeML''' may sound like a markup language for cake recipes, but it's actually a functional language based on [[Standard ML]], which is based in turn on [[ML]]. It uses a proven-correct compiler that can bootstrap itself. | '''CakeML''' may sound like a markup language for cake recipes, but it's actually a functional language based on [[Standard ML]], which is based in turn on [[ML]]. It uses a proven-correct compiler that can bootstrap itself. | ||
Latest revision as of 00:19, 3 June 2019
CakeML may sound like a markup language for cake recipes, but it's actually a functional language based on Standard ML, which is based in turn on ML. It uses a proven-correct compiler that can bootstrap itself.
