Модераторы: Се ля ви
  

Поиск:

Ответ в темуСоздание новой темы Создание опроса
> Unit testing isn't enough. You need static typing 
:(
    Опции темы
kemiisto
  Дата 11.7.2012, 22:30 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Дикий Кот. =^.^=
****
Награды: 1



Профиль
Группа: Участник Клуба
Сообщений: 3292
Регистрация: 29.7.2007

Репутация: 1
Всего: 160



Иисус во Христе! smile 

На просторах Интернетов обнаружена магистерская диссертация, в основу которой положено исследование кода на динамически типизированных языках на предмет:
1) Достаточно ли модульного тестирования для замены проверки типов в статически типизированных языках?
2) Действительно ли динамическая типизация позволяет выразить что-то недоступное (или трудно доступное) в мире статической типизации?

ИЧСХ на оба вопроса получены отрицательные ответы. ЧТД.

Апологеты питонов-похапешек, давайте, до свидания. smile 


--------------------
PM MAIL WWW GTalk Jabber   Вверх
LSD
Дата 12.7.2012, 10:54 (ссылка) |    (голосов:1) Загрузка ... Загрузка ... Быстрая цитата Цитата


Leprechaun Software Developer
****


Профиль
Группа: Модератор
Сообщений: 15708
Регистрация: 24.3.2004

Репутация: 3
Всего: 537



Слабенький наброс, похапешники вообще юнит тестами не заморачиваются smile 


--------------------
Disclaimer: this post contains explicit depictions of personal opinion. So, if it sounds sarcastic, don't take it seriously. If it sounds dangerous, do not try this at home or at all. And if it offends you, just don't read it.
PM MAIL WWW   Вверх
kemiisto
Дата 12.7.2012, 11:20 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Дикий Кот. =^.^=
****
Награды: 1



Профиль
Группа: Участник Клуба
Сообщений: 3292
Регистрация: 29.7.2007

Репутация: 1
Всего: 160



Цитата(LSD @  12.7.2012,  09:54 Найти цитируемый пост)
Слабенький наброс, похапешники вообще юнит тестами не заморачиваются 

 smile Похапешники существуют вообще? А то я в реальности ни одного не встречал.

Вброс как вброс. Будет куда отсылать при случае. smile 


--------------------
PM MAIL WWW GTalk Jabber   Вверх
Karadul
Дата 4.1.2013, 02:26 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 378
Регистрация: 18.5.2006

Репутация: нет
Всего: 1



Цитата

3. Because static typing rejects some valid programs static typing is harmful.

А чо, правда. В яве приходилось копипастить код из-за того, что по-другому ее ограничения не обойти (пытался наследовать то ли OutputStream, то ли InputStream. С одним вышло, с другим нет). Хотя, возможно, это не типизация напрямую, а более строгие проверки  в яве.

С другой стороны, поддержка питона IDE просто убивает. pydev даже переименовать переменную нормально не может.

Это сообщение отредактировал(а) Karadul - 4.1.2013, 02:27
PM MAIL   Вверх
  
Ответ в темуСоздание новой темы Создание опроса
Правила раздела "Философия программирования":
Се ля ви

Форум "Философия программирования" предназначен для обсуждения вопросов, так или иначе связанных с философскими аспектами разработки ПО:

• вопросы перспективного развития методов написания ПО;

• изменяющиеся языки и методологии программирования;


Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, Се ля ви.

 
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | Философия программирования | Следующая тема »


 




[ Время генерации скрипта: 0.1173 ]   [ Использовано запросов: 21 ]   [ GZIP включён ]


Реклама на сайте     Информационное спонсорство

 
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности     Powered by Invision Power Board(R) 1.3 © 2003  IPS, Inc.