VY
да, намного понятнее, прям несравнимо
Size: a a a
2018 February 14
ЗП
Ну с версией 8.2 они ещё круче выглядят
VY
у меня gch 8.2.2, хотя я последний раз тыкал его год назад и уже не помню как они раньше выглядели)
AP
Просто несколько подробнее стали
VY
вроде такая мелочь, а реально сразу чувствуется – разница огромная когда вместо e0 r1 i2 у тебя нормальные названия и вообще не только это,
просто вот такое вообще трешняк:
просто вот такое вообще трешняк:
where i2 is a rigid type variable
a1 is a rigid type variable
e0 is a rigid type variable
t5 is an unknown type
t4 is an unknown type
t3 is an unknown type
t6 is an unknown type
t7 is an unknown type
ЗП
Просто несколько подробнее стали
Ну и выглядят лучше
AP
Это вторично
AP
(я про цвета)
ЗП
Но иногда ошибки показываются не там где возникают, это связано с редукцией графа
VY
да, бывает такое (по-моему недавно видел, но не помню почему/что именно и не смогу привести пример), но все равно можно по стеку назад в голове пройтись (не далеко) и понять
2018 February 17
AK
сейчас богохульство спрошу — а что если я хочу принять рекорд с неважно какими полями, в функции взять те, которые мне нужны (и какие мне нужны я знаю только внутри функции, потому что это ключи мапы на самом деле) — и вернуть рекорд с другими полями (тоже из мапы)? можно такое сделать?
просто мапы не очень удобно собирать, хочется в рекорды всё обернуть — с мапами такое прокатывает конечно.
просто мапы не очень удобно собирать, хочется в рекорды всё обернуть — с мапами такое прокатывает конечно.
AP
Ты всегда можешь принять один тип и вернуть другой
AK
это да, но мне нужно явно поля перечислить, а я их не знаю
типа
типа
forall i o. i -> o не прокатит, и {} -> {} тожеAK
а, читаю про Rows
AP
Придется в сигнатуре фции поля перечислить
AP
Даже если row полиморфизм заюзать
AK
чёрт, ну тогда мэпы, ладно
AP
Т.к. компилятор не позволит взять из входного рекорда незадекларировнные поля и не позволит вернуть незадекларированные поля в рекорде-результате
AK
да, и понимаю зачем, но думал вдруг что-то упустил и можно вжух и сделать