Aloraman
В два раза моложе пропозала по Discriminated Union
у Noda порог вхождения высокий, и API мощное, тут же скорее простые структуры с данными, для совместимости с sql и xsd
Кстати сегодня думал, как можно было бы реализовать DU, когда с собакеном гулял.
Пришёл к выводу, что невозможно сложно сделать так, чтобы и на старом рантайме работало, и чтобы по типчикам 100% безопасно было, и чтобы без правок жита.
Хочется просто чтобы DU могли заменить enum в тех случаях, когда надо просто свич по значению (не флаги и не конвертацию в числа и обратно). То есть надо, чтобы DU были value-типами
Не помню, какой там синтаксис в пропозале, но мне показалось, что лучше ввести новый кейворд, чем пытаться расширять enum или придумывать какой-нибудь enum class или enum struct