Re:Golua – A Lua 5.3 engine implemented in Go
by monocasa on Friday November 16, 2018 @01:29PM
(#18470769)
Rust's type system is derived from the ML variants, and as such is fantastic for writing compilers and interpreters. ML stands for "meta language", ie. it's named after how good it is at writing compilers in.
[ Parent
| on HN ]
Re:Golua – A Lua 5.3 engine implemented in Go
by pjmlp on Friday November 16, 2018 @02:00PM
(#18471052)
Kind of, I prefer the productivity I get from the GC in ML language variants.
Having done some compiler related work back when we had Caml Light, OCaml was still called Objective Caml and Mirada was being turned into Haskell, I don't see what I would gain from having to deal with the borrow checker.
Re:Golua – A Lua 5.3 engine implemented in Go
by monocasa on Friday November 16, 2018 @02:28PM
(#18471302)
You don't really gain anything from the borrow checker in this case, but you don't really lose anything either if you're used to it.
It's the ADTs that are killer compared to Go.
Re:Golua – A Lua 5.3 engine implemented in Go
by pjmlp on Friday November 16, 2018 @02:43PM
(#18471405)
Yeah, but then why Rust and not another ML variant?
Re:Golua – A Lua 5.3 engine implemented in Go
by monocasa on Friday November 16, 2018 @03:10PM
(#18471598)
The discussion here is between Rust & Go. My point is swaping the GC for the borrow checker in order to get ADTs is a net win to me.
If we're veering off into hypotheticals that don't have anything to do with the question at hand, I personally write compilers and interpreters in Rust rarher than another ML because my use cases tend to be worst case latency sensitive enough that a GC is a non starter.