Когда явно указываешь типы и операции над типами, и они вычисляются в рантайме. Вроде метапрограммирования C++, но аналоги std::conditional и другие type_traits выполняются в рантайме и шаблонные аргументы становятся обычными рантайм аргументами.
Язык даже без реализации полезен для написания спецификаций файловых форматов и протоколов. Он гораздо более понятен и однозначен, чем таблицы и текст. Так что кое-что уже есть.
Язык даже без реализации полезен для написания спецификаций файловых форматов и протоколов. Он гораздо более понятен и однозначен, чем таблицы и текст. Так что кое-что уже есть.
Язык даже без реализации полезен для написания спецификаций файловых форматов и протоколов. Он гораздо более понятен и однозначен, чем таблицы и текст. Так что кое-что уже есть.