Est-il possible de désactiver ou de contourner le système de types en Haskell ? Il y a des situations où il est pratique d'avoir tout non typé comme dans Forth et BCPL ou monotypé comme dans Mathematica. Je pense à la possibilité de déclarer tout comme le même type ou de désactiver complètement la vérification des types.
Edit : Conformément aux principes de l'OS, il s'agit d'une question technique étroite, et non d'une demande de discussion sur les mérites relatifs des différentes approches de programmation. Pour reformuler la question, "Haskell peut-il être utilisé d'une manière telle que l'évitement des conflits de types relève entièrement de la responsabilité du programmeur ?".
