[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
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe