Hi Norman,
| [looking for papers about type classes ...]
| * Of all the many articles on the topic, which few might you
| recommend for beginners?
I wonder if my notes on "Functional Programming with Overloading and
Higher-Order Polymorphism" will be useful? You can find them at:
ht
Now that I have made it abundantly clear that my understanding of type
classes is highly imperfect, perhaps I will repeat my plea:
* Can you recommend any interesting, elementary examples?
* Of all the many articles on the topic, which few might you
recommend for beginners? Would Faxen's
On Mon, Jan 27, 2003 at 12:25:52PM +0200, Lauri Alanko wrote:
> On Mon, Jan 27, 2003 at 08:37:06PM +1100, Fergus Henderson wrote:
> > I agree. The above characterization is highly misleading. It would be
> > more accurate and informative to say that both Haskell and OO languages
> > dispatch on t
On Mon, Jan 27, 2003 at 08:37:06PM +1100, Fergus Henderson wrote:
> I agree. The above characterization is highly misleading. It would be
> more accurate and informative to say that both Haskell and OO languages
> dispatch on the dynamic type of a value.
What is the "dynamic type of a value" in
On 26-Jan-2003, Norman Ramsey <[EMAIL PROTECTED]> wrote:
> > > In a fit of madness, I have agreed to deliver a 50-minute lecture
> > > on type classes to an audience of undergraduate students. These
> > > students will have seen some simple typing rules for F2 and will
> > > have some exposure
On 24-Jan-2003, Norman Ramsey <[EMAIL PROTECTED]> wrote:
> In a fit of madness, I have agreed to deliver a 50-minute lecture
> on type classes to an audience of undergraduate students. These
> students will have seen some simple typing rules for F2 and will
> have some exposure to Hindley-Milner t
On 26-Jan-2003, Dean Herington <[EMAIL PROTECTED]> wrote:
> On Sun, 26 Jan 2003, Norman Ramsey wrote:
>
> > A fact that I know but don't understand the implication of is that
> > Haskell dispatches on the static type of a value, whereas OO languages
> > dispatch on the dynamic type of a value. Bu
On 26-Jan-2003, John H?rnkvist <[EMAIL PROTECTED]> wrote:
>
> On Saturday, January 25, 2003, at 04:14 AM, Andrew J Bromage wrote:
>
> >G'day all.
> >
> >On Fri, Jan 24, 2003 at 06:13:29PM -0500, Norman Ramsey wrote:
> >
> >>In a fit of madness, I have agreed to deliver a 50-minute lecture
> >>on
On Sun, 26 Jan 2003 19:07:01 -0500 (EST)
Dean Herington <[EMAIL PROTECTED]> wrote:
> What may distinguish Haskell from typical OO languages (I'm not an
> expert on them) is that in Haskell such polymorphic functions could
> (always or at least nearly so) be specialized statically for their
> u
On Sun, 26 Jan 2003, Norman Ramsey wrote:
> > > In a fit of madness, I have agreed to deliver a 50-minute lecture
> > > on type classes to an audience of undergraduate students. These
> > > students will have seen some simple typing rules for F2 and will
> > > have some exposure to Hindley-Mi
On Saturday, January 25, 2003, at 04:14 AM, Andrew J Bromage wrote:
G'day all.
On Fri, Jan 24, 2003 at 06:13:29PM -0500, Norman Ramsey wrote:
In a fit of madness, I have agreed to deliver a 50-minute lecture
on type classes to an audience of undergraduate students. These
students will have s
> > In a fit of madness, I have agreed to deliver a 50-minute lecture
> > on type classes to an audience of undergraduate students. These
> > students will have seen some simple typing rules for F2 and will
> > have some exposure to Hindley-Milner type inference in the context
> > of ML.
>
G'day all.
On Fri, Jan 24, 2003 at 06:13:29PM -0500, Norman Ramsey wrote:
> In a fit of madness, I have agreed to deliver a 50-minute lecture
> on type classes to an audience of undergraduate students. These
> students will have seen some simple typing rules for F2 and will
> have some exposure
--- Norman Ramsey <[EMAIL PROTECTED]> wrote:
> In a fit of madness, I have agreed to deliver a 50-minute lecture
> on type classes to an audience of undergraduate students. These
> students will have seen some simple typing rules for F2 and will
> have some exposure to Hindley-Milner type inferenc
14 matches
Mail list logo
