Simfony needs to know the type of each expression for proper compilation and error reporting. The simplest approach is manifest typing where the programmer provides the type of each expression. The Simfony compiler can do equality checks and simple pattern matching to check the types.
Require explicit types in each let statement.
Simfony needs to know the type of each expression for proper compilation and error reporting. The simplest approach is manifest typing where the programmer provides the type of each expression. The Simfony compiler can do equality checks and simple pattern matching to check the types.