Oℕ
Size: a a a
2020 March 02
Oℕ
почитайте папир, он интересный
Oℕ
и доклады у Коновалова интересные
NV
например, в скале и хаскеле forall A. A - это только боттомы
Так в скале тоже можно матчнуться по классу
Oℕ
Так в скале тоже можно матчнуться по классу
нельзя
Oℕ
class Foo{
def apply[A]: A = ...матчнись по классу тут пожалуйста
}
def apply[A]: A = ...матчнись по классу тут пожалуйста
}
В
class Foo{
def apply[A]: A = ...матчнись по классу тут пожалуйста
}
def apply[A]: A = ...матчнись по классу тут пожалуйста
}
он подумал о initial encoding
Oℕ
одному мне непонятна каждая вторая реплика Вадима?
NV
class Foo{
def apply[A]: A = ...матчнись по классу тут пожалуйста
}
def apply[A]: A = ...матчнись по классу тут пожалуйста
}
тогда понял
В
одному мне непонятна каждая вторая реплика Вадима?
а что тебе не понятно?
λ
одному мне непонятна каждая вторая реплика Вадима?
Нет
Oℕ
а что тебе не понятно?
вот эта реплика вся целиком
В
вот эта реплика вся целиком
Жалко
NV
просто в скале нет параметрисити потому что можно узнать тип T в
forall t. t -> t, а в шарпе параметрисити ещё меньше потому что можно узнать тип в forall t. tOℕ
просто в скале нет параметрисити потому что можно узнать тип T в
forall t. t -> t, а в шарпе параметрисити ещё меньше потому что можно узнать тип в forall t. tв скале нет параметрисити из-за вообще каждого метода Any
Oℕ
внутри метода
def foo[A](x: A) у х вообще ни одного метода не должно быть, чтобы можно было параметрисити доказать ограниченноλ
В скале к сожалению баундед параметрисити def foo[A <: Any](x: A)
Oℕ
нет, не упоминали баундед параметрисити
λ
Год назад уже обсуждали это
λ
ограниченный параметрический полиморфизм