Closed johanatan closed 10 years ago
Thanks for the code review. New type inference engine is being worked on in the constraints branch (see 904f611f9a04b0dc189eb58a2fcb6e65c47a08fe) - it suffers the same problem so a pull request would be appreciated there.
Is there some reason that the source code for Roy is repetitious and has a low signal:noise ratio in many cases? For example, the following 3 functions from TypeInferrence.js are nearly identical and could be replaced with a single function parameterized on 'resultType' and appropriate calls to such.
For a so-called 'functional' language, I expect its implementation to be more functional than this.