Record type inference for dummies

Anonymous records feel like one of those features that are obviously useful once you work with JSON-heavy systems, but surprisingly uncommon in statically typed languages

An anonymous record type in a language whose type system is an enum LangType in Rust is just HashMap<String, Box<LangType>>

My pet project requires an STLC with anonymous record types and type inference for anonymous records wasn't too bad

The article missed Go’s anonymous structs:

    p := struct {
        Name string
        Age  int
    }{
        Name: "Alice",
        Age:  30,
    }