Version française
Home     About     Download     Resources     Contact us    
Browse thread
Pervasives or Printf module ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Vincenzo Ciancia <vincenzo_yahoo_addressguard-gmane@y...>
Subject: Re: Pervasives or Printf module ?
Jon Harrop wrote:

> To get the latter to act as the former
> does, you must beta expand (I think that is the correct technical term)

In computer science literature, alpha conversion is usually the renaming of
a bound variable (fun x -> T = fun y -> T[y/x] provided that y does not
occurr in T), beta _reduction_ is function application ((fun x -> T)(T') =
T[T'/x]) , and _eta_ expansion is the term rewriting you're looking for. 

I don't know why, maybe it's just the order in which they were enumerated
originarily, but where are gamma, delta, epsilon, zeta rewrite rules? :)

V.

-- 
Please note that I do not read the e-mail address used in the from field but
I read vincenzo_ml at yahoo dot it
Attenzione: non leggo l'indirizzo di posta usato nel campo from, ma leggo
vincenzo_ml at yahoo dot it