Всем привет. Вопрос следующий касаемо синтаксиса Скалы 3. Допустим есть

Question

Всем привет. Вопрос следующий касаемо синтаксиса Скалы 3. Допустим есть

вот такой extension метод
object StringExtensions {
extension [F[_]](str: String)(using ApplicativeError[F, Throwable]) {
def doSomething[T: Decoder]: F[T] = ???
}
}
В коде я могу вызвать его вот так
str.doSomething[Apple]
явно указав тип T, но не указывая F[_]. Вот у меня возникла проблема, ambiguous implicits и нужно F указать явно. Вопрос в том как это сделать. Пробовал
str.[IO]doSomething[Apple]
str[IO].doSomething[Apple]
не сработало

#programming #russian #scala

0

08.09.2021

7 ответов

12 просмотров

Skeptical Lynx Автор вопроса

Eλijah
похоже что тайп аргументы плохо стакаются с экстен...

с этим синтаксисом тоже есть ньюанс. Fку указать мне надо только в одном месте (в тесте). В других местах тип Fки хорошо подхватывается сам. А вот тип T надо указывать всегда. И не хотелось бы каждый раз строчить str.doSomething[F, Apple]

0

08.09.2021

Oleg ℕižnik

Skeptical Lynx
с этим синтаксисом тоже есть ньюанс. Fку указать м...

не думаю, что удастся избежать явной передачи типа, который не определяется по типу аргументов, сейчас есть экспериментальное, но уже задепрекейченное расширение https://dotty.epfl.ch/docs/reference/experimental/named-typeargs.html в будущих версиях его планируют заменить на частичное применение тайп-параметров

0

08.09.2021

Skeptical Lynx Автор вопроса

Oleg ℕižnik
не думаю, что удастся избежать явной передачи типа...

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

0

08.09.2021

Никита Мязин

Oleg ℕižnik
не думаю, что удастся избежать явной передачи типа...

а почему задепрекейтили? Выглядит как что-то, что лучше иметь, чем не иметь

0

08.09.2021

Oleg ℕižnik

Никита Мязин
а почему задепрекейтили? Выглядит как что-то, что ...

наверное полагают, что частичное применение лучше

0

08.09.2021

Andrey Sugak

Skeptical Lynx
с этим синтаксисом тоже есть ньюанс. Fку указать м...

Если в одном месте, то можно просто вызвать метод как обычный, не-экстеншн, тогда можно явно передать тайп параметры. doSomething[IO](str)[Apple]

0

08.09.2021

Eλijah · Accepted Answer

Eλijah

похоже что тайп аргументы плохо стакаются с экстеншенами. попробуйте вот так extension (str: String) def doSomething[F[_], T: Decoder](using ApplicativeError[F, Throwable]): F[T] = ???

0

08.09.2021

169 похожих чатов

Всем привет. Вопрос следующий касаемо синтаксиса Скалы 3. Допустим есть

7 ответов

Похожие вопросы