H
можно например так улучшать сообщения об ошибках
разумно
Size: a a a
2020 October 29
p
если мы начали про ошибки то я бы хотел возможности добавлять в ошибки больше контекста
p
какие трейты реализованы, какие типы в скоупе
H
ты о
TypeError?p
да
H
ага
p
для лайфтаймов какие лайфтаймы ест ьв скоупе
p
чтобы как в идрисе - смотришь на типы и тупо комбинируешь их
H
контекст типизации короче
MP
А вот это месиво из трейтов и генериков нужно было обязательно наворачивать?
p
Mag Pie
А вот это месиво из трейтов и генериков нужно было обязательно наворачивать?
угу
p
по другому только через макросы и Box<dyn Trait>
H
Mag Pie
А вот это месиво из трейтов и генериков нужно было обязательно наворачивать?
в расте ассоц типы и разрешение трейтов единственный способ программирования на уровне типов. ты же читал про smallfuck на системе типов rust?
MP
в расте ассоц типы и разрешение трейтов единственный способ программирования на уровне типов. ты же читал про smallfuck на системе типов rust?
Нет, но вполне допускаю что это тьюринг комплит адовый здец
H
он в своей статье описывает как происходит унификация типов и как программирование на уровне типов возможно путём индукции с ассоц типами
H
на этом принципе построена библиотека для программирования на уровне типов frunk, в ней так все операции определены: манипуляция гетерогенными списками, сопроизведения, etc etc
H
ΑZ
Mag Pie
А вот это месиво из трейтов и генериков нужно было обязательно наворачивать?
а вч ем проблема?
ΑZ
просто ошибки говно
ΑZ
но это решается процессингом ошибок