> Something more declarative might indeed just be to give invariants and let the...

		Dewie on April 10, 2014 \| parent \| context \| favorite \| on: Programming paradigms that change how you think ab... > Something more declarative might indeed just be to give invariants and let the program find an implementation for it. EDIT: turns out that there kind of is: http://nautilus.cs.miyazaki-u.ac.jp/cgi-bin/MagicHaskeller.c...