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

[C. McCann]

On Wed, May 26, 2010 at 11:01 PM, Ben Lippmeier <benl at 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.

- C.