Функция foo и тип значения x определены в одном модуле. Из модуля экспортируется функция и конструктор этого типа без конструкторов данных. Функция baz определена в другом модуле
Объектная модель строит приближенное описание мира, разделяя его на отдельные фрагменты. Функциональная модель не проводит границ модулей по границам объектов. Объектная модель полезна тогда, когда раздельное состояние «объектов» намного больше, чем состояние, общее для всех или некоторых из них. Примером области, где объектный взгляд не работает, является квантовая механика, где попытки думать об объектах как отдельных частицах ведут к парадоксам и недоразумениям. Объединение объектного взгляда с функциональным может иметь отношение не столько к программированию, сколько к фундаментальным вопросам эпистемологии.
Разработка удобного, достаточно общего способа выражать отношения между различными типами сущностей (то, что философы называют «онтологией»), оказывается невероятно сложным делом. Основная разница между той путаницей, которая была десять лет назад, и той, которая есть сейчас, состоит в том, что теперь множество неадекватных онтологических теорий оказалось воплощено в массе соответственно неадекватных языков программирования. Например, львиная доля сложности объектно-ориентированных языков программирования — и мелких невразумительных различий между современными объектно-ориентированными языками, — сосредоточена в том, как рассматриваются обобщенные операции над взаимосвязанными типами. Наше собственное описание вычислительных объектов в главе 3 полностью избегает этих вопросов. Читатели, знакомые с объектно-ориентированным программированием, заметят, что нам есть, что сказать в главе 3 о локальном состоянии, но мы ни разу не упоминаем «классы» или «наследование». Мы подозреваем, что на самом деле эти проблемы нельзя рассматривать только в терминах проектирования языков программирования, без обращения к работам по представлению знаний и автоматическому логическому выводу.
Это если кэш есть ;)
Нужно помочь компилятору и писать сразу заинлайненый код с минимумом функций! ;)
Теперь можно слить все рабочие письма...
Да, только тема в вики не раскрыта совсем
Роман Пелевина "t"
В "t" описан этот use case ;)
Это что за домохозяйства потребляющие мощность 400 Ватт? И причем тут 40 лет? Этого хватит всего лишь 400 Тесл одновременно зарядить
Функция
fooи тип значенияxопределены в одном модуле. Из модуля экспортируется функция и конструктор этого типа без конструкторов данных. Функцияbazопределена в другом модуледля
foo xданные инкапсулируются вxОн там отлично работает!
Сжевала дерево =)
Хаскелем ;)
Любая формальная система
Зачем слова, когда на небе звезды
А зря ;)
Это цитаты из SICP
Haskell 😜
Дип-фейк! Не иначе.