имеет ли смысл тут с линзами или не мучаться и case написать

data Bar a = Bar U V a data Baz q b = BazL q | BazR b | Baz type Q = Bar (Baz K L) f :: U -> V -> K -> IO Щ g :: U -> V -> L -> IO Ц magic :: Q -> IO (Bar (Barz Щ Ц)

Ш, Ц напомнило Ж.Optic :D

если бы оно ещё и все быстро работало, то наверное надо было бы линзы использовать т.к. код проще и убирает бойлерплейт

на самом деле у меня там +1 слой, но это не важно

traverse его тупо сохраняет

7 строк вместо 2 :/

Какая стандартная функция лучше всего подходит под case следующего вида? x <- case someMaybeValue of Nothing -> pure Nothing Just v -> foo v Где foo имеет тип foo :: a -> IO (Maybe b) (то есть у x в итоге будет тип Maybe b).

MaybeT IO >>= вроде fmap join . traverse foo ещё мб

Я бы хотел ещё короткий код... Что-то в духе x <- runMaybeT $ maybeToMaybeT someMaybeValue <|> MaybeT foo не особо много выигрыша даёт...

maybe (pure Nothing) foo someMaybeValue ?

maybe (pure Nothing) foo someMaybeValue ?

Сойдёт на первое время 👍

https://www.amazon.com/gp/aw/d/1787281396

Вон оно чо

Го и в фп может

Народ, так что же такое фп?

Тут недавно набросы были, что вроде как рекурсия не нужна и фп это скорее теоркат, чем програмирование само по себе

все верно

фп это теоркат, потому что оно про функции а функции это стрелки

да и объекты легко представить себе как функции

а рекурсия и прочие штуки, ну они и в теоркате есть, но не на первом месте

То есть буква П в фп про теоркат?

да

😃

словосочетание "прикладная математика" тебе о чем то говорит?

Не могу понять, какой это уровень иронии

😃

я без иронии если что

программирование это раздел математики, фп это теоркат в рамках этого раздела

точнее группа разделов математики

И тут Остапа понесло 😃

я в общем то серьезно. Никого же не говорит что инженер занимается сопроматом а не проектирует мост

Математик видит аналогии, хороший математик видит аналогии между аналогиями, а самые лучше математики не могут отличить ФП и теоркат

а в чем отличие, кстати? ФП это прикладной теоркат

Ну хватит уже

нет. серьезно, ты говоришь чтоя не могу отличить, но если ты можешь, то в чем отличие?

во всем? ФП это про программирование с функциями, а теоркат это про отношения между математическими объектами

куски ФП можно представить математическими объектами и применить к ним теоркат, но это узкое пересечение

высокоуровневое программирование это про отношения между объектами

и да, в фп они математические

а программирование с функциями это структурное программирование, если что

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

> а программирование с функциями это структурное программирование Товарищ, что ты несешь, прекрати. Структурное программирование это без goto, это про if-then-else и while.

И там вообще не обязаны фигурировать функции никакие

Товарищи, вы не хотите продолжить абсурдные дискуссии в _blah?

Это куда ты нас послал щас?

Я вообще не вижу тут никакой дискуссии, я до сих пор пытаюсь понять, надо мной издеваются или нет

Я думаю человек просто передёргивает, но в целом разделяет высказанное мнение

ответил владиславу в blah, а его там нет :(

присоединился в _blah чтобы тоже ответить, но быстро об этом пожалел

> > It would be nice to have a real-time mode for the GC or something that is tuned for games and such. GC choppiness seems to be major point of cricitism that I’ve seen. > I actually have some rather exciting news on this front but we're not quite ready to lift the covers yet. так так так, дайте угадаю, очередной новый гц который недоделают и он сгниет?

а что с гц в гхц?

сейчас

параллельный, но не псевдоконкурентный, как в яве и дотнете >10 лет назад были

параллельный, но не псевдоконкурентный ?

ну да

Параллельный наверное в смысле забивания всех ядер компа

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

Кто-то видел библиотеки которые реализуют TCP fast open ? moesocks я уже нашёл

Зачем нужен анаморфизм если есть прямая рекурсия?

параллельный, но не псевдоконкурентный, как в яве и дотнете >10 лет назад были

А сейчас у них лучше?

конечно, псевдоконкурентные

Интересно, предвитится ли такое у нас.

ну, я цитировал выше намеки как раз на такое, по всей видимости

другое дело, что я бы особо не рассчитывал

Интересно, а eta лучше собирает мусор, чем аналогичный ghc?

в чем-то лучше, в чем-то хуже

явовский сборщик в смысле пауз может быть лучше, но для нормальной работы ленивого ФЯ нужны специальные фичи ГЦ

явовский сборщик в смысле пауз может быть лучше, но для нормальной работы ленивого ФЯ нужны специальные фичи ГЦ

А какие именно?

А какие именно?

https://osa1.net/posts/2018-03-16-gc-optimizations.html 2 и 3

кметт любит рассказывать историю, что если отключить 3-ю, гхц не может собрать гхц

вот вам забавная странность

GHCi, version 8.4.3: http://www.haskell.org/ghc/ :? for help Prelude> newtype Test = Test { some :: Int } Prelude> foo test{ some = 5 } = undefined <interactive>:2:5: error: Parse error in pattern: test {some = 5} Prelude> foo test{ .. } = undefined <interactive>:3:5: error: You cannot use `..' in a record update Prelude>

всё правильно

второе сообщение не самое очевидное, да

про то и речь

ошибка есть, а сообщение дурацкое

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

Хм. Отличный способ защиты от ботов. Всем привет! ) В хаскеле я начинающий, поэтому буду либо в ридонли, либо задавать достаточно наивные вопросы. Но если смогу быть чем-то полезен, постараюсь делать посильный вклад.

Хм. Отличный способ защиты от ботов. Всем привет! ) В хаскеле я начинающий, поэтому буду либо в ридонли, либо задавать достаточно наивные вопросы. Но если смогу быть чем-то полезен, постараюсь делать посильный вклад.

Привет. Есть еще чат для вопросов по haskell от новичков @haskell_learn

Привет. Есть еще чат для вопросов по haskell от новичков @haskell_learn

Спасибо, взгляну.