|
| 1 | +--- |
| 2 | +title: Teaching Abstraction: Brent Yorgey |
| 3 | +--- |
| 4 | + |
| 5 | +# Teaching Abstraction: Brent Yorgey |
| 6 | + |
| 7 | +_05/17/18_ |
| 8 | + |
| 9 | +Brent Yorgey is a professor of math and CS at Hendrix College. He studys functional programming in Haskell, type systems, and category theory, and more. He is the creator of the [diagrams](https://byorgey.wordpress.com/2014/01/17/diagrams-1-0/) vector graphics Haskell library. He taught [Introduction to Haskell](http://www.cis.upenn.edu/~cis194/spring13/) and [The Art of Recursion](http://www.cis.upenn.edu/~cis39903/) at the University of Pennslyvaia (which were my two favorite classes in college!). |
| 10 | + |
| 11 | +In this conversation, we talk about Brent's Monad Tutorial Fallacy essay, type systems, FRP, essential vs accidental complexity in Haskell, and the perils of reading academic CS papers and ways to overcome them. |
| 12 | + |
| 13 | +<iframe src="https://omny.fm/shows/future-of-coding/23-teaching-abstraction-brent-yorgey/embed?style=artwork" width="100%" height="180" frameborder="0"></iframe> |
| 14 | + |
| 15 | +## Links |
| 16 | + |
| 17 | +* [Brent's Hendrix Website](http://ozark.hendrix.edu/~yorgey/) |
| 18 | +* [blog :: Brent -> \[String\]](https://byorgey.wordpress.com/about/) |
| 19 | +* [The Math Less Traveled](https://mathlesstraveled.com/about-me/) |
| 20 | +* [Abstraction, intuition, and the “monad tutorial fallacy”](https://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/) |
| 21 | +* [Monads are like burritos](https://blog.plover.com/prog/burritos.html) |
| 22 | +* [Explaining Type Errors](https://byorgey.wordpress.com/2018/01/21/off-the-beaten-track-explaining-type-errors/) |
| 23 | +* [Disco Lang](https://github.com/disco-lang/disco) |
| 24 | +* [Boolean Blindness](https://existentialtype.wordpress.com/2011/03/15/boolean-blindness/) |
| 25 | + |
| 26 | + |
| 27 | +<script repoPath="stevekrouse/futureofcoding.org" type="text/javascript" src="/unbreakable-links/index.js"></script> |
| 28 | +<script> |
| 29 | +(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ |
| 30 | +(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), |
| 31 | +m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) |
| 32 | +})(window,document,'script','https://www.google-analytics.com/analytics.js','ga'); |
| 33 | +ga('create', 'UA-103157758-1', 'auto'); |
| 34 | +ga('send', 'pageview'); |
| 35 | +</script> |
0 commit comments