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.

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.