Bill Pragnell wrote:
> Invisible <voi### [at] devnull> wrote:
>> Ix -> x
> 
> [snip etc]
> 
>> Does your brain hurt yet?
> 
> Nope, I have no frame of reference so it's meaningless to me. 

Upper case is function names, lower case is arguments, -> is "returns".

Ix->x means there's a function I that takes an argument and returns it - 
identity.

Kxy -> x - K takes two arguments and returns the first. (This is the "K 
combinator" or something that some famous venture capitalist named his 
company after.)

Sfgx -> (fx)(gx) - Given functions f and g, apply f to x and g to x, and 
then apply the result of the first call (which is a function) the the result 
of the second call. I think.

Continue from there.


This is all normal "how to define a programming language formally" sorts of 
stuff. There are actual (obviously specialized) programming languages (like 
LOTOS) that you write this way.





-- 
Darren New, San Diego CA, USA (PST)
  "How did he die?"   "He got shot in the hand."
     "That was fatal?"
          "He was holding a live grenade at the time."

Post a reply to this message