провайдер заворачивает айпишник на 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) При это я совсем забыл, что у <$> левая ассоциативность, а не правая, как у $. Так что вроде как код ошибочный — он будет выполняться слева направо, тогда как подразумевалось справа налево. Однако он не только прошёл типизацию, но ещё и правильно работает. Почему?:)

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

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

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

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

ERROR: S client not available

у (->) r

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

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

Да, спасибо, так лучше

чет телега лагает у меня

Не видно!

Лагает, да

вместо (&&&) теперь, вроде, bimap

ой, вру

хм, это разные вещи &&& :: (a -> b) -> (a -> c) -> (a -> (b, c))

да, bimap это (***)

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

map (head &&& sum) . group . sort . map rec15

Не, rec1 ещё

а, это я ошибся в своем решении

f = map (rec15 . head &&& sum . map rec1)

Ну я уже примерно так и написал, спасибо.

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

можно, но как именно не скажу, в install фазе должно быть доступно

в GHC же есть (не совсем понятно зачем, правда) даже расширенный синтаксис для лист компрехеншонс, не очень популярный, я даже не вспомнил как называется экстеншн вспомнил только как пейпер про него назывался https://www.microsoft.com/en-us/research/wp-content/uploads/2007/09/list-comp.pdf

а экстеншн жив ещё?

жив

Во, круть! Надо брать.

куда он денется?

Во, круть! Надо брать.

вот в тех же сорсах из книги beginning haskell как раз была глава про это расширение https://github.com/Apress/beg-haskell/blob/master/chapter3/src/Chapter3/Comprehensions.hs#L13-L19

Ваще отвал башки, я скоро выйду замуж за Haskell, блин!

наконец-то экстеншон нашел своего первого пользователя

я думаю spj с вадлером попользовались им чуток