Hi, I'm searching for a good mathematical oriented introduction to the theory of lambda calculus or other theoretical foundations of Lisp/ Haskell, i.e. monads or such (of course in the web there are much hints, but what is the best for mathematicans foreign to this field) Regards Hans
(this duplicates that inquiry from glasgow-haskell-users@ to haskell@) Am Sonntag, 6. November 2005 15:53 schrieb Hans N Beck:
Hi,
I'm searching for a good mathematical oriented introduction to the theory of lambda calculus or other theoretical foundations of Lisp/ Haskell, i.e. monads or such (of course in the web there are much hints, but what is the best for mathematicans foreign to this field)
Regards
Hans _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Hi Hans, i'm searching for such lectures/papers/scripts, too. well, untill there is a better answer, i send you some links, which i think could be interesting to you. the first real mathematical definition of "monad", i read, was in the paper "The essence of dataflow programming". i approve to not omit that paper, if you like both, haskell and that theory. beside that, i attended a german lecture about Algebraic Topology. one chapter was about cathegory theory. it was not that much, but interesting. lambda: http://en.wikipedia.org/wiki/Lambda_calculus (http://de.wikipedia.org/wiki/Lambda-Kalk%C3%BCl) very interesting is the "typed lambda calculus", which allows effective bug-prevention, which you do not have in most variants of lisp (or lisp's derivatives) but in haskell. functor: http://haskell.org/hawiki/CategoryTheory_2fFunctor monad: there is a mathematical definition in the paper "The essence of dataflow programming", see 'comonad:' below. cathegory theory: http://haskell.org/hawiki/CategoryTheory http://haskell.org/hawiki/CategoryTheory_2fPapers http://en.wikipedia.org/wiki/List_of_category_theory_topics http://www.eyrie.org/~zednenem/2004/hsce/ arrow: http://www.haskell.org/arrows/ http://www.soi.city.ac.uk/~ross/papers/fop.html comonad: http://comments.gmane.org/gmane.comp.lang.haskell.general/12171 beside these links, do not abstain from reading parts of the haskell library. (Data.Maybe, Data.Monoid, Control.Monad, Data.FunctorM, Control.Arrow) http://www.haskell.org/ghc/docs/latest/html/libraries/ - marc
"Marc A. Ziegert"
I'm searching for a good mathematical oriented introduction to the theory of lambda calculus or other theoretical foundations of Lisp/ Haskell, i.e. monads or such (of course in the web there are much hints, but what is the best for mathematicans foreign to this field)
i'm searching for such lectures/papers/scripts, too.
The classic textbook on lambda calculus is The Lambda Calculus: Its Syntax and Semantics. Henk Barendregt. (Hardback, Elsevier, 1981) (Paperback, North Holland, Amsterdam, 1987) http://www.cs.ru.nl/~henk/ http://www.andrew.cmu.edu/user/cebrown/notes/barendregt.html Regards, Malcolm
Hi all, I've recieved many help and comments. Thank you all ! Regards Hans Am 06.11.2005 um 15:53 schrieb Hans N Beck:
Hi,
I'm searching for a good mathematical oriented introduction to the theory of lambda calculus or other theoretical foundations of Lisp/ Haskell, i.e. monads or such (of course in the web there are much hints, but what is the best for mathematicans foreign to this field)
Regards
Hans _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
participants (3)
-
Hans N Beck -
Malcolm Wallace -
Marc A. Ziegert