Thanks a lot for the detailed answer and resources - will check them out over time. I had bought the Camel book and had read most of it, years ago. I know Curti

Thanks a lot for the detailed answer and resources - will check them out over time. I had bought the Camel book and had read most of it, years ago. I know Curtis a bit, nice guy. >It has what they call gradual typing in that it is dynamic like python, but you can add types to functions that help to catch lots of errors. Is this something like in Haskell, where I've read (not sure of the details) that you can define types related to the parts of the application or business domain / business logic, which then enables more error-checking by the compiler when you use those types in your code? It may be things like instead of using just an int, if it is meant to represent say height of humans, you might add constraints like height > 0 and height <= 10 feet (because you think or know that no human can be taller than that). Then the compiler will warn you or give an error if you try to assign a value to a height variable, which is outside that range. Pascal has a version of this feature oo, but maybe Haskell has more support for this stuff - not sure.