какой json

Для чего?

Где?

toString у Point нельзя вызвать?)

toString у Point нельзя вызвать?)

Можно. А fromString?

КТО СКАЗАЛ ГЕТТЕР

Нет, там какой-то ад был вообще не в тему.

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

toString у Point нельзя вызвать?)

А еще круто когда toString всегда возваращает что-будь типа «[Object]». Ну не определил человек toString

ну и ладно, System.identityHashCode в качестве ключа норм)

вообще нужно исходить из того, что у тебя Map<String,String>

ну и ладно, System.identityHashCode в качестве ключа норм)

Читать надо.

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

вообще нужно исходить из того, что у тебя Map<String,String>

У нас уже был спро на эту тему. В джаве это справедливо потому что toString, equals и hashCode ты ручками определяешь. По этому юзать обекты в качестве ключей типа не ок. В Scala у нас руки развязаны.

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

Да, по этому есть класстайм через который ты это доказываешь.

В общем это просто была иллюстрация отсутсвия изоморфизма.

эт да, поэтому я бы на твоем месте определил trait c методом toKey )

эт да, поэтому я бы на твоем месте определил trait c методом toKey )

Ага. Иди UUID заэкстенди :)

и если треита нету, то пшол вон )))

Так что тайпкласс.

Так что тайпкласс.

на самом деле, toString хороший вариант, ибо программист сразу увидит проблемы и переопределит его )

на самом деле, toString хороший вариант, ибо программист сразу увидит проблемы и переопределит его )

Еще раз. Чтение.

подожди) чтение эт другой разговор)

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

Изоморфность подразмувает что можно в обе стороны фигачить.

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

Алексей, ты точно о людях думаешь? Тут все в голос сказали, что нафиг приведение строки к списку. Хочется определенности. Что бы строка являлась строкой, а не тенью списка на стене темной пещеры. (голосом старика) не для того мы шли к неизменяемым переменным, чтобы потом освободившуюся голову загружать особенностями приведения значений.

Ребят, такой вопрос. У меня есть функция, примерно такого вида: def func[InputType, OutputType <: SomeWrapper[T]](input: T): OutputType И вызываю я ее сейчас так: func[Input, Output](input) В принципе, из контекста понятно какой тип идет на вход. Мне хочется сделать так, чтобы я в явном виде указывал только выходной тип, а не входной. Чтобы работало примерно также, как с имплиситами, но с типами. Примерно так: func[Output](input) // Input выведется компилятором из контекста

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

Похоже что должно быть что-то вроде def foo[From, To](x: From)(implicit conv: From => To): To

он опечатался T

Да сорян

там опечатка

Тогда имплисит

def func[InputType, OutputType <: SomeWrapper[T]](input: InputType): OutputType

А T в SomeWrapper[T] откуда?

епт :D

def func[InputType, OutputType <: SomeWrapper[InputType]](input: InputType): OutputType

во, вот так

T = InputType опечатка же ну

Судя по сигнатуре SomeWrapper умеет оборачивать любой InputType.

implicit conversion не подходит, потому что у меня его нету

нет, это не обертка

Тогда def func[T](input: T): SomWrapper[T]

Тогда не достаточно данных что бы на вопрос ответить

смотри, у меня есть какой-то InputType. Для него есть какой-то SomeWrapper[InputType], который является трейтом. У него есть несколько наследников. Я хочу написать функцию, которая принимает на вход только ожидаемого наследника (`OutputType <: SomeWrapper[T]`) а остальные отбрасывает с правильной ошибкой.

trait Wrapper[T] { type Output; } def func[Input: Wrapper](x: Input): Unit = { println(implicitly[Wrapper[Input]]) } implicit val intWrapper = new Wrapper[Int] { type Output = String; override def toString(): String = "Int wrapper" } func(1) // prints Int wrapper

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

в твоем варианте нету указания, какой конкретны Output должен быть

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

а второй должен выводится

понял ) ща

trait Wrapper[InputT] { type Output def convert(input: InputT): Output } def func[Input](x: Input)(implicit w: Wrapper[Input]): Wrapper[Input]#Output = { w.convert(x) } implicit val intWrapper = new Wrapper[Int] { type Output = String def convert(input: Int): Output = s"Int wrapper for $input" } func(1) // prints "Int wrapper for 1"

я же писал выше, преобразования по бизнес логике нету

просто есть тип SomeWrapper[InputType]

а однозначного преобразования InputType => SomeWrapper[InputType] нету

можно так

def inferring[InputType](input: InputType) = new { def apply[OutputType <: SomeWrapper[InputType]]: OutputType = { println("ok"); null.asInstanceOf[OutputType] } }

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

val k = inferring("s")[SW]

и надо доказать что K = String

врядли окмпилятор может

вот я что-то такое и пытаюсь сделать в коде, с apply

object A { trait SomeWrapper[_] class SW extends SomeWrapper[String] def inferring[InputType](input: InputType) = new { def apply[OutputType <: SomeWrapper[InputType]]: OutputType = { println("ok"); null.asInstanceOf[OutputType] } } val k = inferring("s")[SW] }

а не

ERROR: S client not available

все впоряде

так можно

trait SomeWrapper[_] class SW extends SomeWrapper[String] def inferring[InputType](input: InputType) = new { def apply[OutputType <: SomeWrapper[InputType]]: OutputType = { println("ok"); null.asInstanceOf[OutputType] } } val k: SW = inferring("s")[SW]

да, прокатило

спасибо

но он попросил импортнуть scala.language.reflectiveCalls

и идея не понимает таких выкрутасов :D

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

в принципе для тебя я думаю не проблема добавить еще проверку на isEmpty

:D надо самому записать эту штуку; малоли понадобится

по-моему пздц выглядит :) Маньяк-разработчик, который будет после вас это поддерживать, найдет ваш адрес и забьет насмерть книжкой Стива Макконнелла

null.asInstanceOf[OutputType] АААААА new { AAAAA!!!!111

ну это для того чтоб инвок был в консоле))

можно вместо этого анонимного типа сделать конкретный

TEST

ну, я сейчас пытаюсь это сделать

@fomkin вообще просто сделай пропертю, что если прогер хочет такого поведения, то пусть и юзает

@fomkin вообще просто сделай пропертю, что если прогер хочет такого поведения, то пусть и юзает

Проще сказать, чем сделать.

@fomkin я так понимаю в макросы упрешься)

@fomkin я так понимаю в макросы упрешься)

Нет. Писалка списков это имплисит. Его нужно конфигурить а) через глобальную переменную б) через другой имплисит.

хм

У меня раньше в пушке были имплисит конфиги, для того что бы Option писать как null иногда. Но этим ни кто за год не воспользовался и я это выпилил.

Другая тема, сделать разные наборы ридеров и райтеров для дефолтных типов. Типа import pushka.strict._, где там числа обязательно числа, а списки обязательно списки. И import pushka.nonstrict._ где все читается хрен пойми как.

Но это слишком поломает API. Я не готов везде переделывать.

Кому интересно - можно сделать так: class Inferring[InputType](input: InputType) { def apply[OutputType <: SomeWrapper[InputType]]: OutputType = { println("ok"); null.asInstanceOf[OutputType] } } def inferring[InputType](input: InputType) = new Inferring(input)И не нужно никаких reflective calls

отлично (:

Другая тема, сделать разные наборы ридеров и райтеров для дефолтных типов. Типа import pushka.strict._, где там числа обязательно числа, а списки обязательно списки. И import pushka.nonstrict._ где все читается хрен пойми как.

переделывай на мету)

переделывай на мету)

Товарищи, я так понимаю, что на мету невозможно переписать либы использующие макросы, пока не будет готово это https://github.com/scalameta/scalameta/issues/436

Или я что-то не так понимаю?

Сейчас с помощью меты можно написать тулзы, которые берут текст скала кода из файла, перехерачивают его, и пишут обратно в файл(например форматтер scalafmt)

Ну или не из файла