On Mon, 24 Dec 2007 11:27:11 +0200, apfelmus <[EMAIL PROTECTED]> 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 ?
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to