гетерогенность не нужна

почти никогда, исключения - хранилища

конечно. ее же нет - поэтому и не нужна ) блаб - мышление

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

Так жсон он без параметров: data Value = Object [(String, Value)] | Array [Value] | String_ String | Number Double | Null Как можно заметить, Value имеет kind *

захочешь сделать графовую базу - там в будешь хранить Dymanic

конечно. ее же нет - поэтому и не нужна ) блаб - мышление

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

и я говорю, что не нужно и вредно

вот, про то и речь, что только с хитрыми скрываемыми костылями только

конечно. ее же нет - поэтому и не нужна ) блаб - мышление

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

а. не хитрыми б. не скрываемыми

в. динамических языках они такие и скрываемые

т.к. ты не имеешь доступа к этим костылям

хотя нет, в динамических не ровно те же

там замкнутая ADT

некто из этого чата давно обещал сделать статью про то как работать с гетерогенностью в сабже - так и не сделал.

С гетерогенной коллекцией мы же не знаем, какой элемент мы имеем, то есть без АДТ для меток никуда ИЛИ использовать общее свойство этих элементов, то есть сделать exist с констрейтом

можно еще просто использовать Any и кастить в Maybe a

а про кайнд жсона - все кому надо поняли про что речь

ну Dynamic так работает

храним Typeable метку, но она открытое множество

> @iivana > ivana Однако до чего же тесен рунет

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

FP-related рунет

я не модератор тут

и в lj меня нету

а тут ещё остались модераторы?

и в пачке телеграмм чатиков по фп

остались

FP-related рунет

ну если хекслет считать частью FP-related рунета, то да

если считать FP еще что-либо другое, кроме сабжа. но тут так считать не принято )

тебе кажется

как декларируете - так и выглядит

@A64m_qb0 ты считаешь что только Haskell ФП?

нет

только хаскель ФП для прода

да

предсказуемо

детерминированно и референциально-транспарентно )

Напомню:

фп это просто зонтичное название для "фич придуманных после 75-го года" если язык не ФЯ, это значит, что его автор - сумашедший старый дед

все-таки это некоторые фичи, придуманные до 75-го года, и почти все после 75го

ФП - это эдинбуржско-тернеровская исследователская программа, твердое ядро - типизированное лямбда-исчисление

как декларируете - так и выглядит

вот видишь даже человек с самыми строгими требованиями не считает только Haskell ФП

при этом градация отношений - есть

вы отказываете мне в праве высказывать аллегории и гиперболы, а себе в праве их воспринимать? )

конечно я вижу, что тут кроме сабжа за ФП ничего не считают ) можно добавить “нормальное” ФП )

можно даже расширить гиперболу, во всех ФП чатах в телеге за нормальное ФП считают только хаскель - ведь я во всех этих чатах сижу

"терпимое ФП"

можно даже расширить гиперболу, во всех ФП чатах в телеге за нормальное ФП считают только хаскель - ведь я во всех этих чатах сижу

предлагаю провести соц. опрос в чате скалы

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

потому и там не будет

против гиперболы не попрешь

можно даже расширить гиперболу, во всех ФП чатах в телеге за нормальное ФП считают только хаскель - ведь я во всех этих чатах сижу

Тебя в плюсоклные нет((

Так жсон он без параметров: data Value = Object [(String, Value)] | Array [Value] | String_ String | Number Double | Null Как можно заметить, Value имеет kind *

data Value a = Record [(Text, Value a)] | Tuple [Value a] | Scalar a

data Value a = Record [(Text, Value a)] | Tuple [Value a] | Scalar a

Но это уже не жсон

Параметризуй его JsonLiteral и будет JSON

максимум что ты можешь сделать это GADT и классом типов позволяющих получить из a json объект

а вот скажите, как правильно готовить hint/mueval чтобы он не крашился и выжирал ресурсы?

никак, гхци течет при перезагрузке, ну, что-то из этого поправили в 8.6

что течёт пофиг, у меня одноразовые сессии.

а ghc manual репозиторий живет в там же где исходники или нет?

там же

https://github.com/ghc/ghc/tree/master/docs/users_guide

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

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

Пока не очень ?

что это означает более конкретно?

Есть система которая передает данные в JSON, я пытаюсь его вчитать и обработать

JSON плохо структурирован потому что

Но типы как-то помогают

JSON плохо структурирован потому что

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

даже в таком случае FromJSON + <|> должно хватать

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

Что делает <|> ?

можно сделать FromJSON, можно сделать FromJSON + unstructuredpart, можно сделать lens-aeson

Что делает <|> ?

пробует правый парсер если левый завалился

parseJSON v = asObjectFoo v <|> asObjectBar v <|> asText v

Ну там всегда неизвестный набор типов будет

И функция этого типа

эх эти кложуристы

как так? у тебя документы человек вручную формирует чтоль?

эх эти кложуристы

Эликсирщики

какие функции ты будешь применять к этим данным?

как так? у тебя документы человек вручную формирует чтоль?

Да

думай о типе, как о том, с чем работаешь

какие функции ты будешь применять к этим данным?

Функцию из внешнего модуля, у которой характерный тип

Для конкретного jsona

:)

Я придумал конечно кододегенерацию

<|> должно помочь. на выходе может быть сумма типов в которые это всё можно отобразить..

или просто линзы

Извне скрипт парсит json и генерит сигнатуры

<|> должно помочь. на выходе может быть сумма типов в которые это всё можно отобразить..

Бесконечных сумм типов не бывает :|

Функцию из внешнего модуля, у которой характерный тип

какого внешнего модуля, какой тип?

вот что делает твоя программа

приходит к ней Value, что ты с этим Value делаешь?

Это система проверки решений

Модуль приходит извне