Обсуждение:Введение, или краткий обзор — различия между версиями
Korvin (обсуждение | вклад) м (→Re) |
(→Re) |
||
Строка 6: | Строка 6: | ||
PS: Представьтесь пожалуйста. | PS: Представьтесь пожалуйста. | ||
+ | |||
+ | == Re == | ||
+ | Там тоже не раскрыта. | ||
+ | |||
+ | В прочем раскрыть ее всеравно не получится. | ||
+ | Ибо конфликт фундаментальный. | ||
+ | Примерно теже проблемы возникают у системы типов Haskell'я при попытке скрестить эту систему типов с компонентностью. | ||
+ | |||
+ | А конфликт прост: | ||
+ | |||
+ | Заводим 2 модуля A и B. | ||
+ | |||
+ | В обоих модулях расширяем класс int методом GetFactorial. | ||
+ | |||
+ | Далие в модуле C пытаемся использовать модули A и B. | ||
+ | |||
+ | Внимание вопрос: GetFactorial из какого модуля использовать будем? | ||
+ | |||
+ | Особенно весело становится если все 3 модуля пишут разные люди. | ||
+ | |||
+ | Еще веселее если изначально в модуле B небыло GetFactorial, а через некоторое время появился. | ||
+ | |||
+ | |||
+ | Сердитый Ученый. | ||
+ | |||
+ | ЗЫ Это я еще копать не начал... | ||
+ | |||
+ | ЗЗЫ С виду язык в целом приличный (видел и сильно хуже), а вот вся остальная система вызывает большие сомнения в работоспособности при попытке запустить ее в большой сети. |
Версия 13:40, 25 апреля 2008
Тема конфликтов расширений классов не раскрыта.
Re
Введение потому так и называется, что оно дает общее представление и не углубляется в детали. Если хочется прочитать подробнее — читайте подробнее. И вообще, что понимаете под конфликтом? --Korvin 04:15, 25 апреля 2008 (EDT).
PS: Представьтесь пожалуйста.
Re
Там тоже не раскрыта.
В прочем раскрыть ее всеравно не получится. Ибо конфликт фундаментальный. Примерно теже проблемы возникают у системы типов Haskell'я при попытке скрестить эту систему типов с компонентностью.
А конфликт прост:
Заводим 2 модуля A и B.
В обоих модулях расширяем класс int методом GetFactorial.
Далие в модуле C пытаемся использовать модули A и B.
Внимание вопрос: GetFactorial из какого модуля использовать будем?
Особенно весело становится если все 3 модуля пишут разные люди.
Еще веселее если изначально в модуле B небыло GetFactorial, а через некоторое время появился.
Сердитый Ученый.
ЗЫ Это я еще копать не начал...
ЗЗЫ С виду язык в целом приличный (видел и сильно хуже), а вот вся остальная система вызывает большие сомнения в работоспособности при попытке запустить ее в большой сети.