The MuxLang Type System: What Hindley-Milner Got Wrong
How Mux handles type inference differently from Hindley-Milner, with explicit generics, local inference, and a discussion of where compilers should infer types.
Ideas from the ACM@UC community
Stories, tutorials, and perspectives from across our computing community.
Recent posts
API demystified
Learn about what an API is, why they exist, and how you can use them to make your own applications.