KC
Покажи мне функтор "константа"
Олег уже приводил
Там правда не "константа" а "константа 42"
Там правда не "константа" а "константа 42"
Size: a a a
2020 August 02
𝛈µ
И потом - "аппаратный генератор случайных чисел"
𝛈µ
Олег уже приводил
Там правда не "константа" а "константа 42"
Там правда не "константа" а "константа 42"
Да, хороший пример функтора
AD
Олег уже приводил
Там правда не "константа" а "константа 42"
Там правда не "константа" а "константа 42"
Можно подобным образом сделать и просто "константа"
SK
Все началось вообще с того, что вас попросили написать код для ваших функторов из статьи, чтобы посмотреть на соблюдение законов, а вы перевели спор в обсуждение того, что такое F[A]
SA
Покажи мне функтор "константа"
Между прочим, я в статье нигде не писал, что константа - это функтор.
SA
Все началось вообще с того, что вас попросили написать код для ваших функторов из статьи, чтобы посмотреть на соблюдение законов, а вы перевели спор в обсуждение того, что такое F[A]
Нет, началось всё с того, что я привык в голове называть F[Int] - функтором, хотя это терминологически неверно. Я это понял, а дальше пошел обычный срач, из которого никто не вынесет ничего разумного, доброго или вечного.
KC
Между прочим, я в статье нигде не писал, что константа - это функтор.
KC
SA
это "реализация функтора", которую кто-то интерпретировал как "функтор" вместо "порождающей функции для значений функтора"
ΛВ
это "реализация функтора", которую кто-то интерпретировал как "функтор" вместо "порождающей функции для значений функтора"
Что такое значение функтора?
SA
Что такое значение функтора?
результат вычисления функтора?
λ
Это какое-то новое определение
ΛВ
результат вычисления функтора?
А что такое вычисление функтора?
𝛈µ
Альтернативная теория физического фп и торсионный функтор Алаева
SA
А что такое вычисление функтора?
Я не теоретик, с вопросами "что такое "что такое" " обращайтесь в другое место.
ΛВ
Функтор -- класс типов с дыркой, если упрощать. Как у штуки с дыркой может быть значение?
𝛈µ
Есть левозакрученный функтор
ΛВ
Я не теоретик, с вопросами "что такое "что такое" " обращайтесь в другое место.
Тем не менее сами просите/пытаетесь пояснить "теоретические" вещи
λ
Функтор -- класс типов с дыркой, если упрощать. Как у штуки с дыркой может быть значение?
Берешь и кладёшь в дырку значение.