а что со стрелками?

ну, как в книге Берда "Алгебра программирования" сигнатуры объявлять head :: a <- [a] и т.д.

чтозажесть

раньше надо было возражать

теперь поезд ушел уже

серьезно приняли?

нет, это шутка

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

см.

а хорошо

нет, это шутка

Как это? Я ж специально промолчал, чтобы приняли!

вообще нужно обязательно explicit-ex-prelide

в котором все методы которые делают throw возвращали бы Either

но в хаскеле все методы такие

которые делают explicit throw

так а смысл?

так то понятно, что что угодно где угодно взорваться может

но это все равно полезно

вообще, если делать сейчас прелюдию, то надо смотреть в будущее, а не за прошлое цепляться. аннотации жидкохаскеля везде, минимум рантайм проверок так что никаких head :: Just a <- [a], только хардкор

пропозал два: заменить все функции, врозвращающие Maybe, Either и т.д. на функции с соотвествующими предусловиями где это возможно

убрать все текущее И/О

да, проблема И/О не решенная пока, в прелюдии быть его не должно

в крайнем случае какую-нибудь бекпаковую сигнатурку самого общего вида стандартизировать

На Тейлора всегда можно рассчитывать, срач не утихнет быстро. https://twitter.com/taylorfausak/status/939853320608415744

Подписаться что-ли

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://hackage.haskell.org/package/lens

а потом нажмите s

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

ERROR: S client not available

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

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

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

я бы 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 что-то там

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

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

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

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

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

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