[Haskell-cafe] Shrinking the Prelude: The "categorical" approach
lemming at henning-thielemann.de
Thu Dec 21 13:16:16 EST 2006
On Wed, 20 Dec 2006, Imam Tashdid ul Alam wrote:
> Bulat Ziganshin raised: Num is intrinsically bound to
> the compiler. sad. so let's leave Num out. this
> basically means we will avoid "abstract algebra" in
> general. that is, forget "groups", "rings", for now,
> Henning Thielemann provided links to CAL: hi Henning,
> would you mind if we "steal" some of the good looking
> names in your Prelude?
You have to direct this question to the CAL inventors. :-) Indeed I'd
preferred if they had written an alternative Prelude for Haskell and a
Java byte code back-end rather than hacking an independent language.
> I suggest the convention that Control.Monad is always imported as M.
> this would mean we use M.plus, M.zero, M.lift and so on.
About the question, whether functions should be provided in the most
general context, I refer to
More information about the Haskell-Cafe