Open nikomatsakis opened 9 months ago
I think maybe we need a "performant" axiom. Right now, the idea of "zero-cost abstractions" and ""the default thing is also the most efficient one" feels a bit smeared across "transparent and tunable" and "productive".
I think maybe we need a "performant" axiom. Right now, the idea of "zero-cost abstractions" and ""the default thing is also the most efficient one" feels a bit smeared across "transparent and tunable" and "productive".