
J
16.05.2018
12:44:23
А что по бойлерплейту и гарантиям?
https://github.com/FrigoEU/purescript-endpoints-express
Я вот этот подход использую и кайфую.

Alexander
16.05.2018
12:46:39
с другой стороны проблем на протяжении последних лет тоже не было, даже при изменении 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

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

? 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
Просветите, что ещё есть.

Евгений
16.05.2018
13:02:45

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

Vladimir
16.05.2018
13:02:54

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 сильно меньше жрёт, чем электроны всякие. На порядки порой

Alexander
16.05.2018
13:04:18

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

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

Piu
16.05.2018
13:13:37

Nikolay
16.05.2018
13:14:13

Yuriy
16.05.2018
13:15:15

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

Yuriy
16.05.2018
13:22:30

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

Александр
16.05.2018
13:26:25

Nikolay
16.05.2018
13:30:43
therefore we do not have undefined . id = undefined
Вот это я не осознаю. Как это доказать?

Alexander
16.05.2018
13:35:13
в определении категории

Евгений
16.05.2018
13:36:01

Alexander
16.05.2018
13:36:07
но undefined бобманет при вычислении до WHNF
а id . undefined - нет, у него есть слабая нормальная форма

Yuriy
16.05.2018
13:36:45

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

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

Ilya
16.05.2018
13:47:20

Alexander
16.05.2018
15:53:51
неудачная шутка
ну или удачная, но много кто её не понял

Maxim
16.05.2018
16:19:13
@graninas ^

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