MK
Вообще странно что внутри th </> не от хоста, а от таргета
Где в репе код с ошибкой?
Где в репе код с ошибкой?
Size: a a a
2020 July 05
АБ
О, отлично, спасибо огромное!
АБ
Вообще странно что внутри th </> не от хоста, а от таргета
Где в репе код с ошибкой?
Где в репе код с ошибкой?
АБ
Хм, но там
os = HOST_OS, а мне бы BUILD_OSJS
как из (a -> Maybe b) сделать призмоподобный геттер?
JS
"to" сделает оптику в Maybe, а потом _Just?
JS
ок, получилось
MK
Это не призма, а фолд будет
MK
Но да, так
АГ
Насколько я помню, ситуация была обратная TH функция писалась, чтобы не писать однообразный код (ибо я задолбался). То есть изначально вопрос о TH вообще не ставился. Скорее всего, для других форм можно написать похожий th... но я уже сейчас подробностей не вспомню, так что судить не могу.
Можно, но это будет более сложная th функция, которая будет разбирать больше кейсов. А так оно унифицировано
АГ
К тому же в энергичных языках вроде purescript и c++ это должна быть лямбда
АГ
В качестве продолжения
ДП
Можно, но это будет более сложная th функция, которая будет разбирать больше кейсов. А так оно унифицировано
Не могу судить, уже не помню подробностей.
ДП
К тому же в энергичных языках вроде purescript и c++ это должна быть лямбда
Не пробовал строить такие eDSL в c++ с точки зрения синтаксиса это должно выглядеть как-то страшно...
АГ
Не пробовал строить такие eDSL в c++ с точки зрения синтаксиса это должно выглядеть как-то страшно...
У меня несколько таких вещей на С++. Да, страшно
ДП
У меня несколько таких вещей на С++. Да, страшно
Не удивительно, честно.
YS
Кстати, такой вопрос - не первый раз натыкаюсь на такую штуку, что, когда, например, собираю тело для реквеста аесоном, энкодю его в ленивую байтстроку, и потом допустим хочу её напечатать - это каким-то макаром "ломает" запрос (не могу пока ничего более конкретного сказать, т.к. поведение там странное)
YS
Это что-то известное?
YS
Или как обычно только мне везёт на такие пакости?)