The Principles of Inference in a Programming Language

Flix has full type inference, meaning that a function's purity depends on the purity of its argument. If you have local functions inside of top level function, you don't have to write any signatures. This gives us parallel type checking because when we type check things, i just assume the signature to be correct. And then later i know that the body will be compared to the signature, so it's ok. Type cheg on flex is just parallel by devault. That's al. The thort was the third thing. There isn't a third thing. It's an the less. Let me look at i i really like the way you think about this. I got o notice