4 ms·
Agreed. I just suspect it has similar goals (I've heard it described as "statically typed Erlang" in the past, and addresses concurrency at the type level in w
by Jweb_Guru 10y ago
Agreed. I just suspect it has similar goals (I've heard it described as "statically typed Erlang" in the past, and addresses concurrency at the type level in ways I suspect MLFE doesn't).
- sitkack 10y agoThe idea of being able to mix MLFE, LFE and raw Erlang is an exciting proposition. Correctness, genericity, and being statically typed, I could see compiling MLFE into Rust and running it inside BEAM. So much gradual goodness.