так, а DataKinds это разве не легаси?

нет, слышал только что-то вроде, "приходите к нам 5MLOC на хаскель переписывать"

А на куоре писали, что sc вообще использует 1,5 человека и то для для создания dsl

ну он как-бы не был легаси, в 8.0 его выкинули, но продолжали как-то имитировать худо-бедно до 8.6 ограничениями для тайпинтайп, а потом и имитировать перестали, щас это то же самое что тайпинтайп, типа как с ранк2 который включает ранкн

давно — это лет 20 назад?

1. Распарсить пурскрипт официальным парсером, перевести в свою астшку, которая примерно union(PS AST, HS AST), применить кучку синтаксических трансформаций, преттипринтнуть.

2. Рекорды заменить либо на data, если можно, либо на superrecord-подобную либу, если нельзя. Либа поддерживает O(1) запросы, красивый record construction, полиморфные апдейты, и имеет кастомный Generic инстанс, который мимикрирует под обычные рекорды — т.е. ToJSON и так далее работают из коробки. Все record accessors всюду заменить на generic-lens.

3. Переписать всю используемую PS-экосистему на HS.

4. -XStrict и -fno-full-laziness всюду

Хз, писали давно - в 2016

но при этом именно typeintype помечен как депрекейтед, а не датакаиндс