Haskell fits well for those, who wants a proof instead of solution.