Dave Dyer <[EMAIL PROTECTED]> writes: > Languages like SQL and Prolog don't specify algorithms, they > describe the desired result.
Take a look as Haskell -- it's a very high level language but functional, so you are describing algorithms in it. Yet the compiler has so much knowledge (because of a real type system, not so simple things like in Java et al), that it is possible to do quite some complex code transformations and still guarantee the correctness of the result (as in SQL or Prolog). -- Until the next mail..., Stefan.
pgp49KRIdeman.pgp
Description: PGP signature
_______________________________________________ computer-go mailing list computer-go@computer-go.org http://www.computer-go.org/mailman/listinfo/computer-go/
