I'd be curious to know the answer to this as well - I have not come across anything comparable w/ Haskell and the like, yet.