The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
This change exposed some more limitations when typing cyclic definitions. In the future we should create a proper framework for correctly dealing with typing dependencies, allowing to type more things, to still infer refined types in the absence of cycles, and to give more specific error messages.
This change exposed some more limitations when typing cyclic definitions. In the future we should create a proper framework for correctly dealing with typing dependencies, allowing to type more things, to still infer refined types in the absence of cycles, and to give more specific error messages.