Record type inference for dummies

1 comments

• vatsachak 1 hour ago
  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