I would be like to be able to specify types at integration points (module level, function level, etc). Function arguments do benefit from clear inputs and outp

I would be like to be able to specify types at integration points (module level, function level, etc). Function arguments do benefit from clear inputs and outputs (is this type X? a list of X? A list of anything? Is it returning Y? List of Y? Nothing at all? An error or nothing? Something that is just like X but with an extra field?) Inside the function? Leave me alone. You are a computer, go figure out. Which seems to be the direction we are heading towards. > was argument a string or a foo class Oh, it was supposed to be a string. However, it is a string that came from the UI, so it is untrusted, so your SQL function should refuse to use it. But hey, feel free to lowercase it. The main problem is that usually type systems are not very rich, so the baby gets thrown out with the bathwater. Also, runtime errors are ok if they happen in your test cases. You do have them, right? :)