На PureScritp'е мы сейчас Web UI делаем с помощью портированного нашим коллегой reflex-dom: https://github.com/restaumatic/purescript-specular

хм

а зачем портировать рефлекс если есть почти такой же purescript-behaviors?

Это лучше у коллеги спросить. Может, ему не хватало самовыражения.

а вот например в halogen тоже вроде поначалу сигналы были и всякое фрп. в 0.4 вроде чому они отказались?

на основной вопрос - когда ghcjs будет похож на человека и не помрёт ли он - всё равно никто ответить не может

ну смотря какие требования к этой похожести на человека предъявлять

нормально собираться и собирать проекты

ставиться из каких-то источников

нормальных.

находиться под активной разработкой, работать над компактизацией кода и оптимизацией

нормально собираться и собирать проекты

так он собирается и юзается 8 ghc

web assembly ?

я что-то не уверен насчёт "нормально", у нас сборка одного проекта даже с никсом занимает часов пять

web assembly ?

так ghcjs и так собирает некую стейт машину что работает быстро

и от этого возникает сильнейшее недовольство заказчика, например

нормально собираться и собирать проекты

ну над этим какие-то люди вокруг рефлекса работают

короче всё это не выглядит, как что-то надежное / годное, а выглядит как маргинальное ответвление, это если еще сам ghc не считать чем-то маргинальным

не шляпа конечно, но и не панацея

Free монады - очень нужная концепция. Free-монадические языки решают ту же проблему, которую решают ООПшные интерфейсы, но в чисто функциональном стиле. Проблема называется коротко: Inversion of Control. Free-монады можно использовать в друх вариантах: - scenario-oriented eDSL - API-oriented eDSL Scenario-oriented eDSLs - это такие языки, на которых вы пишете бизнес-логику. Выражают предметную область, процессы и данные в ней. Такой DSL обычно спроектирован так, чтобы его методы были композабельные. API-oriented eDSL - это интерфейс к подсистеме. Композабельности методов относительно друг друга не требует, может представлять просто набор методов, абстрагирующих сервис.

а вот например в halogen тоже вроде поначалу сигналы были и всякое фрп. в 0.4 вроде чому они отказались?

https://github.com/MonoidMusician/purescript-halogen-behaviors

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

находиться под активной разработкой, работать над компактизацией кода и оптимизацией

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

вот именно это и напрягает

компиляция в вебасембли, может быть, ghcjs со временем убьет, но по-моему, и само будущее вебасембли под вопросом

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

А в чем проблема была?

с тем, что было неочевидно, как делать ветвления в сценариях.

Ну просто if или case

если где-то есть пример - я бы взглянул. вроде бы очевидная вещь, если мы говорим про dsl

У меня есть кой-какие примеры, да

доступны что бы посмотреть?

ну опять же, можно спросить например @qnikst почему они у себя не используют фри монады, а используют подход, о котром он рассказывал

с тем, что было неочевидно, как делать ветвления в сценариях.

Если не хочется этот DSL сериализовать, то все конструкции языка валидны: myScenario :: Int -> Free MyDsl Int myScenario i = case i of 1 -> return 2 2 -> return 10 _ -> return i

хм, пожалуй, я бы посмотрел на какие-то более полные примеры и в контексте

может быть, уже есть более лучшие статьи по фримонадам, чем были год - два назад

доступны что бы посмотреть?

Да, у меня же для этого целый showcase проект есть (сопровождает книгу): https://github.com/graninas/Andromeda/blob/master/test/Test/ControlProgramSpec.hs

может быть, уже есть более лучшие статьи по фримонадам, чем были год - два назад

Два года назад case в Haskell уже был ;)

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

явно.

Поясните тогда

ну это надо найти статью, где описывалось применение

ну опять же, можно спросить например @qnikst почему они у себя не используют фри монады, а используют подход, о котром он рассказывал

это о чем - HasFoo и подобные?

мне кажется тут про разное

@qnikst рассказывал, как они композят разные системы - это вот реализация явных API

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

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

т.е что решают, как решают, почему это лучше, чем решение без них

т.е то, о чем была статья - это просто реализация некоего Dsl, интерпретация которого могла меняться в зависимости от.

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

ну это Coyoneda + Free

не слишком впечатляло

do-нотация из коробки, параметризуется функтором.

я тоже не пользуюсь, кстати

ну вот, допустим

в 95% случаев mtl-style заруливает фримонады

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

чего-то, что этот парсер должен уметь парсить

довольно типичная задача, вроде бы.

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

я думаю тут только фри аппликативы могут

в 95% случаев mtl-style заруливает фримонады

там выше началось с DSL

т.е то, о чем была статья - это просто реализация некоего Dsl, интерпретация которого могла меняться в зависимости от.

Да, но это не единственное преимущество. Можно инжектить зависимости, подменять имплементацию, использовать все монадические инструменты, тестировать. И при этом сам сценарий является чистым. Разделение: отдельно предметная область и сценарии, не имеющие эффектов, и одтельно интерпретаторы для разных окружений с эффектами. Ну то есть, интерфейс и реализация

ну ок, есть какие-то короткие примеры, которые показывают, как работает этот подход?

я думаю тут только фри аппликативы могут

Вру, нужны моноеды и Control.Category. Я напиливал такое как-то. Ну и есть boomerang

ну т.е прошу понять правильно - это все звучит очень похоже на просто dsl и просто его интерпретатор

и его монадический билдер

ну ок, есть какие-то короткие примеры, которые показывают, как работает этот подход?

Я не знаю, короткие там или нет, но позвольте поделиться своим материалом. Я там стараюсь хорошо разложить по полочкам, что и для чего. https://drive.google.com/drive/folders/0B1Rdr1fbS6M9SjlKUk1zMVNjOVU

Да, но это не единственное преимущество. Можно инжектить зависимости, подменять имплементацию, использовать все монадические инструменты, тестировать. И при этом сам сценарий является чистым. Разделение: отдельно предметная область и сценарии, не имеющие эффектов, и одтельно интерпретаторы для разных окружений с эффектами. Ну то есть, интерфейс и реализация

чем оно лучше mtl?

чем оно лучше mtl?

mtl захламляет код. А с Free-монадическим языком у вас, по сути, есть только предметная область.

mtl захламляет код обоснуйте

mtl захламляет код. А с Free-монадическим языком у вас, по сути, есть только предметная область.

ещё mtl вроде не занимается подменной имплементации

Ну и mtl-style не интерпретируемый

Напиши другой инстанс - будет другой интерпретатор

mtl захламляет код. А с Free-монадическим языком у вас, по сути, есть только предметная область.

я думаю тут ты имел freer и extensible effects а не просто free

подменяй как хочешь

алсо хотелось бы услышать пример разных окружений в которых один и тот же код для dsl уместен

ещё mtl вроде не занимается подменной имплементации

Есть паттерн, при котором можно инжектить зависимости, на самом деле. State monad injection, либо через тайпклассы

@vlastachu +1

я думаю тут ты имел freer и extensible effects а не просто free

И тот, и другой.

алсо хотелось бы услышать пример разных окружений в которых один и тот же код для dsl уместен

Тесты / продакшн

да

В freer-языках мокать более нижние слои легко.

я про это и подумал

Ну и окей, у меня есть еще один пример