SA
Не между какими, я защищаю только константы, остальные куски той статьи, что я видел на скриншотах - бред
Я легко напишу такой функтор на котовых тайпклассах. Так может тогда теоркат - бред, если он не подходит под практические задачи?
Size: a a a
2020 August 02
Oℕ
Но почему он 42 тогда?
А почему нет
Oℕ
Но почему он 42 тогда?
Всегда так обозначаются константные функторы
AD
Ну ок
KC
object Const42{
type F42[+A] = Const42.type
implicit object monad extends StackSafeMonad[F42]{
def pure[A](a: A) = Const42
def flatMap[A, B](fa: F42[A],
f: A => F42[B]) = fa
}
type F42[+A] = Const42.type
implicit object monad extends StackSafeMonad[F42]{
def pure[A](a: A) = Const42
def flatMap[A, B](fa: F42[A],
f: A => F42[B]) = fa
}
KC
Извините, не компилится
Oℕ
Я легко напишу такой функтор на котовых тайпклассах. Так может тогда теоркат - бред, если он не подходит под практические задачи?
он не будет функтором
SA
он не будет функтором
По какому определению функтора - из теорката или "тип высшего порядка с операцией map и законами" ?
Oℕ
Извините, не компилится
KC
Я просто с телефона скопипастил код, увидел ошибку и принес сюда факт... при чем тут я
Oℕ
По какому определению функтора - из теорката или "тип высшего порядка с операцией map и законами" ?
По определению "тип высшего порядка с операциями и законами", который является частным случаем определения из теорката
SA
По определению "тип высшего порядка с операциями и законами", который является частным случаем определения из теорката
Обоснуй?
KC
Бтв, апи котов - не "базовая" скала, если уж на то пошло.
Oℕ
Обоснуй?
Что?
Oℕ
Бтв, апи котов - не "базовая" скала, если уж на то пошло.
Согласен. Но чтение ошибок компиляции - базовая
SA
Что?
Что именно нарушает такой функтор. Я думаю, ты ошибаешься.
Oℕ
Что именно нарушает такой функтор. Я думаю, ты ошибаешься.
ну смотри, у функтора всего два закона, тебе нужно их доказать.
Докажешь - будет функтором
Докажешь - будет функтором
KC
Согласен. Но чтение ошибок компиляции - базовая
Не в силах выдержать духоты чата закатил я очи 🙄
Oℕ
Что именно нарушает такой функтор. Я думаю, ты ошибаешься.
Я не знаю, какой закон нарушает код, который ты не показал.
Напиши инстанс функтора и попробуем разобраться
Напиши инстанс функтора и попробуем разобраться
Oℕ
Я легко напишу такой функтор на котовых тайпклассах. Так может тогда теоркат - бред, если он не подходит под практические задачи?
Я думаю, можно построить функторы - генераторы случайных числе и т.п. между категориями, описывающими вероятностные пространства или случайные процессы.
В принципе, можно сказать любое слово и можно придумать функтор, который подходит. Такая уж обобщённая конструкция
Но функторы в ФП это понять не поможет
В принципе, можно сказать любое слово и можно придумать функтор, который подходит. Такая уж обобщённая конструкция
Но функторы в ФП это понять не поможет