ParentFull threadreturn_to_monke·please show a language whose HashMap type does compile-time checking. I am actually interested.View on HN