Anonymous
они почти все мультипарадигменные
Anonymous
Haskell и ML основаны на HM, а не на лямбда исчислении
>основаны на дополнении к лямбда исчислению а не на лямбда исчислении
Anonymous
и в императивном стиле там можно чо хош сделать
Anonymous
тем более на кложуре какой-нить
Дима
Наконец то
Vladimir
Даже так: основоно на HM, который сформулярован для лямбда исчисления
Дима
Ты понимаешь, что это ортогональные вещи?
Vladimir
Что именно?
Дима
Система типов и алгоритм вывода
Vladimir
Ну не то чтобы ортогональные
Anonymous
фп без нормальной системы типов такое себе фп бтв
Дима
Я у тебя в самом начале спросил, понимашешь ли ты что такое System F, ты сказал что да
Vladimir
Алгоритм вывода работает только с определенной системой типов
Vladimir
Но даже если оставить все это в стороне, то не понятно, почему языки основанные на HM внезапно становятся функциональными
Ale
ни один лисп не стремился быть чисто фп языком
“чисто фп” в нынешнем понимании не стремился быть изначально потому что понятия фп особо не было, далее потому что индустрия двигалась иначе и вообще говоря дорого было
Vladimir
В окамле есть классы, объекты, мутабельные данные и циклы
Vladimir
Охуенное такое ФП
Anonymous
классы и фп могут сосуществовать
Anonymous
ocaml имеет элементы из императивного программирования
Дима
Вот вот
Anonymous
циклы тоже
Дима
Мутабельное состояние тоже
Anonymous
ну с натяжкой
Дима
Просто это становится сайд-эффектом
Anonymous
OCaml unifies functional, imperative, and object-oriented programming under an ML-like type system.
Anonymous
вообще вроде нет
Anonymous
ну вот сайд эффекты ж это фп противоречит
Vladimir
Так с этим никто не спорит
Anonymous
и по идее они должны только для io существовать
Vladimir
Я говорю о том, что HM - это не признак ФП ни разу
Anonymous
в идеальном мире
Anonymous
а о чем спор изначально?
Anonymous
:)
сomorsiс
Фп вс ооп
Vladimir
О том, что считать функциональным языком
Anonymous
окамл точно не фп язык
Anonymous
если вы об этом
Владимир
Не, гомопати заявил, что ооп - это такой частный случай фп
Дима
Не хочу говорить про окамл, он мне вообще не нравитс
Дима
Да, частный
Дима
Следующий вопрос
Anonymous
распиздяский случай
Anonymous
более того, если убрать наследование, то мир становится даже круче, чем есть
Дима
так а доказательство будет?
http://www.haskellforall.com/2013/02/you-could-have-invented-comonads.html
Anonymous
и ооп с фп становятся классными вместе
Anonymous
тут я с Дмитрием согласен
Дима
Спасибо)
Anonymous
(если я все верно говорю сам конечно про твою позицию)
Дима
Да)
Gleb
более того, если убрать наследование, то мир становится даже круче, чем есть
А наследование то вам чем не угодило блин?
Anonymous
🤜
Ale
http://www.haskellforall.com/2013/02/you-could-have-invented-comonads.html
парень показал как сделать парочку известных среди оопшников паттернов на хаскеле? Норм доказал
Anonymous
очень плохая абстракция
Ale
наследование типов норм
Ale
наследование реализаций говнище
Ale
было не говнище, когда надо было память экономить
Дима
парень показал как сделать парочку известных среди оопшников паттернов на хаскеле? Норм доказал
Умение создать объект, невыразимый через теорию категорий я бы не назвал хорошей практикой для программиста
Anonymous
трейты лучше экстенда
Ale
?
ну когда компиляторы были глупыми и просили везде типы расставлять, хранение всего добра в одной табличке было норм идеей
Дима
Потому что никто не запрещает, это только ооп запрещает всё подряд
Тебе просто предлагается такие вещи описывать явно
Алексей
С новым годом)
Всегда была
Фууу. Хаскель теперь просто ещё один не чисто функциональный эзотерический язык.
Anonymous
рип
Vladimir
А где там мутабельность?
Дима
Платоновский мир идей нам пока не завезли
Vladimir
Я не в теме