R
Don't support language features that aggressively complicate the compiler; eg. no -XTemplateHaskell or -XRebindableSyntax. Likewise, desugar before typechecking.
А зачем вообще кому-то может понадобиться дешугарить перед тайпчекингом?
Size: a a a
2020 May 27
AA
А зачем вообще кому-то может понадобиться дешугарить перед тайпчекингом?
ну язык для тайпчека меньше. lmlc так делал. непонятно только где ошибка произошла - а в остальном одни плюсы же
MK
эти переписыватели-на-расте же любят пурскрипт - написали бы для пурскрипта бекенд и интероп в окамл
это даже более-менее реально
это даже более-менее реально
Окамл то зачем?
AA
Окамл то зачем?
ну а откуда еще готовый бекенд, рантайм и какие-то либы для пурскрипта взять?
AA
ну там такой дешугаринг будет, что особо и нечего проверять, тайпклассы то до тайпчека все равно не сделать
AA
пм тоже не скомпилять
AA
хотя мож они гадт не будут делать
AA
ну, конечно, они ничего не будут делать, в смысле не собираются
R
ну, конечно, они ничего не будут делать, в смысле не собираются
ну видимо собираются. Просто еще не осознали, какая это бездна
AA
я чет вообще сомневаюсь, что можно переписать независимо гхц-ный тайпчекер даже с целью точно ту же функциональность поддержать, чтоб потом не пришлось патчить пол хекеджа.
DI
https://github.com/twitter/rsc вот граждане смогли написать свой компилятор скалы в примерно таком же порыве
DI
правда на скале, не на расте
R
я чет вообще сомневаюсь, что можно переписать независимо гхц-ный тайпчекер даже с целью точно ту же функциональность поддержать, чтоб потом не пришлось патчить пол хекеджа.
угу, там всратых корнер-кейзов полно. Не уверен насчет половины хакаджа, но вот эти 90% вряд ли достижимы даже для любого их best effort с целью в точности переписать гхц
DI
не очень понятно, что он собирает, судя по ридми, только пакеты авторов