Commentaires pour PLNC 2010

Commentaires sur Factor : note de cours 1 (9 juin 2010) par Samuel Tardieu

Samuel Tardieu — Sat, 12 Jun 2010 11:32:54 +0000

Tu as tout à fait raison, vive le code en commentaire donc non testé :) Je voulais écrire :

 
:  ( first last -- person ) [ person new ] 2dip [ >>first ] [ >>last ] bi* ;

J’aurais pu ajouter également :

 
:  ( first last -- person ) person new dup [ first<< ] [ last<< ] bi-curry [ ] tri* ;

ou cette forme, que je préfère à la précédente :

 
:  ( first last -- person ) person new [ [ first<< ] [ last<< ] bi-curry bi* ] keep ;

Commentaires sur Factor : TD 1 par Samuel Tardieu

Samuel Tardieu — Sat, 12 Jun 2010 11:23:34 +0000

Tout à fait. C’est juste que pour le premier TD, je voulais limiter le nombre de pistes proposées :)

Commentaires sur Factor : TD 1 par jon

jon — Fri, 11 Jun 2010 22:50:19 +0000

La bibliothèque de factor permet aussi très facilement de créer des parsers ! Je me permets de montrer un exemple pour les engrammes dans la mesure où ça ne va pas trop à l’encontre de l’esprit du TP (Sam n’a pas fourni de lien vers ce vocabulaire) : http://paste.factorcode.org/paste?id=1723
Bon courage :p

Commentaires sur Factor : note de cours 1 (9 juin 2010) par jon

jon — Fri, 11 Jun 2010 21:12:35 +0000

! Définition d’un constructeur pour ce type. C’est équivalent à
! : ( first last — person ) person boa ;
! ou à
! : ( first last — person ) [ person new ] 2dip >>first >>last ;

Pas tout à fait pour la deuxième version :)

Commentaires sur Idées de projets par jon

jon — Tue, 01 Jun 2010 01:52:55 +0000

J’ai l’impression que scala est à l’honneur cette année :)
Le projet des fonctionnalités de distribution d’Erlang a l’air super intéressant ! Je m’imagine déjà à la tête d’un petit cluster constitué des 200 machines de télécom où les élèves peuvent se connecter :) Sinon, un petit clone de doodle jump en Scala pour Android ça aiderait à passer le temps dans le métro !

Commentaires sur TD Scheme 1 (12 mai 2010) par Samuel Tardieu

Samuel Tardieu — Sat, 15 May 2010 19:05:20 +0000

Pour le while, il ne devrait pas y avoir besoin : un simple define-syntax qui transforme le while en une fonction qui s’appelle récursivement suffit.

Pour prendre un autre exemple : si on voulait écrire « until », qui prend une condition et des expressions à exécuter jusqu’à ce que la condition soit fausse, on pourrait transformer

(avec « until », le test est typiquement à la fin, contrairement à « while » où il a lieu au début).

Pour la programmation par contrat, les éléments sont tous n’importe au niveau supérieur de la fonction, dans n’importe quel ordre et à n’importe quel endroit (comme tu l’écris justement, on les reconnaît avec les symboles idoines).

Commentaires sur TD Scheme 1 (12 mai 2010) par Céline Beillouin

Céline Beillouin — Sat, 15 May 2010 18:35:34 +0000

Pour faire le while, est-ce qu’on peur utiliser la fonction do?

Pour la programmation par contrat, est-ce qu’on a une liste de pré-conditions,une de post-conditions et une d’invariants, ou est-ce que ces éléments sont tous à la suite les uns des autres, on en a autant qu’on veut de chaque et on doit les reconnaître grâce aux mots-clés « pre », « post » et « inv »?

Commentaires sur TD Scheme 1 (12 mai 2010) par Samuel Tardieu

Samuel Tardieu — Sat, 15 May 2010 10:34:07 +0000

Voici un exemple :

(define-trace (add x y)
  (+ x y))

(define-trace (mul x y)
  (* x y))

(define-trace (op x y z)
  (mul x (add y z))

(mul 5 (add 2 3))
Entering add
Leaving add
Entering mul
Leaving mul
25

(op 5 2 3)
Entering op
Entering add
Leaving add
Entering mul
Leaving mul
Leaving op
25

Commentaires sur TD Scheme 1 (12 mai 2010) par Céline Beillouin

Céline Beillouin — Sat, 15 May 2010 10:31:11 +0000

Bonjour,

Pourrait-on avoir plus de détails sur la manière dont fonctionne define-trace, comme un exemple de ce qu’elle doit afficher?

Cordialement,

Céline Beillouin