Влод
sepEndBy пропустит без запятой
или не совсем понял какой нужен результат
Vasiliy
гм, действительно, sepEndBy optionally ended by sep
Влод
можно ещё тест кейзов накидать?
Konstantin
@qnikst спсб, а то я не в курсе всей этой кухни
Alexander
вообще именно такое я в первый раз встречаю
Alexander
поэтому надеюсь, что это моё ошибочное мнение
Влод
да
то как у тебя сейчас написано вроде вполне должно работать. не могу проверить правда.
и тебе видимо хочется либо написать покрасивей (вроде бы не стоит), либо расширить на другие кейзы
кана
кана
но не в мегапарсеке
кана
мегапарсек читает , и думает, что там еще один элемент идет дальше, а потом не откатывается, когда видит ошибку
Влод
а он видит запятую и не может решить по какой ветке нужно идти.
Влод
норм пазл
кана
ну, мегапарсек решить может, он идет по первой ветке в любом случае) А потом не откатывается. А чтобы откатился, нужно где-то try заюзать
Влод
ну просто many ('a' *> ',') *> 'b'
кана
нужна еще запятая перед b
Влод
если есть кейз без b
many ('a' *> ',') *> ('b' <|> 'a') хотя тут наверное опять не сработает
Alexander
это не сработает
Leonid 🦇
@qnikst смущает меня третий доклад на фпрог :)
Denis
про хиккиморфизм?
Leonid 🦇
Ага
Alexander
@lonokhov чем?
Alexander
тем что можно не ездить на fprog и fby чтобы его послушать?
A64m
в следующие 10 лет LML/HBC вырос в 10 раз, не удивлюсь, если его размер скоростью компиляции и был лимитирован
Зигохистоморфный
о Хикки уже все сказано https://thedeemon.livejournal.com/87320.html
A64m
не сказал бы, что это все, что о нем сказать можно
Зигохистоморфный
костылятор
A64m
там раскрыта только его "инноваторская" сторона, а доказывающая что все хорошее не нужно раскрыта слабо
Зигохистоморфный
A64m
да хотя-бы недавнюю историю про типы и рекорды
A64m
также у него была программная лекция о том, что он считает вредным и ненужным, довольно давно уже
Зигохистоморфный
также у него была программная лекция о том, что он считает вредным и ненужным, довольно давно уже
это все потому что он математику не понимает! так бы хоть изоморфизмы научился строить
A64m
только сейчас заметил
"Пользователь si14 сослался на вашу запись в своей записи «Задний ум хаскелиста»"
Denis
нижний ум кложуриста
Denis
надо было хикки оставаться в музыке!
Leonid 🦇
Кложуристы наверное самые мутные лисперы, лисп у них так себе а понтов много
Зигохистоморфный
О! У Гонзалеса был маразм? http://www.haskellforall.com/2012/05/scrap-your-type-classes.html
Quet
нормальный лисп у них
Quet
не хуже других лиспов
A64m
самый адовый лисп и самые поехавшие лисперы - это коммон лисп
Зигохистоморфный
лисп уже нарушил понятие Карри-Говард соответствия
Quet
кложа была бы совсем хорошая если бы тулинг не тормозил так и типов завезли
Quet
а так на больших проектах становится как и на любом языке без типов -- грустно
A64m
О! У Гонзалеса был маразм? http://www.haskellforall.com/2012/05/scrap-your-type-classes.html
Гонзалес постоянно через какие-то периоды странности проходит, я думал все уже привыкли
Leonid 🦇
Рэкет же самый крутой схемолисп в наше время
A64m
смотря что понимать под "крутой"
Aleksei (astynax)
Racket - отличная штука. Но с либами печаль...
Leonid 🦇
Так у них же вызов явы считается зашкваром
Aleksei (astynax)
Так у них же вызов явы считается зашкваром
Конечно нет :) Любая книга по кложе скажет "Clojure - hosted language, так что любите интероп"
Aliester
звучит как-то противоречиво
Aleksei (astynax)
Clojure потому и работает на JVM, чтобы поиметь либы жавовы. Это было стратегическое решение. И Хикка об этом всегда говорит
Leonid 🦇
Ну может, конечно
Aleksei (astynax)
Причем интероп вполне приемлемо сделан, в т.ч. и синтаксически - этого не стали бы делать, буде хождение в жаву зазорно
Quet
Причем интероп вполне приемлемо сделан, в т.ч. и синтаксически - этого не стали бы делать, буде хождение в жаву зазорно
(см. интероп в элме который делали так чтобы им пользоваться не хотели)
Aleksei (astynax)
В эльме такой интероп, который максимально изолирует. Ну и подталкивает к написанию чисто-эльмовых либ :)
Quet
ну я о том же
Leonid 🦇
Взгляды на интероп Хикки и сообщества могут и не совпадать.
Leonid 🦇
Или не могут?
Aleksei (astynax)
Сообщество широко паразитирует на жавалибах
Leonid 🦇
Более бог чем Семёны у нас?
Aleksei (astynax)
Конечно
Aleksei (astynax)
Уровня Пайка
Leonid 🦇
Жуть
Anatolii
Aleksei (astynax)
У нас Семёны, это майары типа: Пейтон Джонс Белый, Мейер Карий, вот это всё
A64m
Семены что-то плохо идеологию транслируют, непонятно кто еретики, а кто нет
Aleksei (astynax)
Илуватар запретил напрямую рулить людишками
Leonid 🦇
А вот почему снойман в сарумана автокорректится
A64m
Еще к вопросу о влиянии семенов, я тут недавно упоминал новую линзолибу, про которую был доклад, а ей звезд не поставили. так вот, во время доклада SPJ из зала выступил о том, как ему нравится идея и что проблемы вполне преодолимы. Но это вообще не помогло
Aleksei (astynax)
One Yesod(Stack?) to rule them all!
Leonid 🦇
A64m ну что он там может видеть из башни своей...
Aleksei (astynax)
Картина "Снойруман, сидит и видит (в палантире), что в интернетах кто-то неправ"
Зигохистоморфный
Alexander
optics?