G
Т-34 85
какой-то борров чекер напоминает...
Разница в том, что вполне вероятна ошибка в самом компиляторе Idris. А в борроу-чекере я лично не встречал ошибок
Size: a a a
2020 May 23
G
Да и brchk выдаёт более понятные ошибки, ГОРАЗДО более
MB
Да и brchk выдаёт более понятные ошибки, ГОРАЗДО более
bck
G
Т8
Разница в том, что вполне вероятна ошибка в самом компиляторе Idris. А в борроу-чекере я лично не встречал ошибок
@DogeShibu @Psilon в компиляторе Idris есть такие жёсткие ошибки?
DS
Т-34 85
@DogeShibu @Psilon в компиляторе Idris есть такие жёсткие ошибки?
Возможно, он же совсем в альфа виде
DS
Его один чувак в свободное время пишет
Т8
Возможно, он же совсем в альфа виде
погоди, там же есть стабильная версия, кажется. И давно уже
DS
Т-34 85
погоди, там же есть стабильная версия, кажется. И давно уже
И?
DS
Стабильная != без багов
DS
В особенности, когда речь про ресерч ФП язык
Т8
а в Идрис 2 ещё хуже, получается?
DS
Т-34 85
а в Идрис 2 ещё хуже, получается?
Это ресерч язык, это норма для них
DS
Хочешь без багов - правь баги в нём
G
@DogeShibu, как удобно
frunk::coproduct::Coprod сопоставить с образом? Я poly_fn сделал и оно у меня полетело. Нельзя .await делать, пришлось .boxed(), can't capture dynamic environment in a fn item ещёG
Напрямую сопоставлять не хочется как-то совсем
G
И от сопроизведения отказываться не охото, оно уж больно идеально легло на алгоритм диалогов
DS
@DogeShibu, как удобно
frunk::coproduct::Coprod сопоставить с образом? Я poly_fn сделал и оно у меня полетело. Нельзя .await делать, пришлось .boxed(), can't capture dynamic environment in a fn item ещёInl Inr и погнали
G
Ааа
G
Ладно