|
Тема |
Re: Почти офф топ: Какво казва ПГ за оптимизацията [re: Paдo] |
|
Автор |
malkia (stanev) |
|
Публикувано | 10.09.04 12:02 |
|
|
В отговор на:
За strongly typed - хареса ми една аналогия на Stroustrup: нещо от рода, че статичната проверка на типовете осигурява да _не_ можеш да включиш без да искаш електрическа самобръсначка във високоволтов контакт.
Интересно :)
Но лошо сравнение, тъй като именно в реалния свят се наблюдава много по-голяма стандартизация там където е възможно, или с други думи - ако някои ти инсталира контакт който пуска 5000 волта, вместо 220, то проблема е в този който го е инсталирал на първо време, а не този когото го ползва. И именно в истинския свят, липсата на СТРОГО ТИПИЗИРАНЕ прави живота по-лесен: нима очакваш всеки да проверява преди да включи електрически уред дали е съвместим? Мне... (или може би да 0.0001% от случаите) - останалите просто се доверяват.
Хмм... сега се чудя за добър пример в реалния живот, където се наблюдава феноменът СТРОГО ТИПИЗИРАНЕ. Може би например в автоматичното плащане на данъците (чрез ДДС, или подобни), а не ръчното им. По този начин парите се взимат предварително, и се прави невъзможно да сгрешиш. Но се боя че това не е много правилен пример.
Всъщност подобни факти вероятно ги пропускаме, тъй като няма как да ги забележим като проблем (например от реакция ако сме ги сгрешили, тъй като на първо време - въобще не сме ги сгрешили). Може би на по-ниско ниво (биология, химия) се наблюдават повече от тези неща.
|
| |
|
|
|