AZ
из резалта в опшн например
Size: a a a
2020 March 08
AZ
или из опшна в список из 0-1 элемента
DF
Да, А это тип элемента
V
я прост в этих ваших вузах не учился, по тому за теоркат не шарю
DF
Я думаю там произвольный функтор
V
из резалта в опшн например
а
DF
f g это функторы
AZ
Dollar Føølish
Я думаю там произвольный функтор
там вообще не функтор, любые типы.
DF
Да, но по логике что то должно быть
DF
Не любое
AZ
Dollar Føølish
Да, но по логике что то должно быть
слушай, в расте тоже констрейнты советуют не на структуру вешать, а на имплы. Так вот тут то же самое. Интересны имплы наверняка будут функторами, но это не повод вешать лишний констрейнт на трейт
DF
Хорошо
V
тоесть есть у нас Option<int> и мы можем ему применить
var optional = new Option<int>.None;
var emptyListOfInts = optional.apply(List<int>.FromOptional);
var optional = new Option<int>.None;
var emptyListOfInts = optional.apply(List<int>.FromOptional);
p
а у карго есть какая-то фича типо "пройдись по всем папкам, и если найдешь импорты несуществующих обхектов, то удали их, а если какие-то нехватает а они есть, то добавь их"?
V
тоесть есть у нас Option<int> и мы можем ему применить
var optional = new Option<int>.None;
var emptyListOfInts = optional.apply(List<int>.FromOptional);
var optional = new Option<int>.None;
var emptyListOfInts = optional.apply(List<int>.FromOptional);
чи шо?
AZ
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]
_ => []
}
}B
ну и я его прочитать не могу, так что хз
+
V
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]
_ => []
}
}не вижу никакой проблемы эту залупу во время компиляции разрулить
AZ
что тут сложного?
AZ
не вижу никакой проблемы эту залупу во время компиляции разрулить
вопрос как эта сигнатура будет в сишарпе выглядеть