Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">Galois Tech Talks: Left-fold enumerators -- Towards a safe, expressive and efficient I/O interface for Haskell</h1> <div class='date'><time class="dtstart dt-start" title="2008-09-15T13:00:00" datetime="2008-09-15T13:00:00">Monday, September 15, 2008 from 1</time>–<time class="dtend dt-end" title="2008-09-15T15:00:00" datetime="2008-09-15T15:00:00">3pm</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202390439'><span class='fn org p-name'>Galois, Inc</span></a> <div class="adr p-adr h-adr"> <div class="street-address p-street-address">421 SW 6th Ave. Suite 300</div> <span class="locality p-locality">Portland</span> , <span class="region p-region">OR</span> <span class="postal-code p-postal-code">97204</span> <div class="country-name p-country-name">US</div> (<a href='https://maps.google.com/maps?q=421%20SW%206th%20Ave.%20Suite%20300,%20Portland%20OR%2097204%20US'>map</a>) </div> </div> <div class="description p-description"> <p>Title: Left-fold enumerators</p> <pre><code> Towards a safe, expressive and efficient I/O interface for Haskell </code></pre> <p>Speaker: Johan Tibell</p> <pre><code> Software Engineer Google </code></pre> <p>Date: Monday, September 15th.</p> <pre><code> 1pm </code></pre> <p>Location: Galois, Inc.</p> <pre><code> 421 SW 6th Ave. Suite 300 (3rd floor of the Commonwealth Building) Portland, Oregon </code></pre> <p>Abstract:</p> <pre><code>I will describe a programming style for I/O operations that is based on left-fold enumerators. This style of programming is more expressive than imperative style I/O represented by the Unix functions read and write, and safer than lazy I/O using streams. Left-fold enumerators offers both high-performance using block based I/O and safety in terms of error handling and resource usage. I will demonstrate Hyena, a web server prototype written in Haskell, as an example of left-fold enumerator style of programming. This talk is intended as a starting point for further discussions on what would be a good interface for I/O rather than a presentation of finished research. </code></pre> <p>About the Galois Tech Talks.</p> <pre><code>Galois (<a href="http://galois.com">http://galois.com</a>) has been holding weekly technical seminars for several years on topics from functional programming, formal methods, compiler and language design, to cryptography, and operating system construction, with talks by many figures from the programming language and formal methods communities. The talks are open and free. If you're planning to attend, dropping a note to is appreciated, but not required. If you're interested in giving a talk, we're always looking for new speakers. </code></pre> <div><a href="https://www.crazybulk-avis.com/">Crazybulk Avis</a></div> <p></p> </div> </div>