Список проголосовавших за комментарий "<p>meat, чушь у тебя в голове. вероятно частное не было понято.<br/> если говорить в общем — в php даже элементарных дженериков на уровне языка нету. поэтому я молчу о ковариантности и контравариантности. php до системы типов java еще шагать и шагать, а система типов scala и haskell на порядок сложнее. какой нормальный статический анализ получится ?<br/> </p>"