102 lines
3.6 KiB
HTML
102 lines
3.6 KiB
HTML
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<meta content="text/html; charset=utf-8" http-equiv="content-type">
|
|
<title>Programm Chaos Singularity 2014</title>
|
|
<link href="/fahrplan/2014/assets/public_schedule-8bfa1999e089241b551c2ff7023ef7da.css" media="screen" rel="stylesheet" type="text/css">
|
|
<link href="/fahrplan/2014/style.css" media="all" rel="stylesheet" type="text/css">
|
|
<link href="/fahrplan/2014/assets/public_schedule_print-233e241f259049e63e89cebef83c15ee.css" media="print" rel="stylesheet" type="text/css">
|
|
<script src="/fahrplan/2014/assets/application-15a5751a083016a5cf17be82a9008178.js" type="text/javascript"></script>
|
|
</head>
|
|
<body>
|
|
<div id="wrapper">
|
|
<div id="header">
|
|
<h1>Programm Chaos Singularity 2014</h1>
|
|
</div>
|
|
<div id="horizontal-navigation">
|
|
<ul>
|
|
<li>
|
|
<a href="/fahrplan/2014/schedule.html">Übersicht</a>
|
|
</li>
|
|
<li>
|
|
<a href="/fahrplan/2014/schedule/0.html">
|
|
Tag 1
|
|
<br><span class="small-font">13.06.2014</span>
|
|
</a>
|
|
</li>
|
|
<li>
|
|
<a href="/fahrplan/2014/schedule/1.html">
|
|
Tag 2
|
|
<br><span class="small-font">14.06.2014</span>
|
|
</a>
|
|
</li>
|
|
<li>
|
|
<a href="/fahrplan/2014/schedule/2.html">
|
|
Tag 3
|
|
<br><span class="small-font">15.06.2014</span>
|
|
</a>
|
|
</li>
|
|
<li>
|
|
<a href="/fahrplan/2014/speakers.html">Referenten</a>
|
|
</li>
|
|
<li class="selected">
|
|
<a href="/fahrplan/2014/events.html">Veranstaltungen</a>
|
|
</li>
|
|
</ul>
|
|
</div>
|
|
<div id="main-content">
|
|
<h2>Vortrag: Composing Side Effects</h2>
|
|
<h3 class="title"></h3>
|
|
<div class="column left" id="basic">
|
|
<div class="image large"><img alt="Logo" src="/fahrplan/2014/system/logos/5893/large/logo.png"></div>
|
|
<p class="abstract">Programming language paradigms all have a different set of interesting effects, in this presentation I will show you how to treat effects as types and compose them to "effect sandwiches" aka. monad transformers in Haskell.</p>
|
|
<p class="description">Imperative main-stream languages allow a function to have any effect on the machine itself, whereas in pure functional languages you need to invite each effect type explicitly. Controlled effects allow explicit parallelism and pure mathematical function can be run in parallel by giving semi-implicit instructions or structures. Undesired effects that have not been invited through types often cause critical failure in security applications.
|
|
<br>This talk wants you to take control of your applications' effects or when you are lazy as in functional, give you an idea how to combine monadic libraries.</p>
|
|
</div>
|
|
<div class="column left" id="details">
|
|
<h3>Info</h3>
|
|
<p>
|
|
<b>Tag:</b>
|
|
<a href="/fahrplan/2014/schedule/1.html">14.06.2014</a>
|
|
<br><b>Anfang:</b>
|
|
20:15 Uhr
|
|
<br><b>Dauer:</b>
|
|
01:30
|
|
<br><b><span class="translation_missing" title="translation missing: de.public.schedule.event.room">Room</span>:</b>
|
|
Movie room
|
|
<br><b>Track:</b>
|
|
Lecture
|
|
<br><b>Sprache:</b>
|
|
en
|
|
</p>
|
|
<h3>Links:</h3>
|
|
<ul>
|
|
<li><a href="/fahrplan/2014/events/5893.ics">iCalendar</a></li>
|
|
</ul>
|
|
<h3>Dateien</h3>
|
|
<ul>
|
|
<li><a href="/fahrplan/2014/system/attachments/2315/original/index.pdf">Slides</a></li>
|
|
</ul>
|
|
<div class="column left" id="concurrent_events">
|
|
<h3>Concurrent events</h3>
|
|
<dl class="dl-horizontal">
|
|
<dt>Lecture room</dt>
|
|
<dd><a href="/fahrplan/2014/events/5851.html">Doppel-D: Digitale Didaktik</a></dd>
|
|
</dl>
|
|
</div>
|
|
</div>
|
|
<div class="column right" id="sidebar">
|
|
<h3>Referenten</h3>
|
|
<table class="list"><tbody><tr>
|
|
<td><div class="image small"><img alt="Person_small" src="/fahrplan/2014/assets/person_small-6f00a05842ef93f01e648d1c80c3710f.png"></div></td>
|
|
<td><a href="/fahrplan/2014/speakers/4615.html">publicname</a></td>
|
|
</tr></tbody></table>
|
|
</div>
|
|
<div class="span16">
|
|
</div>
|
|
|
|
<br class="clear">
|
|
</div>
|
|
</div>
|
|
</body>
|
|
</html>
|