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

[Brandon S. Allbery KF8NH]

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  
>> <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.
>
> 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] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH


-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 195 bytes
Desc: This is a digitally signed message part
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20100526/24389d41/PGP.bin