En casos como los de lenguajes avanzados de tipo B, es algo así como la evolución del lenguaje C.