Users simply program using these abstractions and an intelligent compiler chooses the best implementation based on the context.
Программист просто использует эту абстракцию, а интеллектуальный компилятор выбирает лучшую реализацию, основываясь на контексте.