One of the weirdest #OCaml syntax choices is the function keyword. I actually like #StandardML choice more here. It lets me embed pattern matching directly in the function declaration.
1
0
0
0
#StandardML
Latest posts tagged with #StandardML on Bluesky
Trending
Posts tagged #StandardML
0
0
0
0
3
0
0
0
I would've preferred #StandardML, but there are too few people using SML these days...I suppose I could also ask about #Haskell or #FSharp blogs about the same subjects?
1
0
0
0
Does ANYONE like #MoscowML 's style where the file name has to match the structure (or signature) name identically? `structure FooFabricator` MUST live in FooFabricator.sml and MUST have its signature be `signature FooFabricator` (which resides in FooFabricator.sig)
#SML #StandardML
1
0
1
0
#StandardML ← 😍{❤️❤️❤️}
1
0
1
0
The "big picture" for these literate programming tools is: I want to write a literate program in #StandardML, which is a #proof assistant. All identifiers are linked to their definition, all the way back to the axiomatic specification for the Standard Basis library.
0
0
1
0