ParentFull threadcpeterso·Check out typed assembly languages like TALx86.https://en.wikipedia.org/wiki/Typed_assembly_languageView on HN