[eclipse-clp-users] static type checking in ECLiPSe

From: Ulrich Scholz <wanderer_at_thispla.net>
Date: Sun, 27 Sep 2009 22:11:00 +0200
Hi all,

static type checking helps a lot in programming - and that might hold for
Prolog, too.  Now I stumbles over some code
http://tomschrijvers.blogspot.com/2008/02/types-for-prolog.html that
performs some type checking.  I haven't tried it but the idea seems nice.

Don't get me wrong: I consider realizing and maintaining such a library to
be expensive and I do not assume/expect anyone to provide it for ECLiPSe.  

But do you think that static type checking would do any good?  Would it be
worth the effort of augmenting all your code?  Have you had experience with
other Prolog dialects?  Just curios.

Best regards,

Ulrich
Received on Sun Sep 27 2009 - 20:24:16 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET