Модераторы: LSD

Поиск:

Ответ в темуСоздание новой темы Создание опроса
> Вывод типов 
:(
    Опции темы
 
Как вы относитесь к выводу типов?
Вывод типов - добро [ 20 ]  [74.07%]
Вывод типов - зло [ 2 ]  [7.41%]
Не знаю, что это такое [ 5 ]  [18.52%]
Всего проголосовавших: 27
В этом опросе возможен один вариант ответа
Гости не могут голосовать 
Любитель
Дата 15.5.2010, 00:35 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Программист-романтик
****


Профиль
Группа: Комодератор
Сообщений: 3645
Регистрация: 21.5.2005
Где: Воронеж

Репутация: 5
Всего: 92



После просмотра последних обсуждений захотелось спросить.
Классическая холиварная тема. Адресовано в первую очередь к тем людям, кто пользуется языками, где вывод типов есть, но вовсе не обязателен (понятно, что я отталкиваюсь от шарпа, но.. мало ли). Уж точно не адресовано к тем, кто пользуется языками с динамической типизацией smile


--------------------
PM MAIL ICQ Skype   Вверх
djamshud
Дата 15.5.2010, 01:05 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Пердупержденный
***


Профиль
Группа: Завсегдатай
Сообщений: 1655
Регистрация: 23.11.2009

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



В двух словах, что это такое? Вот я пользуюсь с, с++ и bash в основном, хз, есть там "вывод типа" или нет...


--------------------
'Cuz I never walk away from what I know is right
Alice Cooper - Freedom
PM   Вверх
Vasay
Дата 15.5.2010, 01:10 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Завсегдатай
Сообщений: 2097
Регистрация: 8.3.2006

Репутация: 2
Всего: 73



djamshud, 

http://ru.wikipedia.org/wiki/%D0%92%D1%8B%...%BF%D0%BE%D0%B2






Не стал голосовать - в Java пока этого нет, на первый взгляд - зло, но может начну пользоваться и понравится smile


--------------------
Придумать идеальную защиту от дурака невозможно, дураки, наудивление, изобретательны.
PM MAIL   Вверх
djamshud
Дата 15.5.2010, 01:25 (ссылка)   | (голосов:1) Загрузка ... Загрузка ... Быстрая цитата Цитата


Пердупержденный
***


Профиль
Группа: Завсегдатай
Сообщений: 1655
Регистрация: 23.11.2009

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



Vasay, tnx!

Не вижу никакого смысла в этом. Писать чуть "проще", но в итоге эта простота выльется в "а что это вообще переменная, и почему у меня все работает совсем не так, как я хочу". В динамических языках само собой хорошо, но вот тянуть бяку в статические, имхо, не нужно. То есть фича, по определению полезная в одном случае, за уши притягивается туда, где ей быть совсем не нужно (это я про с++0х в первую очередь).


--------------------
'Cuz I never walk away from what I know is right
Alice Cooper - Freedom
PM   Вверх
Любитель
Дата 15.5.2010, 08:48 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Программист-романтик
****


Профиль
Группа: Комодератор
Сообщений: 3645
Регистрация: 21.5.2005
Где: Воронеж

Репутация: 5
Всего: 92



В моём понятии, в языках с динамической типзиацией этого нет. Не ну то есть есть, конечно, но просто там без вывода типов - никак. И там, естественно, это рантаймовый вывод типов, а не компайл-таймовый. Что, вообще говоря, несколько иное.


--------------------
PM MAIL ICQ Skype   Вверх
k0rvin
Дата 15.5.2010, 10:19 (ссылка) |  (голосов:4) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


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

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



Цитата(djamshud @ 15.5.2010,  01:25)
Vasay, tnx!

Не вижу никакого смысла в этом. Писать чуть "проще", но в итоге эта простота выльется в "а что это вообще переменная, и почему у меня все работает совсем не так, как я хочу". В динамических языках само собой хорошо, но вот тянуть бяку в статические, имхо, не нужно. То есть фича, по определению полезная в одном случае, за уши притягивается туда, где ей быть совсем не нужно (это я про с++0х в первую очередь).

лол, как раз в статически типизированных это весьма необходимая, удобная вещь. С++ понятное дело ###, поэтому в нем даже вывод типов нормальный не смогли сделать.


--------------------
“Object-oriented design is the roman numerals of computing.” — Rob Pike
All software sucks
PM MAIL   Вверх
Vasay
Дата 15.5.2010, 10:37 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Завсегдатай
Сообщений: 2097
Регистрация: 8.3.2006

Репутация: 2
Всего: 73



k0rvin, 

Цитата

как раз в статически типизированных это весьма необходимая, удобная вещь. 


А чем это удобно? На первый взгляд, кроме ухудшения читаемости кода и увеличении времени компиляции программы ничего не дает. Но я могу и ошибаться - устриц не ел  smile 


--------------------
Придумать идеальную защиту от дурака невозможно, дураки, наудивление, изобретательны.
PM MAIL   Вверх
GoldFinch
Дата 15.5.2010, 10:56 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата



****


Профиль
Группа: Завсегдатай
Сообщений: 2141
Регистрация: 30.11.2008

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



djamshud, ты видимо кодишь не на С++, а на С с классами

попробуй объявить переменную с типом результата boost.bind например
какбэ не всегда программисту известен тип того с чем он работает
PM MAIL ICQ   Вверх
k0rvin
Дата 15.5.2010, 11:20 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


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

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



Цитата(Vasay @ 15.5.2010,  10:37)
k0rvin, 

Цитата

как раз в статически типизированных это весьма необходимая, удобная вещь. 


А чем это удобно? На первый взгляд, кроме ухудшения читаемости кода и увеличении времени компиляции программы ничего не дает. Но я могу и ошибаться - устриц не ел  smile

попробуй Haskell или OCaml


--------------------
“Object-oriented design is the roman numerals of computing.” — Rob Pike
All software sucks
PM MAIL   Вверх
Vasay
Дата 15.5.2010, 11:37 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Завсегдатай
Сообщений: 2097
Регистрация: 8.3.2006

Репутация: 2
Всего: 73



k0rvin, 

Может все же приведешь конкретный пример, где это может быть полезно?





--------------------
Придумать идеальную защиту от дурака невозможно, дураки, наудивление, изобретательны.
PM MAIL   Вверх
k0rvin
Дата 15.5.2010, 11:40 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


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

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



что значит где? везде в коде


--------------------
“Object-oriented design is the roman numerals of computing.” — Rob Pike
All software sucks
PM MAIL   Вверх
GoldFinch
Дата 15.5.2010, 11:50 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата



****


Профиль
Группа: Завсегдатай
Сообщений: 2141
Регистрация: 30.11.2008

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



Vasay, 
Код

unknown_type foo();
auto x = foo();

PM MAIL ICQ   Вверх
Vasay
Дата 15.5.2010, 11:54 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Завсегдатай
Сообщений: 2097
Регистрация: 8.3.2006

Репутация: 2
Всего: 73



k0rvin, 

Цитата

что значит где? везде в коде 


Это не ответ на вопрос - "А чем это удобно?"  


--------------------
Придумать идеальную защиту от дурака невозможно, дураки, наудивление, изобретательны.
PM MAIL   Вверх
djamshud
Дата 15.5.2010, 11:59 (ссылка)    | (голосов:2) Загрузка ... Загрузка ... Быстрая цитата Цитата


Пердупержденный
***


Профиль
Группа: Завсегдатай
Сообщений: 1655
Регистрация: 23.11.2009

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



>попробуй Haskell или OCaml

Какое отношение с++ имеет к этой функциональщине? С++ решает _другие_ задачи, вот нагородили вокруг него монстров вроде буста, а потом ревут "с++ мостроузное ###, да на лиспе я это в пару десятков скобок заколбашу!". Достала школота.

GoldFinch, про буст уже написал. А пишу я на и на С, и на С++, с классами, шаблонами, покером, куртизанками и прочими ништяками, но решаю задачи средствами языка, а не нагороженных вокруг него костылей. И да, я наверное не программист, раз всегда знаю типы того, с чем работаю.


--------------------
'Cuz I never walk away from what I know is right
Alice Cooper - Freedom
PM   Вверх
Vasay
Дата 15.5.2010, 12:04 (ссылка)  | (голосов:1) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Завсегдатай
Сообщений: 2097
Регистрация: 8.3.2006

Репутация: 2
Всего: 73



Цитата(GoldFinch @ 15.5.2010,  11:50)
Vasay, 
Код

unknown_type foo();
auto x = foo();

Это был пример плохо читаемого кода, вводящего в ступор  механизм подсказок IDE?

Или, Вы хотели сказать этим что-то другое?

Это сообщение отредактировал(а) Vasay - 15.5.2010, 12:05


--------------------
Придумать идеальную защиту от дурака невозможно, дураки, наудивление, изобретательны.
PM MAIL   Вверх
Ответ в темуСоздание новой темы Создание опроса
Правила ведения Религиозных войн
Smartov
1. Уважайте собеседника
2. Собеседник != враг
3. Старайтесь воздерживаться от тем вида "Windows Rulez" или "Linux Rulez"

С уважением, Smartov.

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


 




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


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

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