BEAM languages, Hindley–Milner type systems, and new technologies