+1 for MLton. The lead maintainer was my compilers professor in university and he's a dedicated man who _loves_ what he does. It shows in his work and using MLton was a very nice experience, especially compared to SML/NJ (which isn't bad, just a bit more difficult and the straight forward compilation of MLton).
Ever since looking at SML, I often find myself thinking: "Would this be nice in SML?". And then I imagine all the nice pattern matching and type checking shortening the code. So any post about some library for SML raises my interest.
Having only learned from a book and with very few and little projects in SML, I have no idea, how they managed to put the HTML syntax in there. Clearly the carets are a start and the dollar signs the end delimiter, but then there are also things like backticks in there, before strings, which remind me of unquote of lisp. But why would one need to unquote strings? Anyway, it does look elegant. Maybe an example of how to compose HTML from multiple parts would also be great to have as an example (-> template engine).
Can anyone shed light on the general approach with ^^ and $$ this is implemented in SML? What kind of language constructs are involved?
With some project names, I wonder if the puns are intentional or accidental. For instance this one sounds like "to flunk/flunked", which is not the nicest association?
14 comments
[ 0.26 ms ] story [ 44.5 ms ] threadhttps://dl.acm.org/doi/pdf/10.1145/3586057
https://arxiv.org/abs/2211.01473
https://isabelle.systems/
Is there sufficient use of MLTon amd64 backend out there to consider it mature? or Do people prefer the LLVM or C backend instead in general?
Having only learned from a book and with very few and little projects in SML, I have no idea, how they managed to put the HTML syntax in there. Clearly the carets are a start and the dollar signs the end delimiter, but then there are also things like backticks in there, before strings, which remind me of unquote of lisp. But why would one need to unquote strings? Anyway, it does look elegant. Maybe an example of how to compose HTML from multiple parts would also be great to have as an example (-> template engine).
Can anyone shed light on the general approach with ^^ and $$ this is implemented in SML? What kind of language constructs are involved?
EDIT: Also interesting, that they have written their own Test thingy: https://github.com/OriRoth/flunct/blob/main/test/test.sml#L4
There are examples in the paper https://dl.acm.org/doi/10.1145/3586057 (last section I think).