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