PLNC 2010

Site pédagogique de l'unité d'enseignement INF355 (Paradigmes et Langages Non Classiques) de Télécom ParisTech.

Haskell : notes de cours 1 (23 juin 2010)

24 juin 2010 à 23 h 14    Samuel Tardieu dans Corrigé

module Cours1 where
 
– Importation explicite du prélude en excluant certaines constructions :
– – Maybe et tous ses constructeurs
– – repeat
 
import Prelude hiding (Maybe(..), repeat)
 
– Équivalence entre opérateurs et fonctions. Par exemple, (+) est la
– fonction correspondant à l’addition et `f` ci-dessous est la version
– opérateur de la fonction f.
 
x `f` y [...]

| Les commentaires sont fermés

Correction TD Scheme 2

21 mai 2010 à 13 h 30    Samuel Tardieu dans Corrigé

; Opérateur angélique. On l’implémente à l’aide d’une macro afin
; de n’évaluer ses arguments que lorsque c’est nécessaire.
; L’initialisation se fait indirectement grâce à (amb-init) pour
; pouvoir tester uniquement certains cas sans les épuiser lors des
; tests.
"amb: no more alternatives"; On commence par sauvegarder la continuation courante pour pouvoir
; la reprendre avec les différentes alternatives [...]

Les commentaires sont fermés

Correction TD Scheme 1

18 mai 2010 à 21 h 41    Samuel Tardieu dans Corrigé

; Sous drscheme, il faut cette bibliothèque pour pouvoir utiliser
; "define-macro" qu’on utilisera plus tard dans ce module.
"defmacro.ss"; Mise en bouche
"Erreur de test"; Pas de nombre premier inférieur à 2.
; Utilisation d’une boucle nommée "loop" pour la récursion.
; Après 2, on ne considère que les nombres impairs, en s’arrêtant
; dès qu’on a atteint (sqrt n).
; [...]

Les commentaires sont fermés