AG
Size: a a a
2020 August 02
AG
так это разве константа? это константный функтор
ой всё
Oℕ
так это разве константа? это константный функтор
чем константный функтор не константа
SA
пример функтора: константа
А что не так?
4242.map[A](f: Int => A) = f(42)KC
А что не так?
4242.map[A](f: Int => A) = f(42)Ты умеешь для отдельных значений определять методы?
Oℕ
Ты умеешь для отдельных значений определять методы?
да
KC
Вообще будь там написано "Id" возможно джейли бы не тригернулся, но имеем что имеем.
SA
Ты умеешь для отдельных значений определять методы?
Аааа, это джейли. Ну, ему ничего объяснять уже не нужно.
Oℕ
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
}
Oℕ
далее
AD
Функтор мапает морфизмы в морфизмы
AD
Как 42 мапает, и что во что?
SA
Функтор мапает морфизмы в морфизмы
именно поэтому я и написал эту статью - объяснить смысл без лапши, которую навешивают в этом чате. Вообще я имел в виду не саму обертку, а реализацию генератора значений, который используется в функторе. Т.е. код, который можно залифтить в функтор. Неужели ты это не понял?
Oℕ
`case class Const[A, +B](a : A)
object Const{
implicit def monad[A](
implicit va: ValueOf[A]):
Monad[Const[A, *]] =
new StackSafeMonadMonad[Const[A, *]]{
val res: Const[A, Nothing] =
Const (ValueOf())
def pure[B](b : B) = res
def flatMap[B, C](
fb : Const [A, B], f: B => Const[A,C]) = res
Oℕ
Как 42 мапает, и что во что?
функтор 42 на порядке натуральных чисел мапает любое число в 42, любое неравенство в 42 <= 42
SA
@odomontois Нужен ответ теоретика. Функтор F[Int], который при evaluation возвращает случайное число, это морфизм между какими категориями?
Oℕ
Как 42 мапает, и что во что?
Функтор 42 из любой категории в порядок натуральных чисел мапает любой объект в 42, любой морфизм в нервенство 42 <= 42
Oℕ
@odomontois Нужен ответ теоретика. Функтор F[Int], который при evaluation возвращает случайное число, это морфизм между какими категориями?
Не между какими, я защищаю только константы, остальные куски той статьи, что я видел на скриншотах - бред
AD
Функтор 42 из любой категории в порядок натуральных чисел мапает любой объект в 42, любой морфизм в нервенство 42 <= 42
Но почему он 42 тогда?
AD
А не "функтор, который"