AZ
что интеллисенс показывать будет
Size: a a a
2020 March 08
V
вопрос как эта сигнатура будет в сишарпе выглядеть
я показал
AZ
я не нашел
B
что тут сложного?
например что такое ~> ?
AZ
кроме предложения скрыть
AZ
например что такое ~> ?
имя трейта
V
ну короче будет N реализаций с волшебными именами методов
AZ
может быть Clone, может Display, а может ~>
AZ
имя
B
ну очевидно тчо если у него такое имя то его и не надо выражать в терминах шарпа, лол)
V
тоесть будет Optional
и будет (internal|public) static class OptionalTraitsImplementation {}
и будет (internal|public) static class OptionalTraitsImplementation {}
AZ
ну короче будет N реализаций с волшебными именами методов
откуда N возьмешь?
B
все-равно обратится нельзя будет
V
тоесть будет Optional
и будет (internal|public) static class OptionalTraitsImplementation {}
и будет (internal|public) static class OptionalTraitsImplementation {}
и в нём все реализации твоих трейтов
AZ
все-равно обратится нельзя будет
ну назови его нормально, не важно же
EG
Да, в джаве дженерики не существуют в рантайме. Скаловские дженерики тоже, часть информации о них можно получить, если обьявить имплисит Manifest, но это opt-in штука.
V
и в нём все реализации твоих трейтов
ну это как вариант
B
trait ~>[F[_], G[_]] {
def apply[A](f: F[A]): G[A]
}
impl Result[_] ~> Option[_] {
def apply[A](f: Result[A]): Option[A] = f match {
Ok(x) => Some(x)
_ => None
}
}impl Option[_] ~> List[_] {
def apply[A](f: Option[A]): List[A] = f match {
Some(x) => [x]
_ => []
}
}trait LOL [F[_], G[_]]
типо терт с двумя генрик аргументами?
типо терт с двумя генрик аргументами?
AZ
trait LOL [F[_], G[_]]
типо терт с двумя генрик аргументами?
типо терт с двумя генрик аргументами?
да
B
или это как тайпклас от двух типов?