Hibou inuit de © Kenojuak Ashevak

Jean DEMARTINI
Professeur des Universités
Docteur es Sciences
Ingénieur

Cours actifs

Automatique

Servo-mécanismes discrets

Physique/Ingéniérie

Mécanique des fluides

Processeurs digitaux

Machines Programmables

Architectures DSP

Traitement du signal

Processus stochastiques

Filtres numériques

Projets Polytech'Nice-Sophia

Projets 2007

Projets 2006

Conférences

La Vidéo Surveillance du futur

Les métiers de l'Ingénieur

Réflexions sur le génie logiciel

Une brève histoire des techniques

Ma page GNU/Linux

Mon PmWiki

Archives

API & RLI

La commande floue

Les Fondements du Numérique

L'information, la Machine et le Programme

La logique séquentielle

La programmation fonctionnelle

Mathématiques pour la physique

Méthodes formelles pour l'informatique

Réseaux pour les nuls

Forum  ♦ Annonces

jean.demartini@unice.fr

Login  ♦ Logout

pmwiki-2.2.0-beta68

Scheme et la Programmation Fonctionnelle

Scheme et la Programmation Fonctionnelle

Le langage Scheme et un des plus élégants qu'un informaticien puisse rencontrer. Il est une implémentation directe du lambda-calcul de Alonzo Church. Il n'a pas subit l'érosion sémantique qui a dégradé le langage Lisp au cours du temps — il est vrai, qu'en tant que précurseur, Lisp a eu à résoudre prématurément des problèmes théoriques difficiles. Sa très grande facilité d'extension fait qu'il sert également de laboratoire pour expérimenter de nouvelles idées.

Ma première rencontre avec Scheme a été la lecture du remarquable livre de H.Abelson et G.J.Sussman : Structure and Interpretation of Computer Programs. Et depuis je suis devenu (presque) inconditionnel de Scheme. Lire ce livre est une expérience enthousiasmante dont il ne faut pas se priver.

Après cela, je me suis employé à convaincre (pas trop difficilement, je l'avoue) mes collègues informaticiens qu'il était fondamental, pour un débutant en informatique, d'apprendre le langage Scheme et surtout les idées qu'il permet d'exprimer. Le CNAM (Michel Pichon) et le Département Informatique de l'IUT de Nice (Robert Chignoli) se sont laissés convaincre.

1. Lectures

Le langage Scheme est la mécanisation d'une approche fonctionnelle de la programmation. Cette approche fonctionnelle est la mise en pratique du Lambda-Calcul. La Programmation Fonctionnelle et le langage Scheme ont été la base d'un cours d'informatique présenté au CNAM de Nice. Ce cours était une introduction à l'informatique, c'est à dire destiné à des débutants. En voici le support :

 

Recent Changes (All) | Edit SideBar Page last modified on April 11, 2008, at 11:38 AM Edit Page | Page History