Список проголосовавших за комментарий "<p><br/> Да, автор сказал, что он не понимает делегаты. Я хоть и не пишу на статически типизированных языках, надеюсь, что правильно понимаю их суть. Попробую на пальцах. Представьте, что у Вас есть функция, которая содержит в себе некоторые операции(псевдокод)</p><blockquote><p>sum = defineFunction(x, y){<br/> if( x kindOf(string ) and ( y kindOf(string)) ) { concat(x, y) }<br/> if( x kindOf(number ) and ( y kindOf(number)) ) { x + y }<br/> default generate error(wrong type bla-bla-bla)<br/> }</p></blockquote><p>Допустим, мы хотели бы в дальнейшем расширять функционал без переписывания и перекомпиляции этой функции.</p><blockquote><p>sum = defineFunction(x, y){<br/> if(x type == y type) {<br/> if(type in myObject) {<br/> myObject getSlot(x type) applyArguments(x, y)<br/> }<br/> }<br/> default generate error(wrong type bla-bla-bla)<br/> }</p><p>myObject = defineNewObject<br/> myObject setSlot(string, defineFunction(x, y){concat(x, y)})<br/> myObject setSlot(number, defineFunction(x, y){x + y)})<br/> myObject setSlot(list, defineFunction(x, y){union(x, y)})</p></blockquote><br/> <p>теперь можно добавлтяь сколько угодно операций. Грубо говоря, вместо ф-ции там класс, а все эти делегаты, как отдельные костыли нужны чтобы обойти ограничения статической типизации. Как-то так. Если не так пусть кто-нибудь поправит:)</p><p> </p>"