This is great. For a long time I've had a gut feeling that there must exist a synthesis between pure functional, array, and data-oriented programming that give

This is great. For a long time I've had a gut feeling that there must exist a synthesis between pure functional, array, and data-oriented programming that gives you the best of all worlds: Type safety, concise-to-the-point-of-terse code (with the types helping humans read it), and very high performance. And this feels like a step in the right direction.