<div dir="ltr"><div>There was a Functional Programming Meetup in CT recently, by people doing genomics[1]</div><div><br></div><div>Things they emphasized were DSLs, and using parser-combinators and pretty-printers to do so.<br></div><div><br></div><div>A lot of the work relates to reading data in from standard genomic databases, and being able to represent what comes out.</div><div><br></div><div>Alan<br></div><div><br></div><div><br></div><div><br></div><div>[1] <a href="https://www.meetup.com/Cape-Town-Functional-Programmers/events/242900483/">https://www.meetup.com/Cape-Town-Functional-Programmers/events/242900483/</a><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On 11 July 2018 at 15:07, Jerzy Karczmarczuk <span dir="ltr"><<a href="mailto:jerzy.karczmarczuk@unicaen.fr" target="_blank">jerzy.karczmarczuk@unicaen.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF">
    <p>My goodness...<br>
      Neither Simon, nor the five  responders ever mention <b>laziness</b>!</p>
    <p>For me it was THE "aha" moment, or rather a long period... <br>
    </p>
    <p>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...</p>
    <p>*<br>
    </p>
    <p>For me, lazy programs permit to represent dynamic processes as
      data. <br>
    </p>
    <p>Iterations as mathematical structures. <br>
    </p>
    <p>Co-recursive perturbational schemes (or asymptotic expansions,
      etc.), which are 10 or more times shorter than the orthodox
      approaches, and remain readable, and natural.</p>
    <p>Laziness makes it possible to play with continuations, thus:
      "making future explicit",  in a particularly constructive manner.</p>
    <p>===========================</p>
    <p>Second section...</p>
    <p>Somebody mentioned "type families". <br>
    </p>
    <p>Why not, but for an audience outside of the FP realm??<br>
      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 <i><b>Curry-Howard
          correspondence</b></i>.</p>
    <p>All the best.</p>
    <p><br>
    </p>
    <p>Jerzy Karczmarczuk</p>
    <p>/Caen, France/<br>
    </p>
    <br>
  <div id="m_5258079610623782001DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2"><br> <table style="border-top:1px solid #d3d4de">
        <tbody><tr>
      <td style="width:55px;padding-top:18px"><a href="https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient" target="_blank"><img alt="" style="width:46px;height:29px" width="46" height="29"></a></td>
                <td style="width:470px;padding-top:17px;color:#41424e;font-size:13px;font-family:Arial,Helvetica,sans-serif;line-height:18px">Garanti sans virus. <a href="https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient" style="color:#4453ea" target="_blank">www.avast.com</a>               </td>
        </tr>
</tbody></table>
<a href="#m_5258079610623782001_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2" width="1" height="1"> </a></div></div>

<br>______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
Only members subscribed via the mailman list are allowed to post.<br></blockquote></div><br></div>