Oℕ
Там экзистенциальный тип в конструкторе у фриир мнады
Size: a a a
2020 February 02
O
у тебя либа, которую кто-то к себе подключит, потому неизвестно, к какому типу будет применение
Oℕ
Oℕ
У тебя есть конкретный f x
Oℕ
Тебе нужно построить конкретный g x
Oℕ
Но x в компайл тайме неизвестен
O
при полиморфной рекурсии ты не знаешь, с каким типом вызовется, потому что структура типа может зависеть от юзеринпута
O
можно конечно сгенерировать бесконечное множество реализаций
Oℕ
В хаскеле и скале - это лифтед тайпы, они все в рантайме пребставлены просто ссылками на непонятно что
λ
Паша кажется про плюсовые шаблоны говорит
Oℕ
Паша кажется про плюсовые шаблоны говорит
Да
O
👍вот это подход к решению проблем
Oℕ
DM
Ушёл посоны
хорошего вечера
DM
не мешай черный чай с пуэром
Oℕ
не мешай черный чай с пуэром
блэт