с другой стороны я сейчас на VPN так что может и не работает

Где-нибудь есть хорошие обучалки по FRP? Желательно не просто очередное объяснение принципов на паре мелких примеров, а демонстрация какой-нибудь нетривиальной системы. Хорошо задокументированный проект тоже подойдёт.

Уже назад привалился

я не видел действительно хороших

Давно ищу такой пример, да

Но есть проект frp-zoo

у кого-то был хороший мануал по стрелкам и обещался про FRP продолжить

но так и не сделал

а потом потратил свой сервер

Там много разных FRP-либ хаскельных одну и ту же задачу решают

автор netwire

только с разных сторон

Автор netwire задепрекейтил netwire

Теперь он делает другую либу. wire

а у меня вот слак недавно отвалился

а слак не у всех отвалился?

У нас "корпоративный" весь день работал, коллеги не жаловались

при этом запасной конторский чат в keybase тоже лежит

и в "корпоративном" целый день работал, да

провайдер заворачивает айпишник на zapret-3.atknet.ru

ок, впны значит

Но есть проект frp-zoo

Там тоже синтетический пример, хочется чего-то real-world 😔

там квейк был

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

Frag?

Мы сейчас используем reflex-dom. Точнее, его порт на PureScript

вроде да

machines FTW

explicit FRP

Я вот в threepenny-gui тыкаюсь

У меня давно есть желание написать такое демо-приложение. Хорошее, многофункциональное. И статейки про это написать. Но тема больно сложная. Помнится, я с netwire не разобрался толком три года назад: так не компилится, этак не работает, хотя по логике должно.

Но с клоном reflex-dom (автор назвал его Specular), вроде, более-менее разобрался. Правда, это не очень-то FRP. Как сказал бы Конал Элиот, в нем не хватает денотационной семантики. Вы же в курсе про драму про Sodium и книгиу Functional Reactive Programming от Manning?

Нет, что за драма?

Так где читать про настоящее ФРП?

Итак, некие товарищи нафигачили свою либу Sodium на куче языков и написали про это вышеназванную книгу. На официальном форуме книги какой-то доблестный воин завел тему, что Sodium - нифига не FRP. В лучшем случае RP. Авторы стали рьяно защищать свое детище, приводили какие-то аргументы, но тут пришел сам изобретатель FRP Конал Элиот (ну, еще Худак там тоже был, вроде). И сказал, что Sodium не FRP, так как в нем не хватает денотационной семантики, и сама идея FRP теряется. Авторы попробовали отбрехаться, мол, есть всякая там математика, а практические подходы, и с этой точки зрения лучше хоть что-то, но в продакшене. Правда, потом они все равно написали какой-то пейпер про денотационную семантику.

Сейчас найду ссылку

А книга плохая. Очень невнятная

так надо бы сеть и начать делать доклад, а не работу работать

Обязательно! Но в следующий раз. Я и так доклад по С++ больше 2 месяцев готовил, а еще же один на fprog

Мы сейчас используем reflex-dom. Точнее, его порт на PureScript

точнее specular

Да, я там ниже назвал его по имени :)

Короче, не нашел, но вот в этом топике тема продолжается: https://forums.manning.com/posts/list/41281.page

Обязательно! Но в следующий раз. Я и так доклад по С++ больше 2 месяцев готовил, а еще же один на fprog

я про себя

мне на fprog то тоже готовить

Это как? Доклад уже послезавтра!

и?

Как доклады за два дня можно сделать?

Обязательно! Но в следующий раз. Я и так доклад по С++ больше 2 месяцев готовил, а еще же один на fprog

а что там с книгой?

Ей хорошо, она лежит. В том же состоянии, что и год назад

Как доклады за два дня можно сделать?

можно и меньше, хотя я обычно за неделю делаю

ну вот книгу за 2 напишешь, видимо

dump juick://qnikst:+haskell+хочется_странного | pretty --format json ?

--format text

> I'm not comfortable with accepting that "whatever, that's fine too"; as much as I love this language and its ideas, a shift towards user- and beginner-friendliness is long overdue. I don't know how this will happen but I'm almost sure this won't come at the expense of its other qualities. > I don't know how this will happen but I'm almost sure this won't come at the expense of its other qualities. ну ну

это про что?

про diagrams, но не сказал бы что тут нужен контекст

“как хотеть странного в странных микроблогах”

Подскажите, пожалуйста, какой-нибудь пакет, который бы над списком записей data Rec = Rec fld1 fld2 ... fldn позволял бы выполнять аггрегирование, типа, как в SQL. select sum(rec1), rec15 group by rec15 from myList.

Существует такое?

Существует такое?

opaleye так умеет

Но я похоже неправильно понял вопрос, opaleye генерит sql для бд

Не, мне надо просто обычный haskell-список сворачивать по разным полям

Просто задача похожа на SQL-ное аггрегирование

Подскажите, пожалуйста, какой-нибудь пакет, который бы над списком записей data Rec = Rec fld1 fld2 ... fldn позволял бы выполнять аггрегирование, типа, как в SQL. select sum(rec1), rec15 group by rec15 from myList.

Селектать поля можно стрелочным &&&

Подскажите, пожалуйста, какой-нибудь пакет, который бы над списком записей data Rec = Rec fld1 fld2 ... fldn позволял бы выполнять аггрегирование, типа, как в SQL. select sum(rec1), rec15 group by rec15 from myList.

не понял, что тут требуется помимо Data.List? Зачем еще пакет-то?

Ну можно и им, да.

Просто думал, что-то более специфическое есть.

У меня получается просто вот такое: map (\rs -> (rec15 $ head rs, sum $ map rec1 rs)) $ groupBy (\r1 r2 -> rec15 r1 == rec15 r2) $ orderBy rec15 myList. Не сказал бы, что красиво.

Data.Map.fromListWith

А, вариант

Подскажите пожалуйста, а можно в Setup.hs кабала узнать директорию куда пакет устанавливается? и туда скопировать архив, там распаковать? я так хотел бы статику сайта завернуть в пакет очень не хочется по одному файлу в data-files выписывать их

У меня получается просто вот такое: map (\rs -> (rec15 $ head rs, sum $ map rec1 rs)) $ groupBy (\r1 r2 -> rec15 r1 == rec15 r2) $ orderBy rec15 myList. Не сказал бы, что красиво.

ну вот \rs -> (...) стрелочным &&& и заменяется

он правда на пару работает, будут вложенные пары

Я хотел создать список случайной длины из одинаковых чисел, после чего применить к списку какую-то функцию, скажем map (+1) Написал я это так: map (+1) <$> flip replicate 5 <$> randomRIO (1, 10) При это я совсем забыл, что у <$> левая ассоциативность, а не правая, как у $. Так что вроде как код ошибочный — он будет выполняться слева направо, тогда как подразумевалось справа налево. Однако он не только прошёл типизацию, но ещё и правильно работает. Почему?:)

Потому что у (->) тоже реализован функтор

Потому что у (->) тоже реализован функтор

да, похоже на то

а всё же забавная фишка

у (->) r

ну вот \rs -> (...) стрелочным &&& и заменяется

типа такого

какая-то недоассоциативность получилось

Ну и т.к. > :t map (+1) <$> flip replicate 5 map (+1) <$> flip replicate 5 :: Num b => Int -> [b] то "типизацию проходит"