Declarative programming overview

From: Sebastian Fischer <>
Date: Thu, 09 Jul 2009 20:05:47 +0200


I have finished a first draft of an overview on declarative programming:


The section on functional programming describes type polymorphism,
higher-order functions, lazy evaluation, class-based overloading, and
equational reasoning. The section on logic programming discusses
unbound variables, (lazy) non-determinism, search, and constraints.

The LP section contains a surprisingly concise solution for the n-
queens problem.

If you find time to read it, I'd appreciate comments especially to
improve clarity of exposition.


Underestimating the novelty of the future is a time-honored tradition.
curry mailing list
Received on Do Jul 09 2009 - 22:08:53 CEST

This archive was generated by hypermail 2.3.0 : Mo Dez 04 2023 - 07:15:11 CET