+, я в такое не лезу пока более-менее теорию компиляторов и пр не пощупаю
Лезть можно, и даже полезно, чтоб ее изучить, тут проблема не в том что он что-то не понимает, не в том что он что-то неправильно делает, а в том что нагоняет эпичности об очередном неимеющем аналогов языке)
Когда явно указываешь типы и операции над типами, и они вычисляются в рантайме. Вроде метапрограммирования C++, но аналоги std::conditional и другие type_traits выполняются в рантайме и шаблонные аргументы становятся обычными рантайм аргументами.
> вроде метапрограммирования С++ Нет, нет нет, и ещё раз нет. Мета, типы и констэкспры в C++ — это все суть статические контракты. Как только контракт перестаёт быть статическим — он, логично, больше не статический
Язык даже без реализации полезен для написания спецификаций файловых форматов и протоколов. Он гораздо более понятен и однозначен, чем таблицы и текст. Так что кое-что уже есть.
То, чем я занимаюсь, продумано уже 100 раз, но нормальная, работающая реализация, насколько мне известно, сейчас есть только одна - моя. А вроде и кода немного нужно, просто по факту всплывает овердофига проблем
Когда явно указываешь типы и операции над типами, и они вычисляются в рантайме. Вроде метапрограммирования C++, но аналоги std::conditional и другие type_traits выполняются в рантайме и шаблонные аргументы становятся обычными рантайм аргументами.
То, чем я занимаюсь, продумано уже 100 раз, но нормальная, работающая реализация, насколько мне известно, сейчас есть только одна - моя. А вроде и кода немного нужно, просто по факту всплывает овердофига проблем