oh I don't think that's fair. the view that mathsy things are discovered not invented is hugely widespread amongst many people who know what they're talking about. I don't know what I'm talking about, and I think such matters are invented not discovered. but I do think Haskell is a great language that will drastically improve the quality of maybe even any project that doesn't need c-like efficiency. these concepts are independent.