DF
Да, а вообще Доге уже выше говорил об этом
Size: a a a
2020 March 06
DF
Мне кажется Танк спорит ради спора
G
В статье Жуковского (которая в закрепе) самая наглядная иллюстрация к функтору
Т8
Функтор это интерфейс, который состоит из одной функции, которая позволяет поменять содержимое _контейнера_ не меняя его структуру
Почему тоже самое нельзя сделать функцией?
λ
Вот есть у тебя дерево с числами, а ты можешь его в дерево со строками превратить с помощью инстанса функтора
p
Поверил или как?
Во что?
G
Это смысл функтора
DS
Т-34 85
Лишние усложнения на ровном месте
Наоборот же, обьекты можно выразить целиком через функции.
И функция как штука сильно проще, чем обьекты.
То есть не зря в теории типов обьекты выражаются через функции, как и вообще всё остальное
И функция как штука сильно проще, чем обьекты.
То есть не зря в теории типов обьекты выражаются через функции, как и вообще всё остальное
λ
Т-34 85
Почему тоже самое нельзя сделать функцией?
Потому что на каждый тип _контейнера_ тебе понадобится отдельная функция и ты не сможешь по типу контейнера абстрагироваться
p
@p0lunin @pavlus_0 Т-34
Ссылочная прозрачность - свойство выражения, когда
Посмотрите на этот пример кода на Rust. Здесь функции
В самом низу
- Но весь мир же грязный!
Да, но нас это не волнует и волновать не должно.
- Но I/O же всё равно делается!
Пусть делается, наша программа же должна как-то работать. Просто мы хотим от ФП языка одновременно и ссылочную прозрачность, и возможность полноценного I/O.
Ссылочная прозрачность - свойство выражения, когда
expression можно заменить на его значение без изменения работы программы. Чистая функция - та функция, вызов которой обладает ссылочной прозрачностью.Посмотрите на этот пример кода на Rust. Здесь функции
print_something, our_main и print_really_big чистые (о чём свидетельствует const), т.к. всегда возвращается эквивалентный Future. Внутри себя Future делает I/O.В самом низу
main - это то, что творится в интерпретаторе функционального языка программирования. Он вызывает наш our_main и уже делает грязную работу.- Но весь мир же грязный!
Да, но нас это не волнует и волновать не должно.
- Но I/O же всё равно делается!
Пусть делается, наша программа же должна как-то работать. Просто мы хотим от ФП языка одновременно и ссылочную прозрачность, и возможность полноценного I/O.
Ну я это знал давно, и применяю
Т8
Потому что на каждый тип _контейнера_ тебе понадобится отдельная функция и ты не сможешь по типу контейнера абстрагироваться
Шаблоны, дженерики?
G
Ну я это знал давно, и применяю
Теперь представь, что Result, Option, Future (которая старая Future) - монады
G
По смыслу
Т8
Наоборот же, обьекты можно выразить целиком через функции.
И функция как штука сильно проще, чем обьекты.
То есть не зря в теории типов обьекты выражаются через функции, как и вообще всё остальное
И функция как штука сильно проще, чем обьекты.
То есть не зря в теории типов обьекты выражаются через функции, как и вообще всё остальное
Не вижу в этом радости
p
Теперь представь, что Result, Option, Future (которая старая Future) - монады
Ну и?
Т8
Потому что на каждый тип _контейнера_ тебе понадобится отдельная функция и ты не сможешь по типу контейнера абстрагироваться
Даже полиморфизм подтипов может решить этот вопрос
G
Ну и?
Ты каждый день пользуешься монадами, вот так
DS
Т-34 85
Не вижу в этом радости
Разница в том, что функции более простая конструкция с точки зрения компилятора, тайп-чекера и т.п.
Обьект - это сложная фигня с иерархией наследования, конструкторами и десктрукторами, перегрузками методов и т.д. и т.п.
Функция - это простейщая фигня вообще без движущихся частей.
Она элементарно выражается и работает в системах типов.
Обьект - это сложная фигня с иерархией наследования, конструкторами и десктрукторами, перегрузками методов и т.д. и т.п.
Функция - это простейщая фигня вообще без движущихся частей.
Она элементарно выражается и работает в системах типов.
r
А ещё мы каждый день пользуемся общей теорией относительности (GPS), квантовой механикой (светодиодные лампочки) и много чем ещё.