Да, я уже думал начать. Хотелось бы ещё тайп провайдеры для jpath. Чтобы проверял существование элементов по пути и строил не все типы, а только подмножество из найденного
Ну при желании это тоже норм. Вон в скале так и живут (но там есть sealed hierarchies + case class + нормальный паттерн матчинг, что сильно меняет дело)
Это кстати провал. Смешать в ключевом слове struct семантику из модели памяти (место для аллокации) и структурные различия (non nullable, immutable). Это надо было постараться так сделать
Ну на короткоживущие небольшие объекты типа того же Result (вряд ли ты его будешь к какому-нибудь корню цеплять) GC нормально заточен.
Хотя не спорю, что структурой было бы хорошо такое описывать, но в C# не очень удобно.
Éminence grise
Ага, если бы в конце 90-х мы знали столько же, сколько сейчас, то на сколько бы граблей мы не наступили 😊
Вопрос не в наличии идей и реализаций для языков, а в использовании их в тогдашней промышленности. Я поэтому и пишу про MS Research - нужны были знающие теорию кадры и понимание их важности для промразработки.