Try scala and implicits!! or c++ template metaprogramming in late 90s and early naughts.