The Avail Programming Language

http://www.availlang.org/

>>9,10
So you are talking about Set and Map, but not sets and maps.

If you just want a map between sets and integers, consider the fact that all pure functions are mappings between values. Haskell gives you more than enough abstraction to make it pleasant.

If you're confused about exceptions, I recommend reading Wadler.