Re: [Caml-list] Pattern matching

[Fabrice Le Fessant <fabrice.le_fessant@inria.fr>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset=us-ascii, Size: 2080 bytes --]



> Mon « argumentation » consiste à exhiber de mauvais programmes car je
> considère qu'un « bon » langage ne doit pas laisser un mauvais
> programmeur faire du mauvais code (dans la mesure du possible). Quand
> je dois passer trois heures à relire le code d'une tierce personne et
> que je me rends compte que l'erreur est dûe à la fonction suivante :

C'est aussi faux que de dire qu'une bonne loi previent tout
delit. Qu'est ce qui empechera un mauvais programmeur de croire que
ton "match" sans liaison est en fait avec liaison ? Si je pousse a
l'extreme, je mets un singe devant mon clavier, et j'envoie des
rapports de bugs pour chaque phrase tappee que le compilateur
n'accepte pas ?

> I was just proposing :
> - to use the « match with » syntax for value matching only
> - to allow the use of bounded variables in the value matching
> - to leave the structure match as it is of course

Pourquoi changer ce dont tout le monde a part toi est heureux ? Tu
fais du pattern-matching hyper-simple (deux a trois cas sans liaison)
qui serait probablement cent fois mieux traite par un "if", et tu
rales. Ce n'est pas le programmeur qui s'est plante, c'est celui qui
lui a appris qu'il fallait utilise un "match" la ou il aurait du
utiliser un "if".

Essaie donc de faire du pattern-matching avec 30 cas (un arbre de
syntaxe par exemple), et tu te rendras compte que le pattern-matching
avec liaison est mille fois plus utile ! Je te vois mal ecrire
l'equivalent du compilateur de ocaml avec ce pattern-matching que tu
proposes... 

Exercice 1 d'une modification de syntaxe: prendre un code existant et
le traduire dans ta syntaxe. Je te propose de jeter un oeil a
typing/typecore.ml ...

I was just proposing:
- to use << match with >> on complex structures.
- to use << if >> on simple structures where no binding is required.
- to learn the semantics of a construct before using it.

- Fabrice

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr