I think you’ve misunderstood a couple of things.
Yawar λmin

I think you underestimate my familiarity with C and C++, and over-estimate the effectiveness of templates.

Have you ever used Haskell or ML? When I say templates are a hack, I’m comparing them to H-M systems with first-class polymorphic types and higher-kinded types.

One clap, two clap, three clap, forty?

By clapping more or less, you can signal to us which stories really stand out.