GP
я заметил, что если генерить клесси линзы для контекста, то экстракторы отлично подхватываются
а елси не клеесси то не работает; это так и задумано?
а елси не клеесси то не работает; это так и задумано?
Size: a a a
2020 February 03
Oℕ
если не класси - то дефы не имплисит, никаких имплиситных экстрактов нет, логично
GP
если не класси - то дефы не имплисит, никаких имплиситных экстрактов нет, логично
а; все; понял
Oℕ
ты можешь написать реализацию mapK для фримонады на твоём виртуальном языке без стирания, например на расте
Oℕ
однажды @sherzodv написал функтор на С++, но это потому что там сделаны хайер ордер темплейты специально
Тут задача сложнее функтора
Тут задача сложнее функтора
Oℕ
Предлагаю на С++ написать
Oℕ
их делали 10 лет по-моему
Oℕ
И поддержка хайер ордер темплейтов по кусочкам вводилась
Oℕ
Так что там вполне всё специально запиливали
Oℕ
Так же как и в окамле функторы
Oℕ
тяжело и с болью
Oℕ
case class Bind[S[_], A, B]
Oℕ
fa: F[A]
cont: A => Free[S, B]
cont: A => Free[S, B]
Oℕ
тип A экзистенционален
Oℕ
в твоей структуре может быть непредсказуемо большое число таких Bind c разными типами A
Oℕ
Соответственно разными F[A]
Oℕ
КОторые не известны на этапе компиляции
Oℕ
Необходимо так реализовать S ~> T
Oℕ
Чтобы она могла взять S[A] для заранее неизвестного типа A и сконструировать T[A]