🚀 go-pugleaf

>brnstnd@kramden.acf.nyu.edu (Dan Bernstein) writes:
>>[A mess, like the #ifdef situation; see quickpick example.]

In article <7976@scolex.sco.COM> seanf (Sean Fagan) writes:
>[You want a generic algorithm description and a better replacement,
> and have the compiler automagically select the implementation?]
>[I think there's been some success in that area.]

I can immagine two cases:

* Anything on the list of approved alternatives is a valid
  substitution.  You write `binsearch (...)' and the compiler
  uses

	rule-based description
	quicksort
	any other magic way

  (provided it has the right type signature).  Selection is
  done based on the name of the operation invoked (e.g.,
  `binsearch').

* The compiler is supposed to pattern match an algorithm and
  select a replacement from a list.

The first is easy.  The second is hard.

	;-D on  ( Leftward extensible political compilers )  Pardo
-- 
		    pardo@cs.washington.edu
    {rutgers,cornell,ucsd,ubc-cs,tektronix}!uw-beaver!june!pardo