> The linear functions/SMC work is really cool, but I am surprised to see the author calling it more mature than the compiling to CCCs work.
TFA doesn't call that more mature, just more workable and a thinner abstraction that presumably compiles to more efficient code than the proc-based alternative.