...Тем временем Free-монады идут в блокчейн: https://medium.com/@ENQBlockchain/why-haskell-eacb087f3adb

Пруф? Открытая репа или не было! ;)

Пруф? Открытая репа или не было! ;)

Открыта она: https://github.com/Enecuum/Node

Открыта она: https://github.com/Enecuum/Node

Наверное было бы не плохо ещё оптимизашки от Олега втулить для фри монады

Оптимизации будут тогда, когда станет ясно, что они нужны. И не раньше, чем появятся графики с показателями (у меня в планах это в ближайшие две итерации начать делать)

К тому же недавно в кметтовском стриме он как раз разбирал это

Нельзя просто так брать и "оптимизировать", даже если очень хочется

Может выясниться, что это не главное место, на которое нужно тратить услилия. А главное, оно, например, в сетевом взаимодействии

В общем, никаких оптимизаций, пока сама проблема не обозначена

А перевести это на Church, например, не так уж и сложно

Или что-нибудь другое. У меня был опыт оптимизации free-кода (моя stm либа, причем Haskell и C++). С Кметовскими и Олеговскими предложениями по оптимизации ознакомлюсь

Inlining derived typeclass methods - Stack Overflow https://stackoverflow.com/questions/52601129/inlining-derived-typeclass-methods

Спасибо :)

Спасибо :)

Это не про оптимизации)

Ещё один нубский вопрос - как сделать двусвязный список средствами хаскеля

Как сделать связь в другую сторону? Подозреваю что где - то тут ленивость засела, но не могу понять где.

Tying the knot

??

Комбинатор неподвижной точки порядка 2?

Это общее гуглабельное название метода

Комбинатор неподвижной точки порядка 2?

чо? mutual recursion?

https://github.com/Mojang/DataFixerUpper/blob/master/src/main/java/com/mojang/datafixers/kinds/K2.java https://github.com/Mojang/DataFixerUpper/blob/master/src/main/java/com/mojang/datafixers/kinds/K1.java :D

@hollyyymollyyy будет жить. Поприветствуем!

Как сделать связь в другую сторону? Подозреваю что где - то тут ленивость засела, но не могу понять где.

Zipper не подойдёт, случаем?

Haskell. Zipper — производная от типа https://www.lovemedia.net/articles/haskell-zipper/

Добрый день всем

Все еще борюсь с проблемным ботом

ShouldBeDeleted msg -> model <# do fetch $ banUser msg fetch $ deleteMessage msg return NoOp

Все еще не пойму, как получается, что дальше fetch $ banUser msg не идут вычисления

Может там монада, короткозамыкающая?

Это как?

@PineappleZombie, и что с этим можно сделать?

Что-нибудь вроде ExceptT m

Не вызывать throwException или как его?

Ну или просто блосает где-нибудь исключение

Мож, перед do поставить traceShow msg $ ? из любопытства..

@max_vynogradov будет жить. Поприветствуем!

@antonkri будет жить. Поприветствуем!

Алекс будет жить. Поприветствуем!

node584 будет жить. Поприветствуем!

@FG3452 будет жить. Поприветствуем!

Ничоси

/ban

я ей посоветовал

вернуть?

/stat@combot

combot.org/c/-1001043143583

www.twitch.tv/ekmett

все эти вайтспейс-сенситив штуки из-за синтаксиса, который добавили в расширениях

Оно, кстати, на деле не whitespace sensitive, а от включенности -XBangPatterns зависит.

f ! a = … распарсится как bang pattern

@petrkozorezov будет жить. Поприветствуем!

https://twitter.com/backendsecret/status/1049194448196853760

https://twitter.com/backendsecret/status/1049194448196853760

но зачем?

но зачем?

лишний раз напомнить, что RESISTANCE IS FUTILE, YOU WILL BE ASSIMILATED не помешает

но зачем?

весело

жалко Зефиров не пришёл

было ещё веселее

Зефиров то поумней вас оказался

Зефиров то поумней вас оказался

потому что избегает успеха?

потому что избегает успеха?

Познал суть вещей

устал просто учить хаскель любить

не поверят, тому кто на шарпе и питоне пишет :/

OR-паттерны которые в хаскеле принимают годами и все никак не примут в расте приняли за месяц

OR-паттерны которые в хаскеле принимают годами и все никак не примут в расте приняли за месяц

а это что такое?

https://github.com/rust-lang/rfcs/pull/2535

https://github.com/rust-lang/rfcs/pull/2535

интересно, центрил оказывается может и хорошие идеи генерировать

хотя и catch был не таким плохим от него, но я всё же дизлойс тогда поставил

1) это не его идея 2) хорошая ли она - это еще вопрос

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

1) это не его идея 2) хорошая ли она - это еще вопрос

2-е тяжело без практики проверить, а так оно хоть в найтли под feature gate'ом окажется, где его можно будет пощупать

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

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

Ну оно, скорее всего, хотя бы не мешает

это-то да