CakeML

From Just Solve the File Format Problem
(Difference between revisions)
Jump to: navigation, search
(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...")
 
 
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

File Format
Name CakeML
Ontology
Extension(s) .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.

[edit] Links

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox