Гвидо в начале располовинил сообщество переходом на питон3, так что может и правильно что уходит, он конечно молодец, но решения у него странные

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

Вангую следущую драму Скала3 vs Скала2. Многие, я думаю, не примут

Хм, те кто писали на скале как на лучшей яве тоже прочувствуют разницу? Если так, то в джетбрайнс могут пить шампанское

Хм, те кто писали на скале как на лучшей яве тоже прочувствуют разницу? Если так, то в джетбрайнс могут пить шампанское

там больше функциональщины ради функциональщины местами. Мне-то норм, но именно те кто хотел просто лучшую джаву будут в афиге

Питон последовательно неконсистентен, так что := никак не выбивается из общего ряда

Точно :D

https://habr.com/post/417047/

Надо быстрее переписывать свою балалайку с питона

Может, на пользу пойдет

Хотя тут фиг знает

Питон это действительно такой vbs

А коррекцию зрения никто не делал? 🤔

Для data science

Привет, помогите придумать ФП решение для следующей задачи. На входе есть JSON с коллекцией элементов, разного типа. На выходе надо получить коллекцию строк. При решение этой задачи встает две подзадачи: 1) Как в "типах" (десериализовано) должна выглядить эта JSON-коллекция разных объектов? 2) Как трансформировать эту коллекцию в коллекцию строк? И самое сложное, как это сделать с учетом expression-problem (те добавлять новые типы и трансформации, не меняя старый код)?

Ну, начнем с того, что JSON типов ограниченное количество :)

JArray.Parse text |> Seq.map string следующий!

:D

Ну, начнем с того, что JSON типов ограниченное количество :)

[ { type: "person", name: "alex", age: 20 }, { type: "city", contry: "russia", iscapital: false }, { type: ... } ... ]

А что на выходе-то надо?

А что на выходе-то надо?

List<string> Функция трансфорации должна быть для каждого "типа" своя (типа нужен полиморфизм)

Почему своя, кстати?

Почему своя, кстати?

Потому что expression-problem, нужна расширяемость

Ну пока я тут expression-problem не вижу

Вложенные типы есть?

Нет

Т.е. тупой плейн список значений с указанием типа?

Вложенные типы есть?

Ты предлагаешь взять размеченную-сумму?

Берешь DU и не паришься

String|Int|Bool whatever

Берешь DU и не паришься

ОК, а завтра с сервера приходит новый тип. Что делать? (код менять нельзя)

Какой?

Новый

Новый простой тип придумают или что?

Мда

ну в дотнете у всех объектов есть ToString(), пусть все вновь приходящие объекты его реализуют и всё

хотя мы не знаем в рантайме у какого типа вызвать ToString

Новый простой тип придумают или что?

Чем мне помогут простые тип, что бы десерелизовать это? [ { type: "person", name: "alex", age: 20 }, { type: "city", contry: "russia", iscapital: false }, { type: ... } ... ]

type Custom={Type:string;Props:Map<string,myDU>}

Такое пойдет?

Пихай чо угодно

У тебя кастомный тип описывается метадатой

В которой имя типа

Плюс набор ключ-значение

хотя мы не знаем в рантайме у какого типа вызвать ToString

Это да, но мне не подходит станартный toString, да и вообще перевод в строку это просто пример. Допустим завтра мне надо перевод в int или byte[] и тп

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

мы его скомпайлим и выполним

Или тебе надо типа рекорды?

С полями

Или тебе надо типа рекорды?

Ну вообще да, хотелось бы не работать хешмапами

Ну тогда твоя задача в общем виде не решается, извини

Ну тогда твоя задача в общем виде не решается, извини

Даже в хаскеле? (к f# это вообще не привязаная задача)

А хаскель умеет типы на лету строить?

стопе, а что нам мешает IL код генерить на лету?

:D

Тайп провайдер называется

Такой генератор

А хаскель умеет типы на лету строить?

Ну ты можешь объявить несколько заранее (как и в f#), никто и не говорил что надо именно типы на лету генерить

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

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

Пока выглядит велосипедно

Если б прилетела такая задача, я сначала попробовал отговорить её решать ТАК

но если всё же в теории её решать ТАК

Ну и я о том же

то генерация IL - нормальный костыль

считал данные, сгенерил тип, подгрузил тип, работаем

Вообще неясно, откуда данные приходят, куда должны уйти

В каком виде

Пока выглядит велосипедно

Я вообще думал подвести к мысли и "тайп-классах" и гетерогенных коллекциях (HList)

А, ты хочешь пофлудить на тему тайп классов

ПОнял тебя

считал данные, сгенерил тип, подгрузил тип, работаем

Не надо ничего генерить, вот все проще. У тебя в JSON приходит коллекция 2-х типов. [ { type: "person", name: "alex", age: 20 }, { type: "city", contry: "russia", iscapital: false } ] Как их выразить в типах? (что были рекорды)

Где-то выше я писал тип

Под который они все подходят

type Something = | Person of (name : string) * (age : int) | City of (country: string) * (isCapital: bool)

Не

Неверный подход

Не

без хешмап

Без хешмапа список рекордов вида {Name:string;Value:MyDU}

эээ. так вопрос в том что MyDU ограничен и нерасширяем

т.е. завтра прилетит тип Project а его там нет

Количество простых типов у нас небольшое

так речь не про простые типы