3 ms·
Did you learn that from some other article? I couldn't find "lambda" in this page. I think it's too much to say that all Standard ML compilers work or one way
by eatonphil 5y ago
Did you learn that from some other article? I couldn't find "lambda" in this page.
I think it's too much to say that all Standard ML compilers work or one way or another. There are 6 major compilers and a number of minor ones.
They don't really follow the same approaches in general.
- frou_dh 5y agoAt a higher level that that, it's cool that even in SML's already sparse surface-level syntax, quite of a bit of it is just sugar for each other: https://i.imgur.com/pkSg4xm.png https://i.imgur.com/pkSg4xm.png
- eatonphil 5y agoThat may be the semantics of it and for simple compilers that may be a true transform. But as compilers get more mature they tend to specialize everywhere they can so the actual compiler doing this under the hood may or may not happen.
- octachron 5y agoOne of the intermediary representation used by the OCaml compiler is a lambda calculus (https://github.com/ocaml/ocaml/blob/trunk/lambda/lambda.mli#L279 https://github.com/ocaml/ocaml/blob/trunk/lambda/lambda.mli#...). But yes, this is only the OCaml compiler.