cadadr.org / lyosha

Computer programming links

Here are some links from my applied CS past.

A language that doesn’t affect the way you think about programming, is not worth knowing.

— Alan J. Perlis

• Frequently Asked Questions for comp.lang.functional
• Lambda the Ultimate blog
• The Monad.Reader—a quarterly magazine about functional programming
• Great Works in Programming Languages collected by Benjamin C. Pierce

Haskell

Implementations: GHC, Hugs 98, nhc98.

• haskell.org
• The Haskell 98 Report
• Haskell Hierarchical Libraries
• Haskell Mode for Emacs
• Hoogle, Hayoo!
• #haskell@irc.freenode.net
• comp.lang.haskell

Tutorials:

• A Gentle Introduction to Haskell 98
• Yet Another Haskell Tutorial
• Real World Haskell
• Learn You a Haskell For Great Good!

Clean

• Functional Programming in Clean
• Functional Programming and Parallel Graph Rewriting
• clean.cs.ru.nl

Caml

• caml.inria.fr
• OCAML Tutorial
• The Functional Approach to Programming with Caml by by Guy Cousineau and Michel Mauny [books.google.com]
• #ocaml@irc.freenode.net

Coq

• coq.inria.fr
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions by Yves Bertot and Pierre Castéran [books.google.com]
• Certified Programming with Dependent Types by Adam Chlipala

Prolog

Implementations: SWI-Prolog, GNU Prolog, Ciao.

• comp.lang.prolog FAQ
• Learn Prolog Now!
• Prolog Tutorial by J. R. Fisher
• CMU Prolog Repository
• Association for Logic Programming (ALP)
• The INRIA ISO Prolog Web
• The Association for Logic Programming
• #prolog@irc.freenode.net
• comp.lang.prolog

Standard ML

Implementations: SML/NJ, MLton.

• #sml@irc.freenode.net
• comp.lang.ml

Scheme

Implementations: PLT, SCM, Elk, MIT/GNU Scheme, Gambit, CHICKEN Bigloo.

• '(schemers . org)
• readscheme.org
• R5RS, R6RS
• The Scheme Programming Language by R. Kent Dybvig
• Teach Yourself Scheme in Fixnum Days by Dorai Sitaram
• #scheme@irc.freenode.net
• comp.lang.scheme

Common Lisp

Implementations: CMUCL, SBCL, Clisp, GCL.

• Common Lisp HyperSpec
• CLiki
• common-lisp.net
• Practical Common Lisp by Peter Seibel
• Common Lisp Object System
• #lisp@irc.freenode.net
• comp.lang.lisp
• SLIME—a Lisp interaction mode for Emacs

Lua

• lua.org
• lua-users.org
• #lua@irc.freenode.net

Perl

• perl.org
• perl6.org
• CPAN
• perldoc.perl.org
• Higher-Order Perl by Mark Jason Dominus
• #perl@irc.freenode.net
• comp.lang.perl

Curry

Curry is an experimental functional logic programming language, based on Haskell.

• curry-language.org

More or less historical

• Hope
• Miranda