24 Dec
2007
24 Dec
'07
7:56 a.m.
On Mon, 24 Dec 2007 11:27:11 +0200, apfelmus
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 ?