SB
Size: a a a
2020 December 23
TK
А с точки зрения инжиниринга, тайпкласс АЖ НИЧЕМ не отличается от обычного итерфейса, а местами даже ограничителен. Например, полных порядков на натуральных числах бесконечного много, но instance Ordered в Хаскле может быть только один без дополнительных танцев.
Эм, ну получается, как раз ограничения от них и требуют
TK
Так-то тайпклассы разительно отличаются от интерфейсов
SB
Эм, ну получается, как раз ограничения от них и требуют
Интерфейсы можно наследовать.
TK
TK
Из не совсем упомянутого есть тот факт, что static dispatch интерфейсами не поддерживается, и оттуда тоже достаточно упускается на уровне компиляции, в т.ч. zero cost
SB
Из не совсем упомянутого есть тот факт, что static dispatch интерфейсами не поддерживается, и оттуда тоже достаточно упускается на уровне компиляции, в т.ч. zero cost
Про это я уже не знаю ничего, сложно судить.
АВ
а не работал ли кто с
можно там вообще зделоть ленивый парсер?
FsParsec? у меня есть скажем many(pseparator >>. pmessage) который в данный момент возвращает лист из мессагов. Но оооочень долго если большой инпут. а мне бы Seq иди в идеале гопаковый стримможно там вообще зделоть ленивый парсер?
АВ
ну можно в теории еще и ввод буферами считывать до сепараторов, думал мож есть что готовое
АВ
это ж надо кот песадь!
TK
seq!?
АВ
seq!?
а как узнать докуда прочитал?
hs
Андрей Вилинский
а не работал ли кто с
можно там вообще зделоть ленивый парсер?
FsParsec? у меня есть скажем many(pseparator >>. pmessage) который в данный момент возвращает лист из мессагов. Но оооочень долго если большой инпут. а мне бы Seq иди в идеале гопаковый стримможно там вообще зделоть ленивый парсер?
лучше использовать
. если нужно что-то свое, можно попробовать реализовать через
или
. ленивым парсер можно сделать через СЕ
, ну, или
, или
sepBy
. если нужно что-то свое, можно попробовать реализовать через
Inline.SepBy
или
Inline.Many
. ленивым парсер можно сделать через СЕ
parse
, ну, или
parse.Delay
, или
fun s -> f () s