Type Theory and Functional Programming
Mon Dec 30 03:45:03 2002
-----BEGIN PGP SIGNED MESSAGE-----
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)
-----END PGP SIGNATURE-----