вот так что ли? class Num a => Human a where data Human a = Age a | Dead

Ну нет, я имел в виду, что там где юзаешь Human ставишь ограничение на a. burn : Num a => Human a -> Human a

{-# LANGUAGE RankNTypes #-} data Human a = Alive (Num a => a) | Dead

Но так оч красиво

здесь число по хаскелю можно писать или по функциональным зякам? не умере ть - фрукты как первый шаг, лучше пока не знаю

Ну нет, я имел в виду, что там где юзаешь Human ставишь ограничение на a. burn : Num a => Human a -> Human a

понятно

вообще обычно так и делают

а то потом захочется сделать какой-нить traverse и не получится

вообще обычно так и делают

Как?

как ты написал

Нужно изменить тактику. Задавить оффтопик продуктивным общением по делу.

начинай

опять к недооформленным вопросам по парсерам

вот у меня есть текст fooo foo!bar "qoobidooh foo!bar"

так.. пока писал вопрос исчерпался

но на всякий случай вот foo!bar и foo это токены, но у foo!bar ещё нужно доразбирать, нужно сказать, что там есть части [foo, !bar]

это разумно разделять и возвращать полный токен, а потом его парсить или нет?

А какой второй чат еще есть?

@haskell_learn

пасиб

но на всякий случай вот foo!bar и foo это токены, но у foo!bar ещё нужно доразбирать, нужно сказать, что там есть части [foo, !bar]

А у тебя foo!bar и foo !bar это одно и то же или нет?

парсер этого не знает

Вообще без синтаксиса ответить однозначно нельзя

т.е. это потом человек решит

т.е. foo это или литерал или ссылка

foo!bar точно ссылка

но дать ей более точную интепретацию парсер не может

но на всякий случай вот foo!bar и foo это токены, но у foo!bar ещё нужно доразбирать, нужно сказать, что там есть части [foo, !bar]

противоречит понятию токена, как я его понимаю. получается, что у тебя foo!bar — составной терм из токенов, и надо его возвращать как один терм, но составной

а я понимаю токены атомарными

возможно, или просто возвращать как токен, и потом получатель его будет дальше парсить

или возвращать [foo,!,bar]

или возвращать [foo,!,bar]

Лучше так

но тогда на уровне выше, кажется все сложно будет

Если у тебя что-то может быть разделено, то это уже не токен

т.к. мне нужно будет возвращать [foo,space,foo,!,bar,space]..

зачем многоуровневый парсинг, если можно сразу? это какой-то URL получится, где кодируется путь, а внутри пути параметры, а внутри парамеров ещё какая-то фигня

не уверен, что можно сразу, интерпретацияя ! bar зависит от того, что такое foo, а парсер этого знать не должен (наверное)

но это не точно, может и сразу можно

т.к. мне нужно будет возвращать [foo,space,foo,!,bar,space]..

это токенизация. а парсер делает [Word [foo], Word [foo, !, bar]]

не уверен, что можно сразу, интерпретацияя ! bar зависит от того, что такое foo, а парсер этого знать не должен (наверное)

а, теперь понял. да, тогда надо unresolved AST₁ выдавать из парсера, потом проходить отдельной функцией resolve, которая будет делать AST₂ другого типа, где интерпретировать foo в соответствии с чем надо

А в хаскеле есть функция, которая для типа отдаёт строку с его именем?

например showType :: Maybe Int Maybe Int

show . typeOf?

хм...

недосмотрел что у TypeRep есть Show

спасибо

Еще в пакете template-haskell есть nameBase, которая не требует Typeable

спасибо

Typeable всегда есть вроде бы

Typeable есть начиная с 7.10

В последних GHC, как я помню. Но констрейнт всё равно придётся протягивать явно

если речь идёт о конкретном типе, то не придётся ничего протягивать

а template-haskell применим только к конкретным типам

@qnikst а если объявлена FFI функция и не используется, то на отсутствие самой сишной функции линкер ругнётся только в случае, когда она используется? Ленивость вид в профиль?

вроде бы да

ты же можешь долинковывать?

в каком смысле долинковывать?

LD_PRELOAD?

Товарищи, есть ли здесь Александр Крупенкин ?

или знает ли кто, как с ним связаться

a.k.a. akru

но там было за счет того, что на больших данных в си возрастала фрагментация кучи, в то время как в haskell сжимающий сборщик

Так, а вот про сжимающий сборщик я не знал. Ещё любопытнее, что такая ресурсоёмкая вещь позволила обогнать C

рребят, добрый вечер есть вопрос

Это хорошо, что есть вопрос

в хаскеле я новычек, в эрланге — середнячек вроде, не суть, вопрос в другом хочется мне странного — научить комп писать в файлик разное, в зависимости от того что я набормочу в микрофон при этом не пользоваться гугл спич апи, или еще какое — тоесть чтобы минимальное хоть что-то у меня локально получалось нагуглилось такое — https://cmusphinx.github.io/wiki/ https://github.com/sboosali/speech-recognition собственно вопрос — куда копать, что именно искать, какие вопросы дядьке гуглю задавать? может кто уже такого что-то делал, что-то посоветовать может и у меня убунта с lxde (воможно есть отличия от lubuntu какие, пока еще не знаю, на линуксе не сильно давно)

в хаскеле я новычек, в эрланге — середнячек вроде, не суть, вопрос в другом хочется мне странного — научить комп писать в файлик разное, в зависимости от того что я набормочу в микрофон при этом не пользоваться гугл спич апи, или еще какое — тоесть чтобы минимальное хоть что-то у меня локально получалось нагуглилось такое — https://cmusphinx.github.io/wiki/ https://github.com/sboosali/speech-recognition собственно вопрос — куда копать, что именно искать, какие вопросы дядьке гуглю задавать? может кто уже такого что-то делал, что-то посоветовать может и у меня убунта с lxde (воможно есть отличия от lubuntu какие, пока еще не знаю, на линуксе не сильно давно)

искать - speech to text по качеству в открытом доступе ничего лучше гугла нет тема сложная из серии bleeding edge и не относится к хаскеллю (надо идти к дата сатанистам)

гугл на локалку ведь никак... haskell + cmusphinx = ? не катит как вариант?

Добро пожаловать! Уже знаешь что-нибудь о Haskell, или тебе рассказать?

Аааа типа ты сливался на нон-флуд неделю?

да

и в следующую неделю я собираюсь отвечать на что-то из того, что тут понаписали за предыдущую

ну там не так и много чего написали

Ну ещё сутки потерпеть и можно снова нормально общаться

Поставил vscode с hie, а он на любую команду (goto definition, show type etc.) пишет "Loading..." и всё, чего ему не хватает?

Контента?

Как его ему предоставить?

А то он будто бы даже в рамках единственного файла ничего не видит

Дык, "телепаты в отпуске"

Давай больше инфы

Логи, etc.

No problems have been detected in the workspace so far. Других логов не вижу

Вроде починил перегенерацией haddock.

Нонфлуд-неделя закончилась :)

Нонфлуд-неделя закончилась :)

какие выводы можно сделать? достигнуты ли заявленные цели?

Здравствуйте, этот чат про хаскель? Как установить emacs в качестве основной ОС?

и вообще эффективна ли политика запретов?

Не подкреплённая аппаратом насилия — конечно нет

Давайте отсмотрим ленту на неделю назад и посмотрим - нравится ли она больше, чем то, что было до этого.

Давайте отсмотрим ленту на неделю назад и посмотрим - нравится ли она больше, чем то, что было до этого.

Можно ли недельные страдания оправдать результатом?

Надо их сопоставить с отсутствием страданий у тех, кто страдал от флуда.

Страдающие даже отдельный чат создали. А у нас чата нет

Лично моё мнение по итогам, что надо для флуда сделать отдельный канал (общий с beginners), а в тематичном устроить перманентный порядок.

Как в гиттере короче.

И вопросы новичков будут теряться в неудержимом потоке флуда (извините за тавтологию)

Страдающие даже отдельный чат создали. А у нас чата нет

что за чат?