On May 27, 2010, at 00:20 , Brandon S. Allbery KF8NH wrote:
On May 26, 2010, at 23:23 , C. McCann wrote:On Wed, May 26, 2010 at 11:01 PM, Ben Lippmeier <b...@ouroborus.net> wrote:While we can all acknowledge the technical impossibility of identifying the original source language of a piece of code...Uh,∀p (PieceOfCode(p) -> CanIdentifySourceLanguage(p)) is clearly false, while ∃p (PieceOfCode(p) -> CanIdentifySourceLanguage(p)) is clearly true.Natural language does a rather poor job of making quantification unambiguous.If you really want to get jiggy with the corner cases, ask what counts as a transformation.
And the best, if obsolescent, example of all: cfront. -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH
PGP.sig
Description: This is a digitally signed message part
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
