[Haskell-cafe] What is your favourite Haskell "aha" moment?

Alan & Kim Zimmerman alan.zimm at gmail.com
Wed Jul 11 13:26:12 UTC 2018

There was a Functional Programming Meetup in CT recently, by people doing

Things they emphasized were DSLs, and using parser-combinators and
pretty-printers to do so.

A lot of the work relates to reading data in from standard genomic
databases, and being able to represent what comes out.



On 11 July 2018 at 15:07, Jerzy Karczmarczuk <jerzy.karczmarczuk at unicaen.fr>

> My goodness...
> Neither Simon, nor the five  responders ever mention *laziness*!
> For me it was THE "aha" moment, or rather a long period...
> The problem with popularizing laziness is that too many short comments (on
> Internet) on it are not serious. People speak mainly about infinite lists
> (as if somebody really cared about this "infinity"), or that lazy program
> do not evaluate some expressions, which should *economise* some time, which
> usually is not true...
> *
> For me, lazy programs permit to represent dynamic processes as data.
> Iterations as mathematical structures.
> Co-recursive perturbational schemes (or asymptotic expansions, etc.),
> which are 10 or more times shorter than the orthodox approaches, and remain
> readable, and natural.
> Laziness makes it possible to play with continuations, thus: "making
> future explicit",  in a particularly constructive manner.
> ===========================
> Second section...
> Somebody mentioned "type families".
> Why not, but for an audience outside of the FP realm??
> If something about types, then for sure the automatic polymorphic
> inference, which remains a bit mysterious for many people, including my
> (comp. sci.) students. And the *Curry-Howard correspondence*.
> All the best.
> Jerzy Karczmarczuk
> /Caen, France/
> <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient> Garanti
> sans virus. www.avast.com
> <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient>
> <#m_5258079610623782001_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
> _______________________________________________
> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180711/d28f9f25/attachment.html>

More information about the Haskell-Cafe mailing list