уверен что когда-то это читал

Рекурсивность ADT делается при помощи Mu, и функтор из которого делается тип складывается из нескольких независимо определенённых типов. И интерпретатор для тайпклассов, да

Я гуглить умею, спасибо. Ответ ожидаю такой: композиция функторов + тайпклассики для интерпретатора.

о, теперь и я понял, о чём это

Рекурсивность ADT делается при помощи Mu, и функтор из которого делается тип складывается из нескольких независимо определенённых типов. И интерпретатор для тайпклассов, да

а для чего кроме эффектов юзают?

олеговщина всякая попадается http://okmij.org/ftp/Haskell/extensible/extensible-a-la-carte.html

> The goal is to define a data type by cases, where one can add new cases to the data type and new functions over the data type, without recompiling existing code, and while retaining static type safety.

Мне для раширяемого ADT, но я пока не уверен, что это мне вообще надо

> The goal is to define a data type by cases, where one can add new cases to the data type and new functions over the data type, without recompiling existing code, and while retaining static type safety.

на expression problem похоже

походу оно и есть

да

> As the second example illustrates, we can also write and evaluate expressions of type Expr (Val :+: Mul), thereby leaving out addition. In fact, once we have a menu of expression building blocks, we can assemble our own data types à la carte.

ничотак, миленько...

кажется, пробегал где-то общий тайпкласс — абстракция над Аттопарсеком и Мегапарсеком. кто-нибудь помнит название?

для аттопарсека и парсека вроде parsers был

ага, есть там такой класс

для аттопарсека и парсека вроде parsers был

спасибо

a la carte, recursion schemes, compdata, compstrat и тд

Рекурсивность ADT делается при помощи Mu, и функтор из которого делается тип складывается из нескольких независимо определенённых типов. И интерпретатор для тайпклассов, да

не только, есть Mu/Nu есть Fix так вот в хаскеле они особо не различимы Mu ~ Fix ~ Nu

госпади

сколько же раз ты это писал уже

сколько же раз ты это писал уже

я тебе это вспомню когда ты очередной 100500 раз про законы функторов будешь писать

или еще какую дичь, что ты 100500 раз повторяешь

Я к таким вещам отношусь по рабоче-крестьянски. Неразличимы? Одно и то же

лол, окей, мне интересно даже, как два раза (в разных чатах) сравнится с ежедневной мантрой про fix~nu~mu в телеге, твиттере, ютубе, везде подряд при этом без контекста из определений, то есть тупо фраза ради фразы

Я к таким вещам отношусь по рабоче-крестьянски. Неразличимы? Одно и то же

более того, Fix может быть как переход между несколькими рекурсивными ADT у которых один общий базовый функтор

А можно подробнее?

А можно подробнее?

ну пурскрипт пойдет?)

Давай

Давай

ну вот смотри, у них общий базовый функтор TreeF, и я могу переходить от одного к другому просто через refix https://github.com/xgrommx/purescript-experiments/blob/master/src/Main.purs#L59-L63

А где опредления Mu, Nu, refix?

А где опредления Mu, Nu, refix?

Mu/Nu тут не надо

нашел

тут есть свой базовый функтор TreeF

В описании у чувака в профиле на гитхабе: Able to write 1k+ lines of Golang code per day.

Реализуя полиморфизм перегрузкой?

мультикурсор, написал пару функцию для разных типов и вот они - 1к строк

В описании у чувака в профиле на гитхабе: Able to write 1k+ lines of Golang code per day.

Небось и выглядит соответствующим образом?

всего одним макросом в виме

"наговнякать, не приходя в сознание"

А кто тут в чате был из Сбертеха?

​​Сбербанк, это фиаско Машинлёрнинг, говорите? Тут внезапно выяснилось каким образом Сбербанк выявляет "финансирование террористов", и блокирует счета юриков. Тупо список ключевых слов. И в основном, далекие от терроризма. Например, слово «Агент». Блокируется все переводы со словами в назначении платежа «за химический реАГЕНТ», «по АГЕНТскому договору» и т.д. Пострадавшие (а их уже много) свидетельствуют: в банке отвечают, мол, ничего сделать не можем, блокируется автоматически, собирайте документы, и не забудьте взять справку, что вы не террорист. Боюсь проверять, но по слову «Госдеп» или «Суперагент», наверное, не просто блокируют, но и сигнал на пульт ФСБ поступает. @infernal_money Кстати, на ютюб-канале «Адские бабки» уже вышел видос, как избежать блокировки счета, и образец жалобы в прокуратуру, велкам.

вот это реклама

вот это реклама

У них все посты такие. Но подход с ключевиками хорош, не правда ли?

Подскажите, пожалуйста, при запуске программы $ ./Main +RTS -Dg Где почитать про флаг -Dg? Не смог найти в документации GHC. Особенно интересует, что есть MUT, про который он пишет.

http://downloads.haskell.org/~ghc/latest/docs/html/users_guide/runtime_control.html#rts-flag--D%20%E2%9F%A8x%E2%9F%A9

есть же всё?

есть же всё?

Это я нашёл, но там нет про g.

Use +RTS -? to find out which debug flags are supported.

Я думал, есть где-то документация…

Нет GHC сейчас рядом (и вообще компьютера)

у меня по данным флагам ничего внятного не видать :(

у меня по данным флагам ничего внятного не видать :(

Я понял, спасибо за отзыв всё равно! Если что, я смотрел на это: https://ghc.haskell.org/trac/ghc/ticket/14997

собрал с -debug, выдаёт

-Ds DEBUG: scheduler -Di DEBUG: interpreter -Dw DEBUG: weak -DG DEBUG: gccafs -Dg DEBUG: gc -Db DEBUG: block -DS DEBUG: sanity -Dt DEBUG: stable -Dp DEBUG: prof -Da DEBUG: apply -Dl DEBUG: linker -Dm DEBUG: stm -Dz DEBUG: stack squeezing -Dc DEBUG: program coverage -Dr DEBUG: sparks -DC DEBUG: compact

сойдёт @ulysses4ever ?

сойдёт @ulysses4ever ?

Это лучше, чем ничего, спасибо! Надо, видимо, почитать про GC Commentary, чтобы понять что есть MUT…

не, ну это-то просто, с той же страницы хелпа - "The amount of CPU time and elapsed wall clock time while initialising the runtime system (INIT), running the program itself (MUT, the mutator), and garbage collecting (GC)"

т.е. по сути это полезная нагрузка

не, ну это-то просто, с той же страницы хелпа - "The amount of CPU time and elapsed wall clock time while initialising the runtime system (INIT), running the program itself (MUT, the mutator), and garbage collecting (GC)"

Да, действительно, спасибо

мультикурсор, написал пару функцию для разных типов и вот они - 1к строк

Я смутно помню, что было какое-то развитие идей data types a la carte, или что-то похожее на них. Но не помню названия. Никто не помнит?

trees that grow?

или либа?

Надо почитать

Подскажите, пожалуйста, при запуске программы $ ./Main +RTS -Dg Где почитать про флаг -Dg? Не смог найти в документации GHC. Особенно интересует, что есть MUT, про который он пишет.

ghc -help

Это я нашёл, но там нет про g.

надо -D смотреть g это к какой подсистеме

надо -D смотреть g это к какой подсистеме

Спасибо

Это лучше, чем ничего, спасибо! Надо, видимо, почитать про GC Commentary, чтобы понять что есть MUT…

мутатор - нормальная работа программы

мутатор - нормальная работа программы

Спасибо!

@qnikst ^

пасибо

Как правильно паковать ресурсы (.rc) под винду? сейчас делаю так: 1 кастомный билд кабал с хуком, где компилирую ресурсы windres-ом 2 в .cabal (или package.yaml) направляю скомпилированный файл ресурсов .o в ghc через ghc-options, что мне кажется не вполне верным идейно. Но это работает Как это делать правильно?

Хм... Неожиданно: https://twitter.com/reiddraper/status/981285329314500613

в вакансии ни слова про хаскелл, может чисто для привлечения внимания?)

думаю потому что там это не главный критерий

больше упирают на PL Theory

я же говорю рубисты мечтают о хаскеле

что ж поделать, хаскель и руби -- два языка с чистой метафорой: фп и ооп ;)

Так про компиляцию ресурсов никто не знает? На просторах интернета так и не смог найти ответа

Мало кто пишет на Haskell под Windows да ещё и десктопные приложения

Поэтому и не отвечают, думаю