G
И ФП не только про чистые функции, а ещё и про обобщённые конструкции (первого класса), такие как монады, функторы, позволяющие переиспользовать код
Size: a a a
2020 March 06
G
И в целом про декларативный подход к написанию программ
AZ
но в языке без скобочек у тебя мозг просто обязан цепляться за val/def, поскольку это источник большого количества информации
В скале есть скобки
AZ
что там? кроме того, что автору не нравится факториал, который помещается на экране, но нравится тот, что надо читать на 21:9
ща бы вместо фолда в 10 символов писать мутабельный цикл
AZ
@pavlus_0 https://t.me/rust_offtopic/188523 вот пример
Т8
И ФП не только про чистые функции, а ещё и про обобщённые конструкции (первого класса), такие как монады, функторы, позволяющие переиспользовать код
А чем функтор отличается от делегата, от класса с перегруженным operator (), от указателя на функцию?
DS
Т-34 85
А чем функтор отличается от делегата, от класса с перегруженным operator (), от указателя на функцию?
Тем что это разные вещи.
Функтор - это абстракция над типом у которого можно вызвать map, чтобы поменять внутренний тип.
Функтор - это абстракция над типом у которого можно вызвать map, чтобы поменять внутренний тип.
Т8
Тем что это разные вещи.
Функтор - это абстракция над типом у которого можно вызвать map, чтобы поменять внутренний тип.
Функтор - это абстракция над типом у которого можно вызвать map, чтобы поменять внутренний тип.
Так тоже самое можно делать в функции
DS
Т-34 85
Так тоже самое можно делать в функции
Покажи в коде, что ты имеешь в виду
AZ
Т8
Покажи в коде, что ты имеешь в виду
DS
Т-34 85
Это не функтор в ФП понимании
Т8
Это не функтор в ФП понимании
Тогда хз
A
Кстати, когда я говорю про проблемы кастомного DPI: вот эта фигня в центре - это плашки от стима
Прикольно
A
Я отключил уведомления в стиме
Т8
Это не функтор в ФП понимании
А там это вроде интерфейсов - концептов?
Т8
Это не функтор в ФП понимании
А чем делегаты не устраивают?
DS
Т-34 85
А чем делегаты не устраивают?
Потому что под названием функтор в ФП понимают совершенно другую конструкцию, чем то, что назвали функтором в крестах.
Сейчас дойду до компа, напишу на концептах, то, что в ФП под функтором понимают
Сейчас дойду до компа, напишу на концептах, то, что в ФП под функтором понимают
G
Т-34 85
А чем функтор отличается от делегата, от класса с перегруженным operator (), от указателя на функцию?
Объяснение для ООПшников: функтор - это всё, что реализует интерфейс Functor с методом fmap, для которого справедливо равенство:
fmap(id от A) = id от Functor<A>
id - функция, которая возвращает свой единственный аргумент, ничего не делая.
fmap(id от A) = id от Functor<A>
id - функция, которая возвращает свой единственный аргумент, ничего не делая.
G
Там не интерфейс, конечно, а тайп-класс, но по сути близко