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-----