X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=offsite_reading.mdwn;h=3e0981bdeb3873f41b46a948f4b8c2d74edbc6ae;hp=e89c2403b250f26464a8667ba2fbe2d3cd4fc9fc;hb=d4f4c6c97357ac4245c3526219bf4eb4e0adcd37;hpb=cc609e384a5358a667144f78497062bd6f25c0de diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn index e89c2403..3e0981bd 100644 --- a/offsite_reading.mdwn +++ b/offsite_reading.mdwn @@ -26,6 +26,7 @@ get more out of. (Rinse and repeat.) * [[!wikipedia Functional programming]] * [[!wikipedia Purely functional]] * [[!wikipedia Referential transparency (computer science)]] +* [[!wikipedia Side effect (computer science) desc="Side effects"]] * [[!wikipedia Imperative programming]] ## General issues about variables and scope in programming languages ## @@ -90,6 +91,10 @@ get more out of. (Rinse and repeat.) * [The Y Combinator](http://dangermouse.brynmawr.edu/cs245/ycomb_jim.html) derives the applicative-order Y-combinator from scratch, in Scheme. This derivation is similar in flavor to the derivation found in The Little Schemer, but uses a slightly different starting approach... * [The church of the least fixed point, by Sans Pareil](http://www.springerlink.com/content/n4t2v573m58g2755/) +## Folds ## + +* [[!wikipedia Fold (higher-order function)]] + ## Types ## @@ -114,7 +119,7 @@ get more out of. (Rinse and repeat.) ## Monads ## * [[!wikipedia Monad (functional programming) desc="Monads in Functional Programming"]] * [Daniel Friedman. A Schemer's View of Monads](/schemersviewofmonads.ps): from but the link above is to a local copy. -* [A Gentle Intro to Haskell: About Monads](http://www.haskell.org/tutorial/monads.html) +* [A Gentle Intro to Haskell: About Monads](http://www.haskell.org/tutorial/monads.html) (link currently broken, check ) * [All About Monads](http://haskell.org/all_about_monads/html/index.html) * From HaskwellWiki: [Monad tutorials timeline](http://www.haskell.org/haskellwiki/Monad_tutorials_timeline) @@ -188,7 +193,9 @@ in M. Broy, editor, *Marktoberdorf Summer School on Program Design Calculi*, Spr ## Side-effects / mutation ## +* [[!wikipedia Referential transparency (computer science)]] * [[!wikipedia Side effect (computer science) desc="Side effects"]] +* [[!wikipedia Imperative programming]] * [[!wikipedia Reference (computer science) desc="References"]] * [[!wikipedia Pointer (computing) desc="Pointers"]] * [Pointers in OCaml](http://caml.inria.fr/resources/doc/guides/pointers.html)