type theory and practice

• To: types@theory.LCS.MIT.EDU
• Subject: type theory and practice
• From: Matthias Felleisen <matthias@rice.edu>
• Date: Mon, 3 Oct 88 06:25:30 EDT
• Sender: meyer@theory.LCS.MIT.EDU

Date: Sat, 1 Oct 88 10:27:45 CDT
To: jcm%ra.stanford.edu@stork.lcs.mit.edu
Cc: types@theory.LCS.MIT.EDU, cork@leto.rice.edu
In-Reply-To: John Mitchell's message of Fri, 30 Sep 88 21:14:50 EDT <8810010114.AA00475@stork.LCS.MIT.EDU>

There is a difference between 

>> "all of the issues you discussed here were problems we had to confront
>> in designing our object-oriented database product"

and 

>> type theory is having a significant impact on computing practice.

I don't believe that type theory or semantics has any direct impact
on current computing practice. -- Matthias

• Prev: Re: new course at Stanford
• Next: [bard@theory.LCS.MIT.EDU: Pavel's address]
• Index(es):
  • Main
  • Thread