3 ms·
"ML -- a domain-specific language for writing ML compilers." https://twitter.com/samth/status/481759160007004160 https://twitter.com/samth/status/4817591600070
by ihnorton 12y ago
"ML -- a domain-specific language for writing ML compilers."
https://twitter.com/samth/status/481759160007004160 https://twitter.com/samth/status/481759160007004160
- pjmlp 12y agoML was created for the LCF theorem prover, not for writing compilers. It is just a nice side effect that functional programming, as well as, logic programming, make it so easy to write compilers.
- seanmcdirmid 12y agoDoes ML have any logic programming capabilities beyond algebraic pattern matching?