Type Theory and Functional Programming

Russell O'Connor roconnor@Math.Berkeley.EDU
Mon Dec 30 03:45:03 2002


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

[To: tunes@tunes.org]

I was browsing the web looking for new OS's when I found your project.

I'd like to suggest the book "Type Theory and Functional Programming" by
Simon Thompson.  If you want correctness as part your programming
language, I think functional style programming with a dependent type
system is the way to go.  A dependent type system allows enough
expressiveness to make non-trivial claims about program behaviour.  The
proof of correctness of code and the code itself is developed
simultaneously, and with the same syntax.

Good luck with your work.

- -- 
Russell O'Connor            <http://www.math.berkeley.edu/~roconnor/>
``[Law enforcement officials] suggested that the activists were stopped
not because their names are on the list, but because their names resemble
those of suspected criminals or terrorists.'' -- SFGate.com
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (SunOS)

iQCVAwUBPgy4CE0+aO5oRkNZAQLxOgQA0RdHGNrrse9f3RCCi//QgUOhkvByj61T
xafLBbRJW7A+IG2RwU9D9mWCKNgDeoiwrh3psJE0EjZJWLv3/AAhcP63tifJBKs0
fwAYlVBg901rtD9ffzYA6joEzLJc87h29n1SFo+pKYHoI1KjDJVrob+99wCYEbuP
MOXHs4VjMvM=
=aYvt
-----END PGP SIGNATURE-----