[plt-scheme] Re: The perfect teaching language--Is this too much to ask for?

On Jun 14, 12:23 pm, Martin DeMello <martindeme... at gmail.com> wrote:
> On Sun, Jun 14, 2009 at 5:21 PM, Noel Welsh<noelwe... at gmail.com> wrote:
>
> > The issue is one of usability. It is pretty easy to get ML to spit out
> > an incomprehensible type error  at a location far removed from the
> > original error, and ML's type system is fairly simple.
>
> I wonder, is that an insuperable problem, or simply one no one has
> cared to solve because ML is not a teaching language and the feeling
> is that users can learn?
>
My FP course was taught in Miranda supposedly because Miranda is a
teaching language. The incomprehensible type error problem can be
mitigated by defining abstract data types.