RFC: Generics about arua-meta HOT 1 OPEN

On second look, generics aren't the way to go. I believe with erasure, the Java example above will fail since T. At the best, it will return an instance of SomeType, not an instance of type T, whereas C++ does the latter.

Thinking about this almost a year later (not sure what prompted the thinking) I think love-child was spot on, though I'm switching to the concept of templates.

The example that I think prompted my line of thinking: min/max for widths higher than register sizes.

The problem space: on a 32-bit machine (with 32-bit registers) we can easily perform a greater-than comparison (MOV/LEA, MOV/LEA, CMP, JL or some similar sequence on x86). However, when the width exceeds

TODO a model just finished running at work but I don't want to lose these notes

This really, really plays into the concept of static expressions.

from arua-meta.