А что по бойлерплейту и гарантиям?

https://github.com/FrigoEU/purescript-endpoints-express Я вот этот подход использую и кайфую.

А что по бойлерплейту и гарантиям?

никаких, может в какой-то момент добавим генерацию flow

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

блин, нежули нет какой-нибудь фишки чтобы не лифтить ио постоянно? у меня ReaderT Foo IO () , все функции превращаются в Foo{..} <- ask; liftIO $ do ..., хотя изначально хотелось все красиво на линзах запилить

фри монады не предлагать

не понял

зачем лифтить

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

приходится лифтить

библиотека чужая? Или base?

чужая

qt

ну можно написать свой модуль

счастье какое )

с бойлерплейтом

замени ReaderT Foo IO () на Foo -> IO ()

где все f = liftIO Old.f

10-20 методов разово так написать не проблема же

или bar = reader $ \Foo{..} -> do ...

я просто ридером хотел добиться кода типа

liftIO . foo =<< view someLens

но лифтио бесит

Ну так можно же комбинатор написать

ой ну начинается

допили себе язык сам )

Ну так можно же комбинатор написать

чем это будет лучше liftIO?

(~<<) f l = liftIO f =<< view l

foo ~<< someLens

допили себе язык сам )

Это про хаскель как раз

liftIO . foo =<< view someLens

этот код должен работать и для (->)

зачем я вообще полез в этот язык, ага

За страданиями, понятное дело

Все тут за этим

фигачу иорефы, та же императивщина, только через задницу

уи на хаскеле как-то не очень круто)

фигачу иорефы, та же императивщина, только через задницу

да тоже это угнетало

уи на хаскеле как-то не очень круто)

Ну так все GUI-тулкиты сугубо процедурно устроены внутри

та же императивщина но с дополнительными ликами

Кто в 20!8 пишет ui императивно? Ща же в моде реативщина

в вебе может и в моде

Из реактивщины вне хаскеля только QML знаю.

покажи мне десктопный кросс-платформенный УДОБНЫЙ уи фреймворк

Что-то никто нормально рективщину не прикрутил к Qt/GTK/FLTK

Просветите, что ещё есть.

покажи мне десктопный кросс-платформенный УДОБНЫЙ уи фреймворк

web

(я кстати уже не вспомню почему мы не взяли qml)

Что-то никто нормально рективщину не прикрутил к Qt/GTK/FLTK

QML же.

web

ты мне будешь оперативку для электрона покупать?)

Можно подумать, что кути жрёт меньше

а что, не меньше?

QML же.

Имелось в виду "никто не написал нормадбную обёртку в ФП-стиле". QML не про это

кути вообще нихрена не жрёт

Qt сильно меньше жрёт, чем электроны всякие. На порядки порой

Что-то никто нормально рективщину не прикрутил к Qt/GTK/FLTK

reactive-banana-tk есть

Ну, хотя звисит от того, как писать :)

У меня квантум с 40 вкладками жрёт меньше чем telegram-desktop

> tk

reactive-banana-tk есть

Tk - такое :)

телеграм-десктоп говорят течет где-то

это же не вина куте

в дотнете наверное реактивный уи

ну вот да, там чёт было

это же не вина куте

как вы смешно Кьют называете

телеграм-десктоп говорят течет где-то

видимо не у всех (УМВР)

у меня веб-телеграм жрет

кутикутикути

это же не вина куте

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

телеграм-десктоп говорят течет где-то

Где-то это в куте?

что за троллинг

да вообщн от рук отбились

Почему hask не категория?. Разве id undefined не равно undefined?

Почему hask не категория?. Разве id undefined не равно undefined?

Потому что на термах нет равенства

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

+

Потому что на термах нет равенства

Не совсем понятно

Почему hask не категория?. Разве id undefined не равно undefined?

λ> id undefined == undefined *** Exception: Prelude.undefined не-а

Hask is not a category | Mathematics and Computation http://math.andrej.com/2016/08/06/hask-is-not-a-category/

Does it matter if Hask is (not) a category? https://ro-che.info/articles/2016-08-07-hask-category

λ> id undefined == undefined *** Exception: Prelude.undefined не-а

Можете объяснить. Что тут не так. Для меня вот тут произошел эксепшн . Это и значит, что это опять undefined

Можете объяснить. Что тут не так. Для меня вот тут произошел эксепшн . Это и значит, что это опять undefined

но равенство не выполняется

А что бы я увидел, если бы выполнялось? Я вот это момент не пойму

Does it matter if Hask is (not) a category? https://ro-che.info/articles/2016-08-07-hask-category

То же самое хотел спросить. Не вижу особой ценности в этом знании. На хлеб не мажешь

therefore we do not have undefined . id = undefined

Вот это я не осознаю. Как это доказать?

λ> id undefined == undefined *** Exception: Prelude.undefined не-а

у нас сравнение это не внешняя операция разве?

в определении категории

λ> id undefined == undefined *** Exception: Prelude.undefined не-а

Воу, кто-то путает экстенсиональное и интенсиональное равенство

но undefined бобманет при вычислении до WHNF

а id . undefined - нет, у него есть слабая нормальная форма

Воу, кто-то путает экстенсиональное и интенсиональное равенство

разве их всего 2?

очевидно, что они не равны

разве их всего 2?

Ну бывают ещё всякие промежуточные формы, но это две полярности. Одно — равенство на уровне метатеории, второе внутри теории

λ> id undefined == undefined *** Exception: Prelude.undefined не-а

Что-то я не понял прикола, при чём тут оператор из класса Eq? Хаскель можно вообще без него юзать

неудачная шутка

ну или удачная, но много кто её не понял

@graninas ^

@graninas ^^^