Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">Galois Tech Talk: Type Correct Changes, A Safe Approach to Version Control Implementation</h1> <div class='date'><time class="dtstart dt-start" title="2008-10-14T10:30:00" datetime="2008-10-14T10:30:00">Tuesday, October 14, 2008 from 10:30am</time>–<time class="dtend dt-end" title="2008-10-14T12:00:00" datetime="2008-10-14T12:00:00">noon</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>Next week's tech talk, a special treat, with Jason Dagit (aka. lispy on</p> <h1>haskell) dropping by to talk about using GADTs to clean up darcs' patch</h1> <p>theory implementation.</p> <hr> <p>TITLE: Type Correct Changes A Safe Approach to Version Control Implementation</p> <p>speaker: Jason Dagit</p> <p>LOCATION: Galois, Inc. 421 SW 6th Ave. Suite 300 (3rd floor of the Commonwealth Building) Portland, Oregon</p> <p>ABSTRACT:</p> <p>This will be a talk about Darcs and type safe manipulations of changes:</p> <p>Darcs is based on a data model, known as Patch Theory, that sets it apart from other version control systems. The power of this data model is that it allows Darcs to manage significant complexity with a relatively straightforward user interface.</p> <p>We show that Generalized Algebraic Data Types (GADTs) can be used to express several fundamental invariants and properties derived from Patch Theory. This gives our compiler, GHC, a way to statically enforce our adherence to the essential rules of our data model.</p> <p>Finally, we examine how these techniques can improve the quality of the darcs codebase in practice.</p> <p>PRESENTER:</p> <p>Jason Dagit graduated from Oregon State University with B.S. degrees in Computer Science and Mathematics. He is currently employed at PTV America while completing his Masters degree at Oregon State under co-advisors Dr. David Roundy and Dr. Martin Erwig. During his time in graduate school he has studied both usability and programming languages. He participated in the 2007 Google Summer of Code where he worked under Dr. Roundy to improve Darcs conflict handling.</p> <p>ABOUT THE GALOIS TECH TALKS:</p> <p>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.</p> <p>The talks are open and free. If you're planning to attend, dropping a note to <a href="mailto:dons@galois.com">dons@galois.com</a> is appreciated, but not required. If you're interested in giving a talk, we're always looking for new speakers.</p> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="http://www.galois.com/">Website</a></li> </ul> </div>