Эта книга хороша, раз многие по ней учатся. Хорошо и то, что есть и другие книги, и новые ожидаются.

Ну json это же по сути объект js

Вот нифига. Главная проблема с JSON — это то, что он толком не стандартизирован, в результате сложно найти два парсера, которые все JSON-документы одинаково парсить будут

А, уже сказали, как я вижу

Вот нифига. Главная проблема с JSON — это то, что он толком не стандартизирован, в результате сложно найти два парсера, которые все JSON-документы одинаково парсить будут

Может, есть отличия между парсерами. Но стандарт вроде бы имеется: https://www.json.org

Уже почти не почти, есть пропосал (или его включают в стандарт, или уже включили)

какой из 2?

какой из 2?

какой из двух пропосалов? Я вижу только один пропосал в stage 3 https://github.com/tc39/proposal-json-superset

какой из двух пропосалов? Я вижу только один пропосал в stage 3 https://github.com/tc39/proposal-json-superset

какой из двух языков?

https://habrahabr.ru/company/mailru/blog/314014/

Это же разница в имплементации, не? Пошто на стандарт-то пенять?

Там нету аесона

Это же разница в имплементации, не? Пошто на стандарт-то пенять?

Потому, что парсишь ты имплементацией, а не стандартом. Плюс сам стандарт(ы) неолны и противоречивы

Потому, что парсишь ты имплементацией, а не стандартом. Плюс сам стандарт(ы) неолны и противоречивы

Ну тесты ведь как то смогли написать? Авторы тестов не упоминают пробелы в стандарте.

Потому, что парсишь ты имплементацией, а не стандартом. Плюс сам стандарт(ы) неолны и противоречивы

А как может быть противоречивой/неполной КС грамматика?

А как может быть противоречивой/неполной КС грамматика?

Так JSON стандартом не грамматикой задаётся

Там нету аесона

http://seriot.ch/json/parsing.html полный результат тестов, там есть аесон как упоминание в by-parser я мб неправильно читаю, но либо его действительно не пробовали, либо полностью конформное поведение edit: больше склоняюсь к not tested

Не, там есть сводная таблица протещенного, аесона там нет. Кто зделает?

Даже Гугл хочет узнать секреты Хаскеля

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

разве он там используется?

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

разве он там используется?

да, а в Google X на нем полноценно пишут

да, а в Google X на нем полноценно пишут

а есть открытые сведения, что именно там на Хаскеле пишут?

ни разу не интересовался открытыми сведениями

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

наверное если про гугл х погуглить, то найти можно, где-нибудь с новостями где они Леннарта Августонсона наняли

я не уверен, что это тайна

Леннарт только на Хаскеле пишет?

Это он: https://en.m.wikipedia.org/wiki/Lennart_Augustsson ?

во всяком случае слышал это от независимых источников из гугла

не знаю на чем он пишет, я знаю, что там он пишет на haskell

А Пипони все еще в гугле? Я правда не уверен что он вообще всё еще пишет

без понятия

Что за Пипони?

http://blog.sigfpe.com/

Найс

блог отличный

@qnikst а Ganeti же ещё гугловский?

да

но это 20%-time project

не уверен, что он вообще где-то используется реально

Леннарт только на Хаскеле пишет?

Сначала подумал, что речь о Поттеринге xd

Сначала подумал, что речь о Поттеринге xd

поттерингу бы совсем не помешало

Пожалуй, соглашусь.

Сначала подумал, что речь о Поттеринге xd

об обоих Леннарах я впервые узнал сегодня Пасиб

https://ryanglscott.github.io/2018/02/11/how-to-derive-generic-for-some-gadts/

Привет! Подскажите, пожалуйста, как выполнить IO () перед тем, как приложение с servant закроется?

servant как сервер?

после завершения сервера?

что-то типа финализации?

Там, как мне кажется, loop. И мне нужно засейвить состояние, если сервер прекращает работу

обернуть в finally ?

Что такое finally?

да, если сервер по исключению завершается, состояние-то тоже надо сохранить

Что такое finally?

функция в пакете base

Спасибо, пойду читать!

но можно сразу в БД писать

а только у меня stack таймауты начал выдавать?

на hackage.fpcomplete.com

я думаю сначала стоит уточнить, пользуется ли кто-то ещё hackage.fpcomplete.com?

так, а чем нужно пользоваться?

я с деревни просто, поставил stack он мне вроде опций не предлагал

(но дело было в том, что почему-то ось сертификат перестала принимать, перезагрузка помогла)

не знаю, нормальное место это hackage.haskell.org

не в курсе что предлагает стек

иногда у h.haskell.org бывает downtime но редко

у меня есть Lens Foo (Maybe X) и Prism X Y и Y -> Z как мне все это скомпозить, чтобы из Foo получить Maybe Z?

^? lens . _Just . prism . to f?

что-то вроде такого

Возможно потребуются ещё _Just :)

ааа

^? точно нужно, если у меня lens в Maybe уже?

нужно для призмы

имхо

но это не точно

Линзы слишком полиморфные. Ерунда всякая тайпчекается.

@astynax спасибо!

(не знаю пока работает или нет, но тайпчекается)

Линзы слишком полиморфные. Ерунда всякая тайпчекается.

поэтому приходится явно аннотировать иногда. Но обычно в случае какого-нибудь глубокого травёрса

Глубокий траверс by brazzers

ненавижу когда примеры из документации не тайпчекаются

Я думал в линзах сплошные доктесты

это не про линзы

уже

jose выставляет линзовый апи, без нормального

@astynax а если у меня есть prism :: Prism X A, foo :: A -> Maybe B, bar :: B -> C то как их скомпозить

чтобы из X получить Maybe C

^? prism . to(foo) . _Just . to(bar) ?

взлетело

скобки не красивые