Alexander
но дать ей более точную интепретацию парсер не может
Cheese
но на всякий случай вот foo!bar и foo это токены, но у foo!bar ещё нужно доразбирать, нужно сказать, что там есть части [foo, !bar]
противоречит понятию токена, как я его понимаю. получается, что у тебя foo!bar — составной терм из токенов, и надо его возвращать как один терм, но составной
Cheese
а я понимаю токены атомарными
Alexander
возможно, или просто возвращать как токен, и потом получатель его будет дальше парсить
Alexander
или возвращать [foo,!,bar]
Евгений
Alexander
но тогда на уровне выше, кажется все сложно будет
Евгений
Если у тебя что-то может быть разделено, то это уже не токен
Alexander
т.к. мне нужно будет возвращать [foo,space,foo,!,bar,space]..
Cheese
зачем многоуровневый парсинг, если можно сразу? это какой-то URL получится, где кодируется путь, а внутри пути параметры, а внутри парамеров ещё какая-то фигня
Alexander
не уверен, что можно сразу, интерпретацияя ! bar зависит от того, что такое foo, а парсер этого знать не должен (наверное)
Alexander
но это не точно, может и сразу можно
Cheese
т.к. мне нужно будет возвращать [foo,space,foo,!,bar,space]..
это токенизация. а парсер делает [Word [foo], Word [foo, !, bar]]
Cheese
не уверен, что можно сразу, интерпретацияя ! bar зависит от того, что такое foo, а парсер этого знать не должен (наверное)
а, теперь понял. да, тогда надо unresolved AST₁ выдавать из парсера, потом проходить отдельной функцией resolve, которая будет делать AST₂ другого типа, где интерпретировать foo в соответствии с чем надо
Yura
А в хаскеле есть функция, которая для типа отдаёт строку с его именем?
Yura
например showType :: Maybe Int Maybe Int
Алексей
show . typeOf?
Yura
хм...
Yura
недосмотрел что у TypeRep есть Show
Yura
спасибо
undefined
Еще в пакете template-haskell есть nameBase, которая не требует Typeable
Yura
спасибо
Cheese
Typeable всегда есть вроде бы
Denis
Typeable есть начиная с 7.10
Алексей
В последних GHC, как я помню. Но констрейнт всё равно придётся протягивать явно
Cheese
если речь идёт о конкретном типе, то не придётся ничего протягивать
Cheese
а template-haskell применим только к конкретным типам
Kirill
@qnikst а если объявлена FFI функция и не используется, то на отсутствие самой сишной функции линкер ругнётся только в случае, когда она используется? Ленивость вид в профиль?
Alexander
вроде бы да
Alexander
ты же можешь долинковывать?
Kirill
в каком смысле долинковывать?
Евгений
LD_PRELOAD?
Сергей
Товарищи, есть ли здесь Александр Крупенкин ?
Dmitry
или знает ли кто, как с ним связаться
Yura
a.k.a. akru
Антон
но там было за счет того, что на больших данных в си возрастала фрагментация кучи, в то время как в haskell сжимающий сборщик
Так, а вот про сжимающий сборщик я не знал. Ещё любопытнее, что такая ресурсоёмкая вещь позволила обогнать C
Taras 🦀
рребят, добрый вечер есть вопрос
кана
Это хорошо, что есть вопрос
Taras 🦀
в хаскеле я новычек, в эрланге — середнячек вроде, не суть, вопрос в другом хочется мне странного — научить комп писать в файлик разное, в зависимости от того что я набормочу в микрофон при этом не пользоваться гугл спич апи, или еще какое — тоесть чтобы минимальное хоть что-то у меня локально получалось нагуглилось такое — https://cmusphinx.github.io/wiki/ https://github.com/sboosali/speech-recognition собственно вопрос — куда копать, что именно искать, какие вопросы дядьке гуглю задавать? может кто уже такого что-то делал, что-то посоветовать может и у меня убунта с lxde (воможно есть отличия от lubuntu какие, пока еще не знаю, на линуксе не сильно давно)
Taras 🦀
гугл на локалку ведь никак... haskell + cmusphinx = ? не катит как вариант?
Oleg
Добро пожаловать! Уже знаешь что-нибудь о Haskell, или тебе рассказать?
Oleg
Аааа типа ты сливался на нон-флуд неделю?
A64m
да
A64m
и в следующую неделю я собираюсь отвечать на что-то из того, что тут понаписали за предыдущую
Alexander
ну там не так и много чего написали
Dmitry
Ну ещё сутки потерпеть и можно снова нормально общаться
Ю ли я? 🤔
Поставил vscode с hie, а он на любую команду (goto definition, show type etc.) пишет "Loading..." и всё, чего ему не хватает?
Dmitry
Контента?
Ю ли я? 🤔
Как его ему предоставить?
Ю ли я? 🤔
А то он будто бы даже в рамках единственного файла ничего не видит
Dmitry
Дык, "телепаты в отпуске"
Dmitry
Давай больше инфы
Dmitry
Логи, etc.
Ю ли я? 🤔
No problems have been detected in the workspace so far. Других логов не вижу
Ю ли я? 🤔
Вроде починил перегенерацией haddock.
Alexander
Нонфлуд-неделя закончилась :)
Anonymous
Нонфлуд-неделя закончилась :)
какие выводы можно сделать? достигнуты ли заявленные цели?
Евгений
Здравствуйте, этот чат про хаскель? Как установить emacs в качестве основной ОС?
Anonymous
и вообще эффективна ли политика запретов?
Евгений
Не подкреплённая аппаратом насилия — конечно нет
IC
Давайте отсмотрим ленту на неделю назад и посмотрим - нравится ли она больше, чем то, что было до этого.
IC
Надо их сопоставить с отсутствием страданий у тех, кто страдал от флуда.
Евгений
Страдающие даже отдельный чат создали. А у нас чата нет
IC
Лично моё мнение по итогам, что надо для флуда сделать отдельный канал (общий с beginners), а в тематичном устроить перманентный порядок.
IC
Как в гиттере короче.
Ю ли я? 🤔
И вопросы новичков будут теряться в неудержимом потоке флуда (извините за тавтологию)
Евгений
Оффтопик-чат превратится тогда в полную шизофазию
Евгений
А смысл оффтопика в комментирировании чего-то осмысленного
IC
И вопросы новичков будут теряться в неудержимом потоке флуда (извините за тавтологию)
Не, общий в смысле, что из новичкового будут тоже направлять потоки Ци в этот же канал.
IC
Оффтопик-чат превратится тогда в полную шизофазию
А так основной является наполовину шизофазийным.
Ю ли я? 🤔
Может, как на Фриноде, #haskell-blah?
Евгений
Не понимаю смысла разделять основной чатик и стартовый тогда. Потому что 99.999% онтопика это новичковые вопросы
Евгений
Энджой, но дичь это и есть оффтопик (или теоркат и тайпфиори, но про них есть отдельные чаты)
IC
Не настолько дичь...
Евгений
Пример тогда