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 type classes to an
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. But I
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 type
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 to
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 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 the
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
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:
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.
Will
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
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-Milner type
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
uses
--- 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 inference in
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 to
14 matches
Mail list logo
