optimization reuse programming language design and implementation 4834217