@haskellru

Страница 1200 из 1551
J
16.05.2018
12:44:23
А что по бойлерплейту и гарантиям?

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

Alexander
16.05.2018
12:46:39
А что по бойлерплейту и гарантиям?
никаких, может в какой-то момент добавим генерацию flow

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

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

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

kana
16.05.2018
12:53:49
не понял

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

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

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

kana
16.05.2018
12:55:21
библиотека чужая? Или base?

Maxim
16.05.2018
12:55:28
чужая

qt

kana
16.05.2018
12:55:44
ну можно написать свой модуль

Maxim
16.05.2018
12:55:53
счастье какое )

kana
16.05.2018
12:55:54
с бойлерплейтом

Yuriy
16.05.2018
12:56:00
замени ReaderT Foo IO () на Foo -> IO ()

Google
kana
16.05.2018
12:56:03
где все f = liftIO Old.f

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

Yuriy
16.05.2018
12:57:42
или bar = reader $ \Foo{..} -> do ...

Maxim
16.05.2018
12:57:56
я просто ридером хотел добиться кода типа

liftIO . foo =<< view someLens

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

Aleksey
16.05.2018
12:58:48
Ну так можно же комбинатор написать

Maxim
16.05.2018
12:59:05
ой ну начинается

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

Yuriy
16.05.2018
12:59:16
Aleksey
16.05.2018
12:59:18
(~<<) f l = liftIO f =<< view l

foo ~<< someLens

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

Yuriy
16.05.2018
13:00:20
liftIO . foo =<< view someLens
этот код должен работать и для (->)

Maxim
16.05.2018
13:00:35
зачем я вообще полез в этот язык, ага

Aleksey
16.05.2018
13:00:53
За страданиями, понятное дело

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

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

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

? animufag ?
16.05.2018
13:01:32
Google
Aleksey
16.05.2018
13:01:46
уи на хаскеле как-то не очень круто)
Ну так все GUI-тулкиты сугубо процедурно устроены внутри

? animufag ?
16.05.2018
13:01:58
та же императивщина но с дополнительными ликами

Евгений
16.05.2018
13:02:05
Кто в 20!8 пишет ui императивно? Ща же в моде реативщина

Maxim
16.05.2018
13:02:22
в вебе может и в моде

Vladimir
16.05.2018
13:02:34
Из реактивщины вне хаскеля только QML знаю.

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

Aleksey
16.05.2018
13:02:37
Что-то никто нормально рективщину не прикрутил к Qt/GTK/FLTK

Vladimir
16.05.2018
13:02:42
Просветите, что ещё есть.

Maxim
16.05.2018
13:02:49
(я кстати уже не вспомню почему мы не взяли qml)

Maxim
16.05.2018
13:03:02
web
ты мне будешь оперативку для электрона покупать?)

Евгений
16.05.2018
13:03:35
Можно подумать, что кути жрёт меньше

Maxim
16.05.2018
13:03:42
а что, не меньше?

Aleksey
16.05.2018
13:03:46
QML же.
Имелось в виду "никто не написал нормадбную обёртку в ФП-стиле". QML не про это

Vladimir
16.05.2018
13:03:49
кути вообще нихрена не жрёт

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

Vladimir
16.05.2018
13:04:20
Ну, хотя звисит от того, как писать :)

Евгений
16.05.2018
13:04:23
У меня квантум с 40 вкладками жрёт меньше чем telegram-desktop

Google
Maxim
16.05.2018
13:04:29
> tk

Aleksey
16.05.2018
13:04:29
reactive-banana-tk есть
Tk - такое :)

Maxim
16.05.2018
13:04:49
телеграм-десктоп говорят течет где-то

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

? animufag ?
16.05.2018
13:05:10
в дотнете наверное реактивный уи

Maxim
16.05.2018
13:05:20
ну вот да, там чёт было

Yuriy
16.05.2018
13:05:21
это же не вина куте
как вы смешно Кьют называете

Aleksey
16.05.2018
13:05:22
Aragaer
16.05.2018
13:05:44
у меня веб-телеграм жрет

? animufag ?
16.05.2018
13:05:47
кутикутикути

Алексей
16.05.2018
13:05:53
это же не вина куте
ну так сделать утечку в крестах на порядок проще, чем в языке со сборкой мусора

Евгений
16.05.2018
13:06:22
Maxim
16.05.2018
13:06:40
что за троллинг

Alexander
16.05.2018
13:11:36
да вообщн от рук отбились

Nikolay
16.05.2018
13:12:04
Почему hask не категория?. Разве id undefined не равно undefined?

Евгений
16.05.2018
13:13:23
Почему hask не категория?. Разве id undefined не равно undefined?
Потому что на термах нет равенства

Nikolay
16.05.2018
13:14:13
Yuriy
16.05.2018
13:15:15
Почему hask не категория?. Разве id undefined не равно undefined?
λ> id undefined == undefined *** Exception: Prelude.undefined не-а

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

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

Nikolay
16.05.2018
13:21:57
λ> id undefined == undefined *** Exception: Prelude.undefined не-а
Можете объяснить. Что тут не так. Для меня вот тут произошел эксепшн . Это и значит, что это опять undefined

Nikolay
16.05.2018
13:24:41
А что бы я увидел, если бы выполнялось? Я вот это момент не пойму

Александр
16.05.2018
13:26:25
Does it matter if Hask is (not) a category? https://ro-che.info/articles/2016-08-07-hask-category
То же самое хотел спросить. Не вижу особой ценности в этом знании. На хлеб не мажешь

Nikolay
16.05.2018
13:30:43
therefore we do not have undefined . id = undefined

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

Alexander
16.05.2018
13:35:13
λ> id undefined == undefined *** Exception: Prelude.undefined не-а
у нас сравнение это не внешняя операция разве?

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

Евгений
16.05.2018
13:36:01
λ> id undefined == undefined *** Exception: Prelude.undefined не-а
Воу, кто-то путает экстенсиональное и интенсиональное равенство

Alexander
16.05.2018
13:36:07
но undefined бобманет при вычислении до WHNF

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

Alexander
16.05.2018
13:36:47
очевидно, что они не равны

Евгений
16.05.2018
13:40:24
разве их всего 2?
Ну бывают ещё всякие промежуточные формы, но это две полярности. Одно — равенство на уровне метатеории, второе внутри теории

Ilya
16.05.2018
13:47:20
λ> id undefined == undefined *** Exception: Prelude.undefined не-а
Что-то я не понял прикола, при чём тут оператор из класса Eq? Хаскель можно вообще без него юзать

Alexander
16.05.2018
15:53:51
неудачная шутка

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

Maxim
16.05.2018
16:19:13
@graninas ^

Alexander
16.05.2018
16:19:16
@graninas ^^^

Страница 1200 из 1551