MK
👍
Size: a a a
2020 June 24
AV
В общем я пока несколько в сомнениях, оно прилично поломало type inference
AV
Т.е. есть код вида
zoo moo (foobar & #foo . #fooField .~ qu)AV
И например
moo не того типа - он пиет что поля "foo" у FooBar нетAV
Но кажется победил
AV
Но если
moo пропустить - то снова пишетMK
ага, это печальное следствие кастомных тайп ошибок
MK
они ловят сильно больше ошибок чем задумано
AV
Если тип
qu не тот, то опять же ошибка про то, что нет поля "foo", хотя там fundep естьMK
поэтому сообщение может только больше запутать
AV
угу
AV
Кажется последнее тоже победил, но это не точно
MK
там же просто репортится стак фемели, а из-за чего она стак — хз
AV
Угу
AV
В общем вчера было забавный опыт, не очень понравился
AV
Но кажется в текущем состоянии уже приемлимо
AA
> паттерн синонимы совместимы с вайлдкардами
но я почти уверен, что так было не всегда, но не знаю в какой версии поправили
но я почти уверен, что так было не всегда, но не знаю в какой версии поправили
AV
Вот он бонус от использования фич не сразу, спасибо тем кто их использовал и на это наткнулся
AV
Чтобы я без них делал
R
Чтобы я без них делал
писал нормальный код? :trollface: