Question

Is it possible to disable or work around the type system in Haskell? There are situations where it is convenient to have everything untyped as in Forth and BCPL or monotyped as in Mathematica. I’m thinking along the lines of declaring everything as the same type or of disabling type checking altogether.

Edit: In conformance with SO principles, this is a narrow technical question, not a request for discussion of the relative merits of different programming approaches. To rephrase the question, “Can Haskell be used in a way such that avoidance of type conflicts is entirely the responsibility of the programmer?”

Answer 1

Also look at Data.Dynamic which allows you to have dynamically typed values in parts of your code without disabling type-checking throughout.