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.