Possibility of alternative implementation of the type system of & Evaluation & Normalization processes

[Anton-Latukha]

The most interesting tidbits of our talk was a 1 minute that may was overlooked, but no longer

It is where Kmett & Wiegley contemplated an idea of alternative HNix language evaluation implementation, through the "Normalization by Evaluation" (NBE) method that works nicely for strongly typed FP languages.

Kmett has great coverage of the method.

I've right away reached out to John to get the code, & the code is here, I think it is a nice artifact.

It is pretty much the very same sample of the code that Kmett writes & explains & shows in the above presentation a year after.

All of that can be thought about in HNix evaluation terms.

So... you decide...

does it sound tasty?.. 8)