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

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

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 ^^^

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

хреновы спамеры

спасибо!

Я уже не в первый раз вижу "Екатерину Александровну" в разных соцсетях. Боты пошли все на одно лицо, никакого разнообразия

А у нас в чате живые девушки есть?

Йа:)

Йа:)

👍

опять вы со своей токсичной маскулиностью

@lonokhov норм получается?

а вы то думали, что такое RealWorld) https://github.com/zyla/purescript-set-functor/blob/master/src/Data/Set/Functor.purs#L32

@lonokhov норм получается?

👍

@graninas и живые и на haskell пишущие, но пишут редко

в смысле в чате