Список проголосовавших за комментарий "<p>Не уверен, что следующим шагом именно в рамках программирования как на дисциплины (ну или чем оно там является) будет что-то индуктивное. Всё-таки программирование это однозначность и только однозначность. Да, ты можешь не понимать, как оно работает и почему, но это всегда дедуктивные вещи. Впустить индукцию в программирование это на мой взгляд как-то мегаконцептуально), наверняка в таком случае не только наследования это коснётся, но и много чего ещё. </p><p>И совсем другое дело добавление таких вещей на мета-уровне. Некий продвинутый решарпер, который не только синтаксис правит, но по принципам ИИ индуктивно выискивает всякие такие штуки.</p>"