tag:calagator.org,2005:/events/searchCalagator: Events tagged with: idris2017-12-06T16:48:24-08:00tag:calagator.org,2005:Calagator::Event/12504663852014-06-03T15:39:33-07:002014-06-03T15:41:47-07:00Idris (dependently-typed lang) meetup with Edwin BradyFriday, June 6, 2014 from 5-8:30pm at Lucky Labrador Beer Hallhttp://calagator.org/events/12504663852014-06-06T17:00:00-07:002014-06-06T20:30:00-07:00<div class="vevent">
<h1 class="summary">Idris (dependently-typed lang) meetup with Edwin Brady</h1>
<div class='date'><time class="dtstart dt-start" title="2014-06-06T17:00:00" datetime="2014-06-06T17:00:00">Friday, June 6, 2014 from 5</time>–<time class="dtend dt-end" title="2014-06-06T20:30:00" datetime="2014-06-06T20:30:00">8:30pm</time></div>
<div class="location vcard">
<a href='/venues/202390038' class='url'>
<span class='fn org'>Lucky Labrador Beer Hall</span>
</a>
<div class="adr">
<div class="street-address">1945 NW Quimby</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97209</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=1945%20NW%20Quimby,%20Portland%20OR%2097209%20US'>map</a>)
</div>
</div>
<div class="description">
<p>Idris is a dependently typed language that looks pretty much like Haskell with depedent types.</p>
<p>Its creator, Edwin Brady will be in town this Friday, and says he can give an impromptu talk or demo on some of his latest work in the language.</p>
<p>Come get your copy of the Idris compiler autographed!</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://www.idris-lang.org/">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/dependent types">dependent types</a>, <a class="p-category" href="/events/tag/functional programming">functional programming</a>, <a class="p-category" href="/events/tag/haskell">haskell</a>, <a class="p-category" href="/events/tag/idris">idris</a>, <a class="p-category" href="/events/tag/pdxfunc">pdxfunc</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250466385.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250466385/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Tuesday, June 3, 2014 at 3:39pm</strong> and last updated <br /><strong>Tuesday, June 3, 2014 at 3:41pm</strong>.
</div>
</div>
</div>
45.5335 -122.6915tag:calagator.org,2005:Calagator::Event/12504671902014-10-19T17:05:24-07:002014-10-19T17:05:24-07:00pdxfunc: Portland Functional Programming Study GroupMonday, November 10, 2014 from 6:30-8:30pm at Rentrak - Downtownhttp://calagator.org/events/12504671902014-11-10T18:30:00-08:002014-11-10T20:30:00-08:00<div class="vevent">
<h1 class="summary">pdxfunc: Portland Functional Programming Study Group</h1>
<div class='date'><time class="dtstart dt-start" title="2014-11-10T18:30:00" datetime="2014-11-10T18:30:00">Monday, November 10, 2014 from 6:30</time>–<time class="dtend dt-end" title="2014-11-10T20:30:00" datetime="2014-11-10T20:30:00">8:30pm</time></div>
<div class="location vcard">
<a href='/venues/202394343' class='url'>
<span class='fn org'>Rentrak - Downtown</span>
</a>
<div class="adr">
<div class="street-address">529 SW 3rd Avenue, Floor 4</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97204</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=529%20SW%203rd%20Avenue,%20Floor%204,%20Portland%20OR%2097204%20US'>map</a>)
</div>
</div>
<div class="description">
<p>See the mailing list for details on this month's agenda:
<a href="https://groups.google.com/forum/#!forum/pdxfunc">https://groups.google.com/forum/#!forum/pdxfunc</a></p>
<p><i>ABOUT THE GROUP: Join programmers, researchers and enthusiasts to discuss functional programming. pdxfunc is a study/user group exploring the world of functional programming based in Portland, Oregon. The group welcomes programmers interested in all functional languages, including Haskell, OCaml, Erlang, Scala and others, as well as using functional techniques in non-functional languages. The group meets regularly and provides presentations, demos and discussions applicable to all skill levels, from newbies and experts. The meetings are usually on the second Monday of the month.
</i></p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://pdxfunc.org/">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/agda">agda</a>, <a class="p-category external epdx group" href="http://epdx.org/groups/11">epdx:group=11</a>, <a class="p-category" href="/events/tag/functional programming">functional programming</a>, <a class="p-category" href="/events/tag/haskell">haskell</a>, <a class="p-category" href="/events/tag/idris">idris</a>, <a class="p-category" href="/events/tag/monads">monads</a>, <a class="p-category" href="/events/tag/pdxfunc">pdxfunc</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250467190.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250467190/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Sunday, October 19, 2014 at 5:05pm</strong>.
</div>
</div>
</div>
45.5193 -122.6751tag:calagator.org,2005:Calagator::Event/12504676142015-01-09T15:35:02-08:002015-01-09T15:35:02-08:00Galois Tech Talk: Dependently typed functional programming in Idris (part 1 of 3)Thursday, January 15, 2015 from 3:30-4:30pm at Galois Inchttp://calagator.org/events/12504676142015-01-15T15:30:00-08:002015-01-15T16:30:00-08:00<div class="vevent">
<h1 class="summary">Galois Tech Talk: Dependently typed functional programming in Idris (part 1 of 3)</h1>
<div class='date'><time class="dtstart dt-start" title="2015-01-15T15:30:00" datetime="2015-01-15T15:30:00">Thursday, January 15, 2015 from 3:30</time>–<time class="dtend dt-end" title="2015-01-15T16:30:00" datetime="2015-01-15T16:30:00">4:30pm</time></div>
<div class="location vcard">
<a href='/venues/202394717' class='url'>
<span class='fn org'>Galois Inc</span>
</a>
<div class="adr">
<div class="street-address">421 Sw 6th Ave Ste 300</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97204</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=421%20Sw%206th%20Ave%20Ste%20300,%20Portland%20OR%2097204%20US'>map</a>)
</div>
</div>
<div class="description">
<p>abstract:
Idris is a pure functional language with full dependent types. In this series of tech talks, Idris contributor David Christiansen will provide an introduction to programming in Idris as well as using its development tools. Topics to be covered include the basics of dependent types, embedding DSLs in Idris, Idris’s notion of type providers, a general outline of the implementation strategy, the C FFI, and the effects library. Each talk has an associated set of exercises as well as suggested projects for further learning. Participants are expected to be familiar with functional programming in either Haskell or an ML.</p>
<p>bio:
David Raymond Christiansen is a Ph.D. student at the IT University of Copenhagen. For the last few months, he has been an intern at Galois, working on verifiable elections and better user interfaces for DSLs. His interests include functional programming languages, domain-specific languages, and environments that make them useful. David has contributed features such as type providers and error reflection to the Idris language as well as significant parts of the Emacs-based IDE. Additionally, he is a co-host of The Type Theory Podcast.</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://galois.com/blog/2015/01/tech-talk-dependently-typed-functional-programming-idris-1-3/">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/Galois tech talk">Galois tech talk</a>, <a class="p-category external epdx group" href="http://epdx.org/groups/11">epdx:group=11</a>, <a class="p-category" href="/events/tag/functional programming">functional programming</a>, <a class="p-category" href="/events/tag/haskell">haskell</a>, <a class="p-category" href="/events/tag/idris">idris</a>, <a class="p-category" href="/events/tag/type theory">type theory</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250467614.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250467614/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Friday, January 9, 2015 at 3:35pm</strong>.
</div>
</div>
</div>
45.5208 -122.6779tag:calagator.org,2005:Calagator::Event/12504676162015-01-09T15:45:14-08:002015-01-09T15:45:14-08:00Galois Tech Talk: Dependently typed functional programming in Idris, 2 of 3Tuesday, January 20, 2015 from 3:30-4:30pm at Galois Inchttp://calagator.org/events/12504676162015-01-20T15:30:00-08:002015-01-20T16:30:00-08:00<div class="vevent">
<h1 class="summary">Galois Tech Talk: Dependently typed functional programming in Idris, 2 of 3</h1>
<div class='date'><time class="dtstart dt-start" title="2015-01-20T15:30:00" datetime="2015-01-20T15:30:00">Tuesday, January 20, 2015 from 3:30</time>–<time class="dtend dt-end" title="2015-01-20T16:30:00" datetime="2015-01-20T16:30:00">4:30pm</time></div>
<div class="location vcard">
<a href='/venues/202394717' class='url'>
<span class='fn org'>Galois Inc</span>
</a>
<div class="adr">
<div class="street-address">421 Sw 6th Ave Ste 300</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97204</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=421%20Sw%206th%20Ave%20Ste%20300,%20Portland%20OR%2097204%20US'>map</a>)
</div>
</div>
<div class="description">
<p>abstract:
Idris is a pure functional language with full dependent types. In this series of tech talks, Idris contributor David Christiansen will provide an introduction to programming in Idris as well as using its development tools. Topics to be covered include the basics of dependent types, embedding DSLs in Idris, Idris’s notion of type providers, a general outline of the implementation strategy, the C FFI, and the effects library. Each talk has an associated set of exercises as well as suggested projects for further learning. Participants are expected to be familiar with functional programming in either Haskell or an ML.</p>
<p>bio:
David Raymond Christiansen is a Ph.D. student at the IT University of Copenhagen. For the last few months, he has been an intern at Galois, working on verifiable elections and better user interfaces for DSLs. His interests include functional programming languages, domain-specific languages, and environments that make them useful. David has contributed features such as type providers and error reflection to the Idris language as well as significant parts of the Emacs-based IDE. Additionally, he is a co-host of The Type Theory Podcast.</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://galois.com/blog/2015/01/tech-talk-dependently-typed-functional-programming-idris-2-3/">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/Galois tech talk">Galois tech talk</a>, <a class="p-category" href="/events/tag/idris">idris</a>, <a class="p-category" href="/events/tag/type theory">type theory</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250467616.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250467616/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Friday, January 9, 2015 at 3:45pm</strong>.
</div>
</div>
</div>
45.5208 -122.6779tag:calagator.org,2005:Calagator::Event/12504676172015-01-09T15:46:27-08:002015-01-09T15:46:27-08:00Galois Tech Talk: Dependently typed functional programming in Idris, 3 of 3Thursday, January 22, 2015 from 3:30-4:30pm at Galois Inchttp://calagator.org/events/12504676172015-01-22T15:30:00-08:002015-01-22T16:30:00-08:00<div class="vevent">
<h1 class="summary">Galois Tech Talk: Dependently typed functional programming in Idris, 3 of 3</h1>
<div class='date'><time class="dtstart dt-start" title="2015-01-22T15:30:00" datetime="2015-01-22T15:30:00">Thursday, January 22, 2015 from 3:30</time>–<time class="dtend dt-end" title="2015-01-22T16:30:00" datetime="2015-01-22T16:30:00">4:30pm</time></div>
<div class="location vcard">
<a href='/venues/202394717' class='url'>
<span class='fn org'>Galois Inc</span>
</a>
<div class="adr">
<div class="street-address">421 Sw 6th Ave Ste 300</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97204</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=421%20Sw%206th%20Ave%20Ste%20300,%20Portland%20OR%2097204%20US'>map</a>)
</div>
</div>
<div class="description">
<p>abstract:
Idris is a pure functional language with full dependent types. In this series of tech talks, Idris contributor David Christiansen will provide an introduction to programming in Idris as well as using its development tools. Topics to be covered include the basics of dependent types, embedding DSLs in Idris, Idris’s notion of type providers, a general outline of the implementation strategy, the C FFI, and the effects library. Each talk has an associated set of exercises as well as suggested projects for further learning. Participants are expected to be familiar with functional programming in either Haskell or an ML.</p>
<p>bio:
David Raymond Christiansen is a Ph.D. student at the IT University of Copenhagen. For the last few months, he has been an intern at Galois, working on verifiable elections and better user interfaces for DSLs. His interests include functional programming languages, domain-specific languages, and environments that make them useful. David has contributed features such as type providers and error reflection to the Idris language as well as significant parts of the Emacs-based IDE. Additionally, he is a co-host of The Type Theory Podcast.</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://galois.com/blog/2015/01/tech-talk-dependently-typed-functional-programming-idris-3-3/">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/Galois tech talk">Galois tech talk</a>, <a class="p-category" href="/events/tag/idris">idris</a>, <a class="p-category" href="/events/tag/type theory">type theory</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250467617.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250467617/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Friday, January 9, 2015 at 3:46pm</strong>.
</div>
</div>
</div>
45.5208 -122.6779tag:calagator.org,2005:Calagator::Event/12504728412017-11-13T08:52:05-08:002017-12-06T16:48:24-08:00Portland Functional Programming Study Group - 10th Anniversary Party and New Format KickoffMonday, November 13, 2017 from 6:30-8:30pm at Collective Agency Downtownhttp://calagator.org/events/12504728412017-11-13T18:30:00-08:002017-11-13T20:30:00-08:00<div class="vevent">
<h1 class="summary">Portland Functional Programming Study Group - 10th Anniversary Party and New Format Kickoff</h1>
<div class='date'><time class="dtstart dt-start" title="2017-11-13T18:30:00" datetime="2017-11-13T18:30:00">Monday, November 13, 2017 from 6:30</time>–<time class="dtend dt-end" title="2017-11-13T20:30:00" datetime="2017-11-13T20:30:00">8:30pm</time></div>
<div class="location vcard">
<a href='/venues/202392813' class='url'>
<span class='fn org'>Collective Agency Downtown</span>
</a>
<div class="adr">
<div class="street-address">511 SW 10th Ave, Suite 1108</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97205</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=511%20SW%2010th%20Ave,%20Suite%201108,%20Portland%20OR%2097205%20US'>map</a>)
</div>
</div>
<div class="description">
<p>Come celebrate the 10th anniversary of PDX Func! The first meeting was on 11/15/07. There'll be food and drink and cake! We'll also discuss the new format for meetings based on the survey results. We will also go over the Applicative Functor lesson from CIS 193, which will be our final lesson from that track.</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="https://www.meetup.com/Portland-Functional-Programming-Study-Group/events/244122576/">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/category theory">category theory</a>, <a class="p-category" href="/events/tag/clojure">clojure</a>, <a class="p-category" href="/events/tag/erlang programming">erlang programming</a>, <a class="p-category" href="/events/tag/f# programming">f# programming</a>, <a class="p-category" href="/events/tag/functional programming">functional programming</a>, <a class="p-category" href="/events/tag/functional programming in python">functional programming in python</a>, <a class="p-category" href="/events/tag/functors and monads">functors and monads</a>, <a class="p-category" href="/events/tag/haskell">haskell</a>, <a class="p-category" href="/events/tag/idris">idris</a>, <a class="p-category" href="/events/tag/lisp & scheme">lisp & scheme</a>, <a class="p-category" href="/events/tag/mathematics">mathematics</a>, <a class="p-category" href="/events/tag/meetup:event=244122576">meetup:event=244122576</a>, <a class="p-category external meetup group" href="http://www.meetup.com/Portland-Functional-Programming-Study-Group">meetup:group=Portland-Functional-Programming-Study-Group</a>, <a class="p-category" href="/events/tag/ocaml programming">ocaml programming</a>, <a class="p-category" href="/events/tag/programming languages">programming languages</a>, <a class="p-category" href="/events/tag/scala">scala</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250472841.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250472841/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was imported from <a href="/sources/996336291">https://www.meetup.com/Portland-Funct...</a> <br /><strong>Monday, November 13, 2017 at 8:52am</strong> and last updated <br /><strong>Wednesday, December 6, 2017 at 4:48pm</strong>.
</div>
</div>
</div>
45.5212 -122.6818