GHC should strive to make life as easy as possible for downstream tools One way to make life easy is never to make any changes

это где?

https://ghc.haskell.org/trac/ghc/ticket/14558#comment:48

окей, какие там ещё адекватные языки остались?

что никаких? ну ок.. придётся тут страдать

Yes that contributed to the misery. I felt like I was beating my head against a wall.

I worry that it’s worse for newcomers to the language who bounce off of the circled wagons.

хаскель - это ад

нет, хаскель это крепость, в которую не могут прорваться многочисленные специалисты по тому, какими должны быть языки программирования (все остальные, кроме хаскеля уже в порядке)

крепость, ад, вы упоролись?

не мы

в первый рабочий день недели?

у них еще воскресенье

буржуи?

+

не, у большинства понедельник уже

Думаю, уже у всех понедельник

но ночь

в nyc 7 утра уже

ясно

обновляшки http://kcsongor.github.io/generic-lens/

что я хотел спросить, а нету никакой готовой обертки над optparse-applicative которая и из окружения умеет собирать данные?

обновляшки http://kcsongor.github.io/generic-lens/

уже более новая версия есть, с леблами

уже более новая версия есть, с леблами

у него же?

ну кроме того, что я могу в value запихнуть unsafePerformIO

у него же?

ну на гитхабе точно, на хекедже я не смотрел

что я хотел спросить, а нету никакой готовой обертки над optparse-applicative которая и из окружения умеет собирать данные?

вот такое вот есть https://hackage.haskell.org/package/envparse

ну на гитхабе точно, на хекедже я не смотрел

а куда делся GRowToList?

не знаю

Vasiliy так я и сам умею

но это заставляет в 2х местах держать код для обработки данных

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

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

можно же через Compose

я видел либу, которая значения параметров брала с командной строки, из окружения или из конфига, но не могу вспомнить название...

можно же через Compose

я про это и говорю

я про это и говорю

ну так как это newtype то как-то можно хитро юзать coerce

я видел либу, которая значения параметров брала с командной строки, из окружения или из конфига, но не могу вспомнить название...

boost::options

Есть задача генерировать питонового клиента к HTTP серверу. Есть описание API в виде какой-то метаинформации - по сути, выдернутый из документации XML. вопрос - стоит ли сгенерить из XML типы серванта, а из них - уже сгенерировать питоновое API ?

по моему опыта генережка клиентов на нетипизированных ЯП мало чего стоит

нужна только доля “регенерации”, если что-то меняется

а так вот есть https://hackage.haskell.org/package/servant-py

мало что стоит - в смысле, не стоит с сервантом ради такого связываться?

всмысле биндинги получаются хлипенькие все равно

но если структуры большие, то может быть полезно конечно

я бы swagger сгенерил мб

там API большое, сотни эндпойнтов

а из него клиент

руками уныло писать.

сваггер - а, ок. надо будет посмотреть

тогда генережка, конечно

хотя сваггер вроде для json

я не уверен насчет xml

сваггер генерит жуткие питонские бинды

правда есть либа которая в рантайме генерит из сваггера бинды, она вроде получше. но стартап долгий

я не уверен насчет xml

Теоретически свагер и иксэмэль держит, но как понимаю это вторичная фича

OpenAPI Specification | Swagger https://swagger.io/specification/#xmlObject

И маппинг судя по всему жсон в иксэмэль

чем у серванта делать авторизацию через JWT?

зач jwt

над jwt

https://github.com/arianvp/servant-jwt-example

+

> Thank you @simonpj! I am very happy to hear that. А я нет

пооясните, пожалуйста, что такое сервант

вот так вот сходу не понял по сайту

можно, наверное, сказать что легковесный веб-фреймворк

я по вашим обсуждениями думал, что генератор клиентов, но на сайте есть ешё servant-server и какая-то интеграция с persistent что-то там

фреймворк для упрощение написания серверов

который на основе типов позволяет не писать бойлерплейт по разбору запросов/сбору ответов, генерирует клиент, документацию, тесты

при этом не привязыкает к каким-либо шаблонам/базе и т.п.

за счет чего не привязывается?

звучит как магия, всё равно какой-то клей должен быть, который что-то обобщённое превращает в что-то частное для конкретной бд

он тебе помогает с роутингом - все остальное за тобой

посредством отсутсвия кода как либо связанного с ьд

ну и все что выше написали

чтобы не привязывать к базе достаточно не иметь кода работающего с базой ; )

оно о роутинге и всем с ним связанным

тесты, клиент, документация, разборы типов - связаны

на выходе сервант тебя заставит передать ему хэндлеры под каждый роут

база, шаблоны, генерация ответов - нет

в принципе шаблоны можно и привязать