[Haskell-cafe] EduHaskell

[Simon Hafner]

Hello Erwig

>From what I understand, you want a Haskell without typeclasses. Elm
[1] would fit that bill nicely.

> * Type classes and overloading could be turned off
These don't exist in Elm.

> * Eq and Show (and maybe Ord) instances would be automatically defined for any data type definition (when type classes are enabled)
Eq and Show are implemented by compiler magic, no Ord though.

You could later move the students towards Haskell, after you spoiled
them with the Elm compiler messages :-)

Cheers,
Simon

[1] http://elm-lang.org/examples

2017-09-24 3:02 GMT+02:00 erwig <erwig at oregonstate.edu>:
> Dear Haskell aficionados,
>
> We will be using Haskell in an introductory course to computer science for college freshmen. From my past experience in using Haskell for students, the biggest hurdle and source of frustration is the type checker, or more precisely, the error messages generated. I see three major kinds of errors that get in the way of a smoother programming experience:
>
> * Errors resulting from overloading
> * Errors due to undefined type class instances (specifically, Eq and Show)
> * Errors in the context of parametric polymorphism
>
> While these problems are not unsurmountable, having to talk about these errors is a distraction from the major goal of explaining basics of (functional) programming. It would be great to have a Haskell compiler that offers the following features (and maybe others):
>
> * Type classes and overloading could be turned off
> * Eq and Show (and maybe Ord) instances would be automatically defined for any data type definition (when type classes are enabled)
>
> My questions are:
>
> (1) Does there exist a good solution to this problem already?
>
> Should one use Helium? I haven't checked lately, but it used to avoid type classes. This might have the disadvantage of having to switch to GHC in case one wants to use overloading. (I have used Helium in the past, and while I admire the effort, I am not sure it's the best option.)
>
> Are there versions of the Prelude available that accomplish some of this?
>
> (2) Are there other Haskellers out there who also want a simpler, more educationally suited version of GHCi?
>
> (3) If the answer to (1) is NO and to (2) is YES, is there any interest in forming a group for creating something like "EduHaskell"?
>
>
> I'd be grateful for any comments or suggestions!
>
>
> Thanks,
> Martin
>
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.