El hecho es que, en nuestro ejemplo, los resultados intermedios son muy sencillos de obtener, pero, en un caso real, pueden ser el resultado de funciones complejas de interpretar. Es por esto por lo que aplicamos un cierto formato a nuestras consultas de forma que su lectura sea más sencilla. Concretamente:
- Las etiquetas let e in se muestran en líneas distintas, sin sangrar
- Los pasos intermedios del bloque let y el resultado final devuelto en el bloque in se muestran en líneas distintas y sangradas para mostrar claramente su pertenencia al bloque que corresponda
Nuestro código, tras aplicarle este formato, quedaría de la siguiente forma:
a = 6,
b = 3,
c = a * b
in
c
Cada uno de esos pasos intermedios que hemos llevado a líneas distintas es lo que se denomina fórmula de paso.
Este formato que hemos aplicado no es necesario. Simplemente es conveniente y es la forma en la que el editor de consultas crea las consultas por defecto.
En cualquier caso, debe quedar claro que el código sigue estando formado por una única expresión. Simplemente la estamos repartiendo en varias líneas de código para que su interpretación sea más simple.
