RE: [Haskell-cafe] Re: Module.T naming style
On 15 July 2005 09:48, Henning Thielemann wrote:
On Thu, 14 Jul 2005, Andrew Pimlott wrote:
2) enshrining one-type-per-module in the naming convention is not IMO justified, and may prove limiting;
Other languages like Modula-3 and Oberon do it with great success. The limit in Haskell is that most compilers don't conform to the Haskell 98 report which allows mutually recursive modules. But I think the compilers should allow them instead of forcing users to put many type and class definitions into one module.
I hope you weren't including GHC in "most compilers" :-) GHC's implementation of mutually recursive modules is conformant with Haskell 98 (see Section 5.7). Cheers, Simon
On Fri, 15 Jul 2005, Simon Marlow wrote:
On 15 July 2005 09:48, Henning Thielemann wrote:
The limit in Haskell is that most compilers don't conform to the Haskell 98 report which allows mutually recursive modules. But I think the compilers should allow them instead of forcing users to put many type and class definitions into one module.
I hope you weren't including GHC in "most compilers" :-) GHC's implementation of mutually recursive modules is conformant with Haskell 98 (see Section 5.7).
But there are unresolved problems with class definitions. http://www.haskell.org/pipermail/haskell-cafe/2005-May/009873.html Is this covered by the statement "Modules may be mutually recursive."? http://www.haskell.org/onlinereport/modules.html
"Simon Marlow"
I hope you weren't including GHC in "most compilers" :-) GHC's implementation of mutually recursive modules is conformant with Haskell 98 (see Section 5.7).
It depends on how you interpret this phrase: "may require that imported modules contain additional information" If you count writing a separate .hs-boot file as being the additional information that is somehow "contained" within the module, then I suppose nhc98 is also conformant with the report. The only difference with nhc98 is that you hand-write a .hi file, rather than a .hs-boot file, but the syntax is very similar to plain Haskell. Also, the hand-written .hi file will be replaced with a machine-generated one after compilation, but that is only a problem if the user inadvertently removes all the .hi files. Regards, Malcolm
participants (3)
-
Henning Thielemann -
Malcolm Wallace -
Simon Marlow