Record type inference for dummies

(haskellforall.com)

33 points | by g0xA52A2A 2 days ago

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