[an error occurred while processing this directive] [an error occurred while processing this directive][an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] (none) [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive][an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive][an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] (none) [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive] [an error occurred while processing this directive][an error occurred while processing this directive]
 
Skåne Sjælland Linux User Group - http://www.sslug.dk Home   Subscribe   Mail Archive   Index   Calendar   Search
 

Hyggemøde torsdag den 18. september 2003

Vi mødes klokken 19:00 på Niels Bohr Institutet, Blegdamsvej 21.

Hyggemøde om lambda-kalkulen

Peter Makholm vil fortælle om lambda-kalkulen. Lambda-kalkulen er et programmeringssprog opfundet omkring 1936, der er grundlaget for funktionsorienterede programmeringssprog som Scheme (LISP), SML, Haskell og et væld af andre sprog.

Peters udkast til et program:

  1. Lambda-termer
  2. Beta- og alfareduktioner
  3. Church-Rossers teorem (ruder-egenskaben)
  4. Reduktionsstrategier
    (intermezzo: Call-by-value, dovne og ivrige sprog)
  5. Repræsentation af Booleske værdier og operatore som lambdatermer.
  6. En fixpunktsoperator.
  7. Repræsentation af tal, plus, minus osv. som lambdatermer

Som sprog modnes får de også ofte elementer fra funktionsorienterede sprog. Både Ruby og Python har lambda-termer indbygget og Perl har dem egentligt også skjult bag en masse syntaktisk salt.

Også andre sprog er under klar påvirkning fra funktionsprogrammeringssprog. Funktionsobjekter i C++ er et forsøg på at emulere højre-ordens funktioner - et begreb som man har kendt inden for funktionsprogrammering i meget lang tid.

Slides med mere findes på http://hacking.dk/talks/lambda. De to funktionsorienterede sprog SML og Haskell blev berørt, om dem kan der læses en smule i CVS-udgaven af programmeringsbogen i FtaV.

Medmindre andet er angivet er det ikke nødvendigt at tilmelde sig til SSLUG's arrangementer.

 
Home   Subscribe   Mail Archive   Index   Calendar   Search

 
 
Questions about the web-pages to <www_admin>. Last modified Sunday, 07-Mar-2004 21:27:25 CET [an error occurred while processing this directive]
This page is maintained by [an error occurred while processing this directive]Henrik Christian Grove [an error occurred while processing this directive] # [an error occurred while processing this directive] *