[Haskell-cafe] Re: Printing and Referential transparency excuse

[Cristian Baboi]

On Mon, 24 Dec 2007 11:27:11 +0200, apfelmus <apfelmus at quantentunnel.de>  
wrote:

> Cristian Baboi wrote:

>>  How can I define a function to do the inverse operation ?
>>   g :: String -> ( a -> b )
>>  This time I cannot see how referential transparency will deny it.
>> What's the excuse now ?
>
> The new excuse is that a better name for  g  is

>    full-fledged-compiler :: String -> (Int -> Int)

> (the function returned by  g  better not have a polymorphic type). Which  
> programming language should the argument  String  be written in?

Cobol, what else ?