If you have a language that supports tagged types and can overload operators, you can basically get there. I think a language like Idris and Julia (with the rig

If you have a language that supports tagged types and can overload operators, you can basically get there. I think a language like Idris and Julia (with the right packages) should be able to support this.