David Christiansen's guest appearances

David Christiansen

Functional Geekery

(U)endelig

The PTJ Podcast

The Haskell Interlude

Nick Zei's Universe The Game

Peyton Jones

Rob Bell

Nadia Polikarpova

Chris Smith

Dan Friedman

Dave Thomas

Chris Allen

Colin Barrett

ERIC SMITH

Gene Kim

Evan Hubinger

Colin Jones

Scott Wlaschin

Richard Feldman

Mary McMillan

OwlTail

David Christiansen is interviewed by Alejandro Serrano  and Wouter Swierstra.  They talk about many functional programming things, from Idris to Racket and of course Haskell and David's new role as the executive director of Haskell Foundation. 

David Christiansen is interviewed by Alejandro Serrano  and Wouter Swierstra.  They talk about many functional programming things, from Idris to Racket and of course Haskell and David's new role as the executive director of Haskell Foundation.

13: David Christiansen

In this episode I talk with David Christiansen.  We talk his introduction to functional programming, research in dependent types, Idris, Nuprl and LFC traits, work to add dependent types to macro-expansion in Racket, and much, much more. Our Guest, David Christiansen @d_christiansen on Twitter http://davidchristiansen.dk/ Conference Announcements RacketCon is October 7th &amp; 8th at the University of Washington, with keynote speakers Dan Friedman and Will Byrd.  Visit http://con.racket-lang.org/ for more information and to register. Celebrate the 10th anniversary of the release of Clojure October the 12th – 14th at the Clojure/Conj in Baltimore, Maryland.  Visit http://2017.clojure-conj.org/ for more information and to register. LambdaWorld will be taking place in Cadiz, Spain on October 26th and 27th.  For more information visit and to keep updated visit http://www.lambda.world/. CodeMesh is coming up November 8th and 9th in London.  For more information, and to keep an eye open for registration, visit http://www.codemesh.io/. Moonconf will be taking place the 9th-11th of November.  For more information visit http://moonconf.org/. Clojure SYNC will be taking place in New Orleans on February 15th &amp; 16th of 2018.  For more information and to register visit: http://clojuresync.com/. LambdaDays 2018 will be taking place February 22nd and 23rd in Kraków, Poland.  For more information, and to register, visit http://www.lambdadays.org/. If you have a conference related to functional programming, contact me, and I will be happy to announce it. Announcements Some of you have asked how you can support Functional Geekery, in that vein, Functional Geekery now has a Patreon Page. If that is one of the ways you would like to show your support, you can find out more at https://www.patreon.com/fngeekery. Topics [@3:22] About David Idris Indiana University Bloomington Racket Type Driven Development in Idris The Type Theory Podcast Dan Friedman on Functional Geekery David’s introduction to programming and computers MS-DOS GW-BASIC Major in Philosophy with Minor in Computer Science What put functional programming on David’s radar Lisp Haskell A Gentle Introduction to Haskell Structure and Interpretation of Computer Programs PLTScheme, now Racket Internship doing I.T. QBasic C Perl Smalltalk David’s grad school work Exposure to Idris at St Andrew’s summer school General ML exposure around Copenhagen False dichotomy between industry and “academic” languages Progression to push into dependent types “Part of my job description at the time was: learn about interesting things” The Type Theory Podcast Software Foundations Adam Chlipala on Functional Geekery Dependent Types as a aesthetic thing Type Driven Development Interactive programming environments from the 80’s “Let the computer do what the computer is good at, which is the details” Nuprl Jon Sterling’s jonPRL and RedPRL Types as predicates that describe behavior Agda Coq Typed Racket Using Racket as a proof language for Nuprl type system Logic for Computable Functions by Dana S. Scott Robin Milner Edinburgh LCF ML Running LCF style proofs in Racket macro-expansion Hackett cur miniKanren µKanren Scribble Slideshow video Resources to get started understanding dependent types Software Foundations Upcoming _Little Schemer_ family book on dependent types with Dan Friedman Little Schemer Upcoming talks previewing book at RacketCon and CodeMesh Oregon Programming Languages Summer School videos Suggestions for a title in Little Schemer tradition As always, a giant Thank You goes to David Belcher for the logo design.

In this episode I talk with David Christiansen. We talk his introduction to functional programming, research in dependent types, Idris, Nuprl and LFC traits, work to add dependent types to macro-expansion in Racket, and much, much more. <h2>Our Guest, David Christiansen</h2> <a href="https://twitter.com/d_christiansen" rel="noopener noreferrer nofollow" target="_blank">@d_christiansen</a> on Twitter <a href="http://davidchristiansen.dk/" rel="noopener noreferrer nofollow" target="_blank">http://davidchristiansen.dk/</a> <h3>Conference Announcements</h3> RacketCon is October 7th &amp; 8th at the University of Washington, with keynote speakers Dan Friedman and Will Byrd. Visit <a href="http://con.racket-lang.org/" rel="noopener noreferrer nofollow" target="_blank">http://con.racket-lang.org/</a> for more information and to register. Celebrate the 10th anniversary of the release of Clojure October the 12th – 14th at the Clojure/Conj in Baltimore, Maryland. Visit <a href="http://2017.clojure-conj.org/" rel="noopener noreferrer nofollow" target="_blank">http://2017.clojure-conj.org/</a> for more information and to register. LambdaWorld will be taking place in Cadiz, Spain on October 26th and 27th. For more information visit and to keep updated visit <a href="http://www.lambda.world/" rel="noopener noreferrer nofollow" target="_blank">http://www.lambda.world/</a>. CodeMesh is coming up November 8th and 9th in London. For more information, and to keep an eye open for registration, visit <a href="http://www.codemesh.io/" rel="noopener noreferrer nofollow" target="_blank">http://www.codemesh.io/</a>. Moonconf will be taking place the 9th-11th of November. For more information visit <a href="http://moonconf.org/" rel="noopener noreferrer nofollow" target="_blank">http://moonconf.org/</a>. Clojure SYNC will be taking place in New Orleans on February 15th &amp; 16th of 2018. For more information and to register visit: <a href="http://clojuresync.com/" rel="noopener noreferrer nofollow" target="_blank">http://clojuresync.com/</a>. LambdaDays 2018 will be taking place February 22nd and 23rd in Kraków, Poland. For more information, and to register, visit <a href="http://www.lambdadays.org/" rel="noopener noreferrer nofollow" target="_blank">http://www.lambdadays.org/</a>. If you have a conference related to functional programming, contact me, and I will be happy to announce it. <h3>Announcements</h3> Some of you have asked how you can support Functional Geekery, in that vein, Functional Geekery now has a Patreon Page. If that is one of the ways you would like to show your support, you can find out more at <a href="https://www.patreon.com/fngeekery" rel="noopener noreferrer nofollow" target="_blank">https://www.patreon.com/fngeekery</a>. <h3>Topics [@3:22]</h3> About David <a href="https://www.idris-lang.org/" rel="noopener noreferrer nofollow" target="_blank">Idris</a> <a href="https://www.cs.indiana.edu/" rel="noopener noreferrer nofollow" target="_blank">Indiana University Bloomington</a> <a href="http://racket-lang.org/" rel="noopener noreferrer nofollow" target="_blank">Racket</a> <a href="http://amzn.to/2wrqpQo" rel="noopener noreferrer nofollow" target="_blank">Type Driven Development in Idris</a> <a href="http://typetheorypodcast.com/" rel="noopener noreferrer nofollow" target="_blank">The Type Theory Podcast</a> <a href="https://www.functionalgeekery.com/episode-95-dan-friedman/" rel="noopener noreferrer nofollow" target="_blank">Dan Friedman on Functional Geekery</a> David’s introduction to programming and computers <a href="https://en.wikipedia.org/wiki/GW-BASIC" rel="noopener noreferrer nofollow" target="_blank">MS-DOS GW-BASIC</a> Major in Philosophy with Minor in Computer Science What put functional programming on David’s radar Lisp <a href="https://www.haskell.org/" rel="noopener noreferrer nofollow" target="_blank">Haskell</a> <a href="https://www.haskell.org/tutorial/index.html" rel="noopener noreferrer nofollow" target="_blank">A Gentle Introduction to Haskell</a> <a href="http://amzn.to/2yaDZUL" rel="noopener noreferrer nofollow" target="_blank">Structure and Interpretation of Computer Programs</a> PLTScheme, now <a href="http://racket-lang.org/" rel="noopener noreferrer nofollow" target="_blank">Racket</a> Internship doing I.T. <a href="https://en.wikipedia.org/wiki/QBasic" rel="noopener noreferrer nofollow" target="_blank">QBasic</a> C <a href="https://www.perl.org/" rel="noopener noreferrer nofollow" target="_blank">Perl</a> Smalltalk David’s grad school work Exposure to Idris at <a href="https://blogs.cs.st-andrews.ac.uk/csblog/category/event/summer-school/" rel="noopener noreferrer nofollow" target="_blank">St Andrew’s summer school</a> General ML exposure around Copenhagen False dichotomy between industry and “academic” languages Progression to push into dependent types “Part of my job description at the time was: learn about interesting things” <a href="http://typetheorypodcast.com/" rel="noopener noreferrer nofollow" target="_blank">The Type Theory Podcast</a> <a href="https://softwarefoundations.cis.upenn.edu/current/index.html" rel="noopener noreferrer nofollow" target="_blank">Software Foundations</a> <a href="https://www.functionalgeekery.com/episode-101-adam-chlipala/" rel="noopener noreferrer nofollow" target="_blank">Adam Chlipala on Functional Geekery</a> Dependent Types as a aesthetic thing Type Driven Development Interactive programming environments from the 80’s “Let the computer do what the computer is good at, which is the details” <a href="http://nuprl.org/" rel="noopener noreferrer nofollow" target="_blank">Nuprl</a> Jon Sterling’s <a href="https://github.com/jonsterling/JonPRL" rel="noopener noreferrer nofollow" target="_blank">jonPRL</a> and <a href="https://github.com/RedPRL/sml-redprl" rel="noopener noreferrer nofollow" target="_blank">RedPRL</a> Types as predicates that describe behavior <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php" rel="noopener noreferrer nofollow" target="_blank">Agda</a> <a href="https://coq.inria.fr/" rel="noopener noreferrer nofollow" target="_blank">Coq</a> <a href="http://docs.racket-lang.org/ts-guide/" rel="noopener noreferrer nofollow" target="_blank">Typed Racket</a> Using Racket as a proof language for Nuprl type system <a href="https://www.cs.cmu.edu/~kw/scans/scott93tcs.pdf" rel="noopener noreferrer nofollow" target="_blank">Logic for Computable Functions by Dana S. Scott</a> Robin Milner <a href="http://amzn.to/2xhHRFM" rel="noopener noreferrer nofollow" target="_blank">Edinburgh LCF</a> ML Running LCF style proofs in Racket macro-expansion <a href="https://docs.racket-lang.org/hackett/index.html" rel="noopener noreferrer nofollow" target="_blank">Hackett</a> <a href="https://pkgs.racket-lang.org/package/cur" rel="noopener noreferrer nofollow" target="_blank">cur</a> <a href="http://minikanren.org/" rel="noopener noreferrer nofollow" target="_blank">miniKanren</a> <a href="http://minikanren.org/#implementations" rel="noopener noreferrer nofollow" target="_blank">µKanren</a> <a href="http://docs.racket-lang.org/scribble/" rel="noopener noreferrer nofollow" target="_blank">Scribble</a> <a href="http://docs.racket-lang.org/slideshow/index.html" rel="noopener noreferrer nofollow" target="_blank">Slideshow</a> <a href="http://docs.racket-lang.org/video/index.html" rel="noopener noreferrer nofollow" target="_blank">video</a> Resources to get started understanding dependent types <a href="https://softwarefoundations.cis.upenn.edu/current/index.html" rel="noopener noreferrer nofollow" target="_blank">Software Foundations</a> Upcoming _Little Schemer_ family book on dependent types with Dan Friedman <a href="http://amzn.to/2xhQeRX" rel="noopener noreferrer nofollow" target="_blank">Little Schemer</a> Upcoming talks previewing book at <a href="http://con.racket-lang.org/" rel="noopener noreferrer nofollow" target="_blank">RacketCon</a> and <a href="http://www.codemesh.io/" rel="noopener noreferrer nofollow" target="_blank">CodeMesh</a> <a href="https://www.cs.uoregon.edu/research/summerschool/archives.html" rel="noopener noreferrer nofollow" target="_blank">Oregon Programming Languages Summer School videos</a> Suggestions for a title in Little Schemer tradition As always, a giant Thank You goes to <a href="https://www.twitter.com/davidjbelcher" rel="noopener noreferrer nofollow" target="_blank">David Belcher</a> for the logo design.

Functional Geekery Episode 108 - David Christiansen

Er det ikke underlig hvor mye man undrer seg? Det undrer vi oss over sammen med David Christiansen.



Subscribe: iTunes | Android | RSS

Tips: Velg «Play in New Window» hvis  du har problemer med å starte podcasten.


Er det ikke underlig hvor mye man undrer seg? Det undrer vi oss over sammen med David Christiansen. Subscribe: <a href="https://itunes.apple.com/no/podcast/u-endelig/id1123101325" rel="nofollow" target="_blank">iTunes</a> | <a href="http://www.subscribeonandroid.com/uendelig.xyz/feed/podcast" rel="nofollow" target="_blank">Android</a> | <a href="http://uendelig.xyz/feed/podcast" rel="nofollow" target="_blank">RSS</a> Tips: Velg «Play in New Window» hvis  du har problemer med å starte podcasten.

(U)012 – Undring (Gjest – David Christiansen)

Dr. Jette interviews PTJ author David Christiansen.

Dr. Jette interviews PTJ author David Christiansen.