ADAPTABLE SOFTWARE - MODULAR EXTENSIBLE MONADIC ENTRY-POINTLESS TYPE CHECKER IN HASKELL
DAN POPA Ro/Haskell Group
âVasile Alecsandriâ University of BacÄu, Department of Mathematics and Informatics, BacÄu, Romania, e-mail: danvpopa@ub.ro, popavdan@yahoo.com
The goal of this paper is to investigate the use of a software technology â the pseudoconstructors over monadic values (structures capable of simultaneously representing both syntax and semantics) â to build modular entry-pointless type checkers using the VHLL Haskell. A template used by almost all the modules of the modular monadic entry-pointless type checker is also revealed.