Flag for Making Type Signatures Mandatory
I propose to add a flag to GHC to only compile programs that have type signatures for the defining equations. The purpose of this is to satisfy the belt and braces notion of programming and to also aid in teaching Haskell as a programming language.
Calling GHC with the following
ghc -ftypesignatures a.hs
will reject a.hs if any of its definitions do not have type signatures.
|Component||Compiler (Type checker)|