From fce04a7f11b63d9c00ab741496c1864ead40c44d Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 24 Aug 2010 21:38:05 -0400 Subject: [PATCH] cleaned monad links Signed-off-by: Jim Pryor --- offsite_reading.mdwn | 36 ++++++++++++++++-------------------- 1 file changed, 16 insertions(+), 20 deletions(-) diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn index b09ae2ea..286e7485 100644 --- a/offsite_reading.mdwn +++ b/offsite_reading.mdwn @@ -17,21 +17,20 @@ get more out of out. (Rinse and repeat.) ## General issues about variables and binding in programming languages ## -* [[!wikipedia Variable (programming)]] +* [[!wikipedia Variable (programming) desc="Variables"]] * [[!wikipedia Variable shadowing]] -* [[!wikipedia Scope (programming)]] +* [[!wikipedia Scope (programming) desc="Variable scope"]] * [[!wikipedia Free variables and bound variables]] * [[!wikipedia Name binding]] * [[!wikipedia Name resolution]] -* [[!wikipedia Parameter (computer science)]] +* [[!wikipedia Parameter (computer science) desc="Function parameters"]] ## Functions as values, etc ## * [[!wikipedia Higher-order function]] * [[!wikipedia First-class function]] -* [[!wikipedia Closure (computer science)]] +* [[!wikipedia Closure (computer science) desc="Closures"]] * [[!wikipedia Currying]] -* [[!wikipedia Recursion (computer science)]] ## Functional vs imperative programming ## @@ -61,7 +60,7 @@ get more out of out. (Rinse and repeat.) ## Learning Scheme ## -* [Wikipedia overview of Scheme](http://en.wikipedia.org/wiki/Scheme_%28programming_language%29) +* [[!wikipedia Scheme (programming language) desc="Wikipedia overview of Scheme"]] * If you are new to programming or if you have the patience to work through a textbook, you should work through a textbook. Some good choices are The Little Schemer book(s) we recommended for the seminar; and also: @@ -104,6 +103,7 @@ community. ## Recursion and the Y Combinator ## +* [[!wikipedia Recursion (computer science) desc="Recursion"]] * [[!wikipedia Y combinator]] * [Chapter 9 from The Little Schemer](http://www.ccs.neu.edu/home/matthias/BTLS/sample.ps) on the Y Combinator "...and Again, and Again, and Again..." * [The Y combinator](http://mvanier.livejournal.com/2700.html) @@ -142,13 +142,13 @@ community. ## Side-effects / mutation ## -* [[!wikipedia Side effect (computer science)]] -* [[!wikipedia Reference (computer science)]] -* [[!wikipedia Pointer (computing)]] +* [[!wikipedia Side effect (computer science) desc="Side effects"]] +* [[!wikipedia Reference (computer science) desc="References"]] +* [[!wikipedia Pointer (computing) desc="Pointers"]] ## Monads ## -* [Monad in Functional Programming](http://en.wikipedia.org/wiki/Monad_(functional_programming)) +* [[!wikipedia Monad (functional programming) desc="Monads in Functional Programming"]] * [A Gentle Intro to Haskell: About Monads](http://www.haskell.org/tutorial/monads.html) @@ -178,17 +178,17 @@ community. [Part 3](http://james-iry.blogspot.com/2007/10/monads-are-elephants-part-3.html) [Part 4](http://james-iry.blogspot.com/2007/11/monads-are-elephants-part-4.html) -* Brian Beckman: Don't fear the Monad (67 minute video)](http://channel9.msdn.com/shows/Going+Deep/Brian-Beckman-Dont-fear-the-Monads/) +* [Brian Beckman: Don't fear the Monad (67 minute video)](http://channel9.msdn.com/shows/Going+Deep/Brian-Beckman-Dont-fear-the-Monads/) -* A monad non-tutorial...or why you shouldn't ask what a monad is](http://strongtyped.blogspot.com/2010/01/monad-non-tutorial.html) +* [A monad non-tutorial...or why you shouldn't ask what a monad is](http://strongtyped.blogspot.com/2010/01/monad-non-tutorial.html) -* The Mother of all Monads](http://blog.sigfpe.com/2008/12/mother-of-all-monads.html) +* [The Mother of all Monads](http://blog.sigfpe.com/2008/12/mother-of-all-monads.html) -* You Could Have Invented Monads! (And Maybe You Already Have.)](http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html) +* [You Could Have Invented Monads! (And Maybe You Already Have.)](http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html) -* Monads! (and Why Monad Tutorials Are All Awful)](http://ahamsandwich.wordpress.com/2007/07/26/monads-and-why-monad-tutorials-are-all-awful/) +* [Monads! (and Why Monad Tutorials Are All Awful)](http://ahamsandwich.wordpress.com/2007/07/26/monads-and-why-monad-tutorials-are-all-awful/) -* Of monads and spacesuits (archived)](http://www.iterasi.net/openviewer.aspx?sqrlitid=ixx7fcluvek_9lfolsxr_g) +* [Of monads and spacesuits (archived)](http://www.iterasi.net/openviewer.aspx?sqrlitid=ixx7fcluvek_9lfolsxr_g) * [Haskell wikibook: Understanding monads](http://en.wikibooks.org/wiki/Haskell/Understanding_monads) @@ -224,10 +224,6 @@ invited talk, *19'th Symposium on Principles of Programming Languages*, ACM Pres * [[!wikipedia Delimited continuation]] * [Delimited/composable continuations tutorial](composable-continuations-tutorial) at SchemeWiki -## Monads ## - -* [[!wikipedia Monad (functional programming)]] - ## Linear Logic ## * [[!wikipedia Linear logic]] -- 2.11.0