> On Tuesday 26 March 2002 17:31, you wrote:
> A number of people have discussed the use of implicit parameters to
> mimic global variables in Haskell. I am wondering if any have done the
> same for a first-class module system such as that proposed by Shields
> and Jones. It seems to make a trem
A number of people have discussed the use of implicit parameters to
mimic global variables in Haskell. I am wondering if any have done the
same for a first-class module system such as that proposed by Shields
and Jones. It seems to make a tremendous amount of sense to do it that
way:
1. semi-c
Hello,
All this talk about Haskell classes, ML modules and improved record types
reminds me of the rumours of a "First Class Modules" system for Haskell,
but the only documentation I found was a fairly brief document that looked
like an application for a research grant. So...
Coul
Fergus Henderson writes:
> On 07-Nov-2000, Tom Pledger <[EMAIL PROTECTED]> wrote:
> > Supposing that (some version of) Haskell had first class modules, and
> > type variables could be universally quantified at the module level,
> > would rule 2 of the monom
On 07-Nov-2000, Tom Pledger <[EMAIL PROTECTED]> wrote:
> Supposing that (some version of) Haskell had first class modules, and
> type variables could be universally quantified at the module level,
> would rule 2 of the monomorphism restriction go away?
No.
|Rule 2. Any m
Hallo again.
Supposing that (some version of) Haskell had first class modules, and
type variables could be universally quantified at the module level,
would rule 2 of the monomorphism restriction go away?
Is this among the aims of the "First-class modules for component-based
progra
Mark Lillibridge wrote:
>
> Claus Reinke wrote:
> > `First class modules' are just that: modules that are also first
> > class data objects of the programming language (e.g., records
> > containing functions).
>
> I would alter that to "
Claus Reinke wrote:
> `First class modules' are just that: modules that are also first
> class data objects of the programming language (e.g., records
> containing functions).
I would alter that to "(e.g., records containing functions _and
types_)", at le
>
> > What are first class modules ? Can you give a reference (preferably
> > online) ?
>
> Modules can be viewed as records. See Luca Cardelli and Peter Wegner:
> "On Understanding Types, Data Abstraction, and Polymorphism".
>
> Claus Reinke has a
