Re: [Haskell] Re: [Haskell-cafe] Work on Video Games in Haskell

On May 26, 2010, at 23:23 , C. McCann wrote:

On Wed, May 26, 2010 at 11:01 PM, Ben Lippmeier 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. /bin/cat? sed 's/a/b/g'? sed 'y/abcdefghijklmnopqrstuvwxyz/zyxwvutsrqponmlkjihgfedcba/'? unlit? cpp? -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH