SK
возможно однажды стану как Кривда
Можешь уже сейчас, нужно всего лишь...
Size: a a a
2020 March 26
DM
В тон с аватаркой
одним тональником пользуются
w
одним тональником пользуются
Эх, сча бы пользуются
Oℕ
по утрам пить столовую ложку колы?
V
по утрам пить столовую ложку колы?
Половник
ᛒ
@odomontois @happy_bracket как объяснить человеку почему в хаскеле нет концепта variance
Oℕ
@odomontois @happy_bracket как объяснить человеку почему в хаскеле нет концепта variance
есть
(
покажи
Functor, Contravariant
Oℕ
Functor\Contravariant\Profunctor
(
Только это не тот варианс, про который ты думаешь
(
Тот
я не видел изначального вопроса, но уверен, что он про дженериковый варианс в языках с сукатайпингом
Oℕ
я не видел изначального вопроса, но уверен, что он про дженериковый варианс в языках с сукатайпингом
это родственные вещи
(
это родственные вещи
хорошо, убедил
Oℕ
можешь в качестве упражнения написать что-то, для чего можно написать законный инстанс функтора, но нельзя поставить плюс (подразумевая проставление вариантности во всех вспомогательных типах)
и наоборот ковариантный тип, для которого нельзя написать законный инстанс функтора
и наоборот ковариантный тип, для которого нельзя написать законный инстанс функтора
(
@odomontois @happy_bracket как объяснить человеку почему в хаскеле нет концепта variance
где это обсуждение-то?
ᛒ
где это обсуждение-то?
у мня на работе