The Wombat Programming Language
Programming languages have been annoying me for over 35 years. Still it's not so easy to get them right. I've got a fair way with the design of the Wombat Programming Language, but I can't get the interface-like part of it (Behaviour) working well. So rather than wait for perfection I thought I'd put it out there and see if anyone is interested in helping me with it.
I know my design would be better if I understood more of: Scalaz; Typeclassopedia; HoTT; and lots of other stuff. But maybe the people who do would like to comment (at least to the extent of recommending what to learn and where).
The "Wombat Summary and Rationale" document is at https://docs.google.com/document/d/1MXH4y75gViHDTldrAhXVMVUOXZJhwh3EwjXgn6k5Ncs/edit, with comments enabled. Or you can comment here. Or in my Google+ post. Or post an issue at http://wombatlang.googlecode.com.