у тебя в окамломире какие-то особые новости

как раз тайпинтайп депрекейтед

точне он стал синонимом для датакайндс + всякое

а ну или похоже это тайпинтайп депрекейдет

да

но не ясно почему, логичнее наоборот

кажется когда-то было время когда это был не просто синоним

он по идее действительно включал аксиому тайп ин тайп

нужен просто один экстеншен FancyHaskell

Который конфликтует сам с собой

FancyHaskell enables FancyHaskell disables FancyHaskell

чтобы сразу и датакаинд, семейства, гадты, поликаинд, тайпаппликейшен, амбижиоус, флексибл, констрейнты, фандепы для классов и семейств

Рассказать подробно?

внезапно

Внезапно про то, кто именно это пишет?

да, внезапно что Артём зашёл

Рассказывай

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 всюду

где либа?

Мб когда-нибудь будет опенсорс, хз. Либа делается за полдня из superrecord