Re: Why Prolog and CBV?

• Subject: Re: Why Prolog and CBV?
• From: John C. Mitchell <jcm@cs.stanford.edu>
• Date: Mon, 18 Nov 91 14:43:42 EST
• Cc: types@THEORY.LCS.MIT.EDU
• In-Reply-To: Your message of Mon, 18 Nov 91 10:53:44 -0500. <1288.690479624@GOTTLOB.TIP.CS.CMU.EDU>
• Sender: meyer@theory.lcs.mit.edu

Date: Mon, 18 Nov 91 09:18:52 PST
To: Robert Harper <rwh@PROOF.ERGO.CS.CMU.EDU>

   I'm not sure I understand the relevance of whether CBV or CBN is a complete
   strategy for finding normal forms since no programming language that I know of
   takes as values the normal forms.

For basic types (int, nat, bool, ...), the normal forms and values
coincide. Given a closed term of PCF of type nat (for example),
leftmost evaluation will produce a numeral if any evaluation order
will, CBV may not.

John

• Prev: Re: Why Prolog and CBV?
• Next: Re: Why Prolog and CBV?
• Index(es):
  • Main
  • Thread