Comment by nine_k
2 years ago
I agree in general, and with the idea that effectfullness of compile-time calculations should be strictly limited.
OTOH reading an input file is one effect that a compiler inevitably has anyway. A clean way to load and interpret an input file as a part of comptime computation would be very helpful, without the problems of arbitrary effects.
Yeah imo the way this would be handled ideally is that some other program would generate a source file from the csv. That source file can then be included normally and work with existing caching infrastructure etc.
But ya know back when make was the way of doing things this would be easy to set up. Now in the age of each tool having its own build system it is different.