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?
JoelMcCracken•2w ago
IIUC koka can apply these optimizations dynamically when it determines data is unique via reference counting. However the paper has more details.
agentultra•2w ago
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.
orbifold•2w ago
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
noelwelsh•2w ago
JoelMcCracken•2w ago