170 похожих чатов

По всей видимости не понял. Тезис был в том, что с

помощью системы типов можно описать намного больше, чем ты думаешь, примеры я привел.

Твое уничижительное "всего лишь "ожидался другой тип"" говорит лишь о непонимании тезиса.

Да, этого достаточно, ведь тип это описание свойств объекта. Того, как он себя ведёт, и если тип не соответствует нужному это что значит? Что он не имеет заданных свойств или имеет свойства противоречащие запросам — это отметает огромный класс логических ошибок.

9 ответов

4 просмотра

Статическая типизация несёт за собой гору проблем. Расставлять типы это наименьшее

𝖁𝖔𝖑𝖆𝖓𝖉 (Евгений Ушаков)
динамическая - еще больше:)

Вопрос очень спорный. Я бы сказал, что статическая в большинстве реализаций поощряет бездарное наследование. А это проблема куда сильнее

Илья Власов
Вопрос очень спорный. Я бы сказал, что статическая...

Вообще, в го сделано очень хорошо все с наследованием. А то в почти любом продакшн коде на условной джаве можно найти ситуации уровня наследования человека от ноги

Nero- Автор вопроса
Илья Власов
Вообще, в го сделано очень хорошо все с наследован...

в го и все хорошо. Троллинг по жести, конечно.

Nero
в го и все хорошо. Троллинг по жести, конечно.

В го можно только реализовывать интерфейсы, так что да, это там сделано отлично

Nero- Автор вопроса
Илья Власов
В го можно только реализовывать интерфейсы, так чт...

Что ж, а вот в питоне можно реализовывать абстрактные классы, это круто. P.S. уточню, что их на самом деле, конечно же, не существует, есть abc.

Nero
в го и все хорошо. Троллинг по жести, конечно.

> го > сделано хорошо > с наследованием

Nero
Что ж, а вот в питоне можно реализовывать абстракт...

Ну единственное адекватное использование абстрактных классов в питоне это создание "интерфейса". Все остальное нужно выкинуть и переписать

Похожие вопросы

Обсуждают сегодня

Интересно, нет ли какого-то способа получить из dll не адрес самой метки, а адрес со смещением?
The Bird of Hermes
54
Делал задачу вот такую https://stepik.org/lesson/4985/step/9?unit=1083 получилось такое https://play.haskell.org/saved/ipKrepqe оно работает, тестов много не писал, но работае...
Fedor
22
что-то я не понимаю, в линуксе отладочную информацию как убрать из бинаря? он что с этой опцией, что без - одного и того же (достаточно большого) размера (да, я про лазарь)
Iluha Companets
13
Hey Does anyone know how can I receive push notifications from Github on my account? The official Github android app doesn't send notifications, and I don't use the email bec...
Jacob
10
Anyone here suffers from unexplained aural migraines, who would be up for talking for a bit? Doesn't *have* to be aural, but I am not asking about headaches, I mean actual mi...
Martin Rys
58
Как в webstorm включить фичу, чтобы прямо в коде можно было видеть кто редактировал это строчку и в каком коммите?
Антон
7
Всем привет, а может кто-то подсказать какие-то советы или типо того, как оптимальнее всего сапортить сервисы в разных локациях (канада + австралия + евпропа)? Будет ли ошибк...
Stas
8
Это что теперь, любой бот сможет принимать платежи без ебли с юр лицами?
Lencore
8
Не догоняю немного каким боком тут эппл Вот есть веб (мини) апп, который по факту веб сайт, просто в телеге веб вью и если там оплата, то нежно вот эти приседания?
e\\/gen
7
Сообщение* в закодированном виде. То есть, просто сделать sendMessage?text=Привет бла-бла! не получится, надо в HEX переводить, и добавлять процент, типа такого: sendMessage?t...
КТ315
21
Карта сайта