А кто-нибудь обсуждал возможность частичной аннотации типов в скале? Например def fn[A,

Question

А кто-нибудь обсуждал возможность частичной аннотации типов в скале? Например def fn[A,

B](....): Either[A, B] = ???
val res: Either[String, ?] = fn(...)Хочется иметь возможность аннотировать только то, что интересно, а остальные параметры оставить на откуп инференсу.
Причем "?" - это не экзистеншел. Это конкретный тип, и код ниже должен иметь возможность использовать его при тайпчекинге.

Иногда очень не хватает при работе с ZSink и полдюжиной его параметров.

#programming #russian #scala

0

10.03.2021

11 ответов

4 просмотра

Evgenii Kuznetcov Автор вопроса

catostrophe
Есть PartiallyApplied паттерн, этакое каррирование...

А есть какой-нибудь пример? >>> В скала3 хотели сделать возможность задавать тайппараметры по имени, но не помню, смержили или нет Это я видел, да. Но можно ли задать неполный список параметров?

0

10.03.2021

catostrophe

Evgenii Kuznetcov
А есть какой-нибудь пример? >>> В скала3 хотели с...

Примеров полно в либах. https://github.com/tofu-tf/tofu/blob/e489d0c19a9217e03cf6bd8a8a6fa26aaad74eb1/logging/structured/src/main/scala/tofu/logging/LoggableContext.scala#L12

0

10.03.2021

catostrophe

Evgenii Kuznetcov
А есть какой-нибудь пример? >>> В скала3 хотели с...

https://dotty.epfl.ch/docs/reference/other-new-features/named-typeargs статус непонятный

0

10.03.2021

Evgenii Kuznetcov Автор вопроса

catostrophe
https://dotty.epfl.ch/docs/reference/other-new-fea...

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

0

10.03.2021

catostrophe

catostrophe
https://dotty.epfl.ch/docs/reference/other-new-fea...

вроде import language.experimental.namedTypeArguments

0

10.03.2021

Oleg ℕižnik

Evgenii Kuznetcov
Вот это радует, спасибо, не совсем решает мою проб...

нет, так нельзя

0

11.03.2021