а у меня кода почти и нету

вообще какой-то блаблабла получается :((

норм

блаблакод

может после экзистенциальных фри монад оно и лучше даже зайдёт

в общем похоже самый поганый доклад

надо бы мемчиков вставить и кложуристов потроллить

может после экзистенциальных фри монад оно и лучше даже зайдёт

это где так?)

data Bla = Bla Bla

это где так?)

это у @graninas

ага, а записи, слайды будут?)

опа, что за экзистенциальные фри-монады

в прошлый раз было, но это было в другой конторе)

опа, что за экзистенциальные фри-монады

fprog видимо

проверил, работает -- | -- >>> :step foo 3 -- ... -- >>> bar 2 -- 50 foo :: Int -> Int foo x = bar x where bar y = x + y ### Failure in src/Main.hs:7: expression `bar 2' expected: 50 but got: 5 Examples: 2 Tried: 2 Errors: 0 Failures: 1

выглядит интересно, а как это запускать? нашёл в репах doctest, поставил через apt. Выдает $ doctest test2.hs test2.hs:6:1: parse error on input ‘foo’

ну просто сам термин странноватый экзистенциальные типы (с каким-то монадным классом-интерпретатором в tagless стиле, или сразу с объектом методов с монадным инстансом результатов) дают нам почти то же самое, что и фримонады с разными интерпретаторами (только "отложенно"), зачем их совмещать

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

я думаю это шутка была

допилить

> eDSL для графа переходов на free-монадах и экзистенциальных типах звучит не так забавно

у этого в кабал файле прописан test-suite doctests type: exitcode-stdio-1.0 main-is: doctests.hs build-depends: base, doctest >= 0.8 default-language: Haskell2010 а в этом самом doctests.hs import Test.DocTest main = doctest ["-isrc", "src/Main.hs"] запускается как и любые другие тесты, stack test например

@Masteroid ^

у этого в кабал файле прописан test-suite doctests type: exitcode-stdio-1.0 main-is: doctests.hs build-depends: base, doctest >= 0.8 default-language: Haskell2010 а в этом самом doctests.hs import Test.DocTest main = doctest ["-isrc", "src/Main.hs"] запускается как и любые другие тесты, stack test например

а без кабала никак нельзя? вот первый же пример отсюда https://ocharles.org.uk/blog/posts/2013-12-18-doctest.html у меня тоже падает с parse error

можно, но без кабал файла никто ничего не делает

а что за cabal doctest?

не ну кто-то делает наверняка но это дико геморно наверное, вручную зависимости качать, как-то собирать их

а без кабала никак нельзя? вот первый же пример отсюда https://ocharles.org.uk/blog/posts/2013-12-18-doctest.html у меня тоже падает с parse error

To run this, we have two options. One is to simply use the doctest executable: > doctest 2013-12-18-square.hs Examples: 1 Tried: 1 Errors: 0 Failures: 0 ^^ мне бы это сначала хотя бы сделать

https://github.com/haskell/cabal/blob/master/Cabal/Distribution/Simple/Doctest.hs уже год как есть

To run this, we have two options. One is to simply use the doctest executable: > doctest 2013-12-18-square.hs Examples: 1 Tried: 1 Errors: 0 Failures: 0 ^^ мне бы это сначала хотя бы сделать

вместо этого получаю $ doctest 2013-12-18-square.hs 2013-12-18-square.hs:6:1: parse error on input ‘square’

или лыжи не едут...

а что за cabal doctest?

никогда не пробовал им пользоваться

вместо этого получаю $ doctest 2013-12-18-square.hs 2013-12-18-square.hs:6:1: parse error on input ‘square’

поставлен вот этот пакет "doctest - test interactive Haskell examples; executable" не понимаю, почему не работает. ghci эти файлы прекрасно кушает, если что

не понимаю, зачем пытаться что-то сделать каким-то специальным способом, с которым никто помочь не может, потому, что никто им не пользуется?

cabal doctest не для new

:(

вместо этого получаю $ doctest 2013-12-18-square.hs 2013-12-18-square.hs:6:1: parse error on input ‘square’

Разобрался. Надо было добавить в шапку .hs файла module Test where. Без названия модуля не парсил :)

Разобрался. Надо было добавить в шапку .hs файла module Test where. Без названия модуля не парсил :)

$ doctest test1.hs Examples: 1 Tried: 1 Errors: 0 Failures: 0 $ doctest test2.hs test2.hs:4:1: parse error on input ‘foo’ $ cat test1.hs module Test where -- | -- >>> foo -- 5 foo = 5 $ cat test2.hs -- | -- >>> foo -- 5 foo = 5

выглядит как баг anyway

переименуй test2 в main

в файле без module Blah where обязан main быть

иначе некорректный хаскель

иначе некорректный хаскель

видимо так. просто привык маленькие программки без module where писать, ghci их прекрасно кушал, ghc Тоже

угу

буду знать теперь

Меня хайлайтили где-то?

ага, а записи, слайды будут?)

Слайды будут обязательно.

Слайды будут обязательно.

?

так последние часы чтобы начать делать слайды

так последние часы чтобы начать делать слайды

РКН пытался тебе помочь тем, что всячески блочил Телеграм.

он заставлял меня настроить VPN на этом ноуте

и всячески отвлекал

ладно вроде покатит то что есть

а если придумать как вставить пару обидных мемасиков, то тогда как раз время под веселые вопросы останется

но я не умею обидные мемы искать

Прости, если обидела) шутки у меня злые)

если это была злая шутка, то я её не понял : /

во всяком случае не воспринял как злую

=)

@A64m_qb0 вопросики где были для типовых переменных?

Или звёздочки

ERROR: S client not available

Шпиены

@A64m_qb0 это какой год?

сам шпиён

Я шпиеню за шпиенами. Я дуален. Кошпиен

Меташпиён!

где вопросы были не помню, и это не ПМ (из паттернов ничего не байндится)

звёздочки это ж Миранда?

map :: [*] -> (* -> ) -> []

там тоже были, но это из МЛя

тупой телеграм

combot.org/chat/-1001043143583

Язык фуфло, бэкендов много

Fooflang

Fooflow

как узнал что стейт в редаксе хендлится через свитч

так мерзко стало

так ну а как

хотя мне кажется ты не туда пишешь)

ага, а записи, слайды будут?)

Слайды: https://docs.google.com/presentation/d/1A5hdUPceHx0H5NeQ_20iOFLsNrqJs_nPTBaJ2_eIAVo/edit?usp=drivesdk Позже на что-нибудь вменяемое залью

кстати, мне бы очень помогли сигнатуры у комбинаторов, ты там потом их объяснил, но мне не очевидно сначала было

Недоработал, исправлюсь

Недоработал, исправлюсь

BackT это бектрекинг?

Но мнп показалось, что другим норм было. Чтобы суть оставалась понятной, а то там внутри все такое

BackT это бектрекинг?

Ну видимо да. Но это неточно

Ну видимо да. Но это неточно

ну так ListT и LogicT похожее делают

Я, кстати, не полностью уверен, что он не монада. Ссылался на чувака, сам не проверял

LogicT правильный с тз монадности

но он не совсем как бэкт работает (вроде)

LogicT правильный с тз монадности

ну он как раз умеет разруливать зацикливающиеся графы

Я, кстати, не полностью уверен, что он не монада. Ссылался на чувака, сам не проверял

а чего у тебя свой Exists (походу порт с пурсы) а не идея с forall?