В недавнем интервью в Strange Loop Мартин Одерский пролил свет на свое видение будущей версии Scala под названием Dotty. Я понимаю, что это незавершенное производство и даже может не втекать в Scala (по крайней мере, не очень быстро) из-за многих возможных проблем с обратной совместимостью. Но если это произойдет, как мы должны программировать в Scala сегодня, чтобы быть передовым с Dotty? У меня не было всех идей из беседы, поэтому я хотел бы, чтобы кто-то более глубоко подвел итоги и описал, как мы можем их подготовиться.
Как программировать в Scala для обеспечения совместимости с Dotty
Ответ 1
Единственный совет, который я бы дал, это также держаться подальше от структурных типов, содержащих элементы типа. Эти члены типа являются элементами, которые делают проверку типов в Scala turing завершенной, и я пока не уверен, хотим ли мы поддерживать это в Dotty. Структурные типы, которые содержат только значения и определения, скорее всего, будут поддерживаться.
Ответ 2
В конце разговора он говорит "if your program is compiled without any language feature imports for higher-kinded and existentials then you should be ok".
Итак, если я правильно понимаю, единственное, что вам нужно знать, это любое возможное использование в вашем коде экзистенциальных типов или типов более высокого уровня.