¿Por qué return / redo evalúa las funciones de resultados en el contexto de llamada, pero los resultados de bloque no se evalúan?

Patrón de diseño para trampolines seguros para excepciones

Esta pregunta se sigue deaquí [https://stackoverflow.com/q/27821106/435129]. Sin embargo, la pregunta anterior estaba tan mal redactada (de hecho erróneamente) que se sugirió que volviera a preguntar desde cero. Tengo una tabla de punteros con ...

¿Cuál es la forma estándar de optimizar la recursividad mutua en F # / Scala?

Estos lenguajes no admiten la optimización de funciones recursivas mutuamente 'nativamente', así que supongo que debe ser el trampolín o ... heh ... reescribir como un bucle) ¿Me pierdo algo? ACTUALIZACIÓN: Parece que mentí sobre FSharp, pero ...