Benchmarking a Baseline Fully-in-Place Functional Language Compiler [pdf]
39 points by matt_d
by agentultra
0 subcomment
Nice paper. I’ve long been curious whether we could have an FP language that didn’t need a run-time to support it.
Seems like this is a step in that direction.
It’s neat what falls out of type theory. Counting Immutable Beans was another eye-opening paper worth reading if you’re curious like me.
by noelwelsh
2 subcomments
Interesting stuff. I didn't read the whole paper in detail. I'm unclear on how FIP differs from adding uniqueness types to a language. A number of languages are exploring this (Rust being the most well known) so what's the novelty that FIP brings?
by orbifold
0 subcomment
Curious how this relates to what lean4 is doing, I guess in lean's case some of the data structures are special cased (Array) and there is no easy way to implement such data structures yourself