Re: Stream pattern matching

Xavier Leroy (xavier@Theory.Stanford.EDU)
Wed, 17 Mar 1993 12:26:06 -0800 (PST)

From: Xavier Leroy <xavier@Theory.Stanford.EDU>
Message-Id: <9303172026.AA20250@Tamuz.Stanford.EDU>
Subject: Re: Stream pattern matching
To: Michel.Mauny@inria.fr
Date: Wed, 17 Mar 1993 12:26:06 -0800 (PST)
In-Reply-To: <9303171347.AA17396@pauillac.inria.fr> from "Michel Mauny" at Mar 17, 93 02:47:49 pm

En plus de corriger l'orthographe de la ligne "Subject", je voudrais
juste faire remarquer que la factorisation gauche automatique des
analyseurs n'est non seulement pas vraiment souhaitable, mais encore
infaisable dans toute sa generalite a cause des effets de bords:

let f = function [< p x; 'Terminal "foo" >] -> ...
| [< p x; 'Terminal "bar" >] -> ...

n'est pas factorisable, car rien ne vous dit que "p" va se comporter
de la meme maniere lorsqu'il est appele deux fois sur le meme flux.
Telle est la puissance et la gloire des langages algorithmiques, mes
freres. La factorisation gauche automatique ne serait possible que
pour des motifs commencant par des terminaux, ce qui n'est pas tres
interessant.

- Xavier