Benchmarking a Baseline Fully-in-Place Functional Language Compiler [pdf]

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.

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

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?