История изменений

Если из ф-ии вызывается другая функция, то чекер фрагмента должен в нее заглянуть, он же рекурсивный.

Так вот когда ты будешь писать этот чеккер, у тебя появится идея уже проверенные функции помечать тэгом, чтобы не проверять их по 100500 раз. А сам обработчик прерывания у тебя виртуально тоже помечен тегом. Вот и получается то же самое, о чем я говорю.

А еще у тебя появится идея отмечать аналогичным тегом не только обработчики прерываний, но и вообще всё API, которое доступно из обработчика прерывания, например, чтобы сгенерирвоать документацию или использовать в других алгоритмах анализа. В общем, тэги просто появятся в результате работы над кодом.

А когда у нас есть формально определенный тэг, относительно наличия которого мы можем делать некоторые утверждения... Это и есть тип данных. :)

Если из ф-ии вызывается другая функция, то чекер фрагмента должен в нее заглянуть, он же рекурсивный.

Так вот когда ты будешь писать этот чеккер, у тебя появится идея уже проверенные функции помечать тэгом, чтобы не проверять их по 100500 раз. А сам обработчик прерывания у тебя виртуально тоже помечен тегом. Вот и получается то же самое, о чем я говорю.

А еще у тебя появится иедя отмечать аналогичным тегом не толкьо обработчики прерываний, но и вообще всё API, которео доступно из обработчика прерывания, например, чтобы сгенерирвоать документацию или использовать в других алгоритмах анализа. В общем, тэги просто появятся в результате работы над кодом.

А когда у нас есть формально определенный тэг, относительно наличия которого мы можем делать некоторые утверждения... Это и есть тип данных. :)