Обновить
119
0
Александр Сербул @AlexSerbul

Пользователь

Отправить сообщение
Вот именно — ответственность разработчиков компилятора сваливается на программиста. А в «умных» ЯП все наоборот.
Так я ж про php и python написал в посте. Раби почти тоже самое :-)
:-) Слушай, но пишут же хороший надежный софт и без монад. Даже во вводе-выводе можно не разбираться, использовать IO monad как есть. Хаскель в первую очередь исследовательский язык, там заглядывают в будущее
Согласен полностью. И это большая проблема, да.
Да, я согласен с тобой, если убрать про моноид, то получаем в хаскеле обобщенную функцию. Лучше пока не нырять в детали: моноиды и монады, там пипец. Достаточно на первое время понять алгебраические типы, паттерн-матчинг, caseclasses и базовые методы работы со списками и вводом-выводом.
Строгие типы, инкапсуляция внутри объекта, неплохая и мощная модель работы с потоками, нельзя данные в памяти повредить случайно.
Я часто переключаюсь между js, php, java и python, постоянно сравниваю и поэтому пост и написал — каждый ЯП хорош в своей нише, не нужно микроскопом гвозди забивать, как иногда пытаются.
А в сайтиках тоже не всегда все просто
en.wikipedia.org/wiki/Structural_type_system
A distinction exists between structural substitution for inferred and non-inferred polymorphism. Some languages, such as Haskell, do not substitute structurally in the case where an expected type is declared (i.e., not inferred), e.g., only substitute for functions that are signature-based polymorphic via type inference.[1] Then it is not possible to accidentally subtype a non-inferred type, although it may still be possible to provide an explicit conversion to a non-inferred type, which is invoked implicitly.
Между строк нужно читать, суть
Заставили? Нет, мы регулярно смотрим вокруг, анализируем и думаем.
спасибо, прямо в «десяточку»
Полиморфизм в хаскеле просто поражает.
Строгая динамическая. Да, строгая и к числу строку не добавишь. Я про «динамическую». Это означает, что проверки типов нет вообще и что в сигнаруре метода ты не укажешь интерфейс и он дернет все, что пришло, в рантайме — и ему пофиг, объект А это или объект Б. Да, они начали сбоку прикручивать метатэги типов и в php тоже начали — но это не тренд.
Вот задумайся на секунду — почему живет до сих пор питон с огромным количеством сложных библиотек? Там же нет строгой типизации, как оно ваще может быть и еще активно развиваться?
Да погоди :-) Пост лучше прочитай. Дело не в троллинге — я проблему описал, свое видение отрасли. Никакого холивара, просто трезвый взгляд.
Вот именно, в Symfony настоящее ООП головного мозга. В Битрикс-движке все гораздо лучше же
Если у тебя хороший отдел тестирования, а не «кликеры без понимания смысла» — то в принципе можно не волноваться. А вот если команда небольшая, а цена ошибки очень высока — то понимать код становится все сложнее
Да не :-) Проблема многословности и нечитаемости языков лишь. Почему питон читается и помещается на экран, а java — гораздо хуже.

Информация

В рейтинге
Не участвует
Откуда
Раменское, Москва и Московская обл., Россия
Работает в
Дата рождения
Зарегистрирован
Активность