¿Por qué los lenguajes no utilizan la caída explícita en las declaraciones de cambio?

Estaba leyendo ¿Por qué tenemos que el uso breakde switch? , y me llevó a preguntarme por qué se permite la caída implícita en algunos lenguajes (como PHP y JavaScript), mientras que no hay soporte (AFAIK) para la caída explícita.

No es como si fuera necesario crear una nueva palabra clave, ya continueque sería perfectamente apropiado y resolvería cualquier problema de ambigüedad sobre si el autor quería que un caso fracasara.

El formulario actualmente admitido es:

switch (s) {
    case 1:
        ...
        break;
    case 2:
        ... //ambiguous, was break forgotten?
    case 3:
        ...
        break;
    default:
        ...
        break;
}

Mientras que tendría sentido que se escribiera como:

switch (s) {
    case 1:
        ...
        break;
    case 2:
        ...
        continue; //unambiguous, the author was explicit
    case 3:
        ...
        break;
    default:
        ...
        break;
}

Para los propósitos de esta pregunta, ignoremos la cuestión de si los fall-through son un buen estilo de codificación.

¿Existen idiomas que permitan la caída y lo hayan hecho explícito?

¿Hay alguna razón histórica que switchpermita la caída implícita en lugar de explícita?

Es principalmente histórico, la mayoría de los idiomas simplemente copiaron lo que hizo C.

La razón por la que C lo hizo así es que los creadores de C pretendían que las declaraciones de cambio fueran fáciles de optimizar en una tabla de salto. Esta es también la razón por la que C limita las declaraciones de cambio a valores integrales.

En una tabla de salto, el programa calculará a qué posición saltar en función de la expresión. El programa saltará a ese punto y luego continuará ejecutándose desde ese punto. Si desea omitir el resto de la tabla, debe incluir un salto al final de la tabla. C usa breakdeclaraciones explícitas para que haya una correspondencia directa con esta construcción.

Go permite una caída explícita mediante la fallthroughpalabra clave (el salto es implícito, pero puede ser explícito):

switch val {
case 1: // breaks
case 2:
    fallthrough
case 3:
    goto 
case 4, 5, 6: // equivalent to defining individual cases with explicit fallthough
    break // unnecessary
default:
}

Aquí está el bit relevante de go efectivo y la especificación del idioma .

No creo que pueda usar gotopara ir a un caso específico, pero puede hacer una etiqueta dentro de la caja y usar una gotonormal.

Como beneficio adicional, Go le permite usar expresiones binarias, cadenas o tipos en un interruptor como declaraciones de casos.