Why functional Python matters
boldyrev+nospam at cgitftp.uiggm.nsc.ru
Sat Apr 19 07:12:03 CEST 2003
On 8353 day of my life Thaddeus L. Olczyk wrote:
> >> >And you have to be a bit relaxed when using this requirement; for
> >> >instance, writing an Y-combinator in ML is very hard because of the
> >> >stupid type checker.
> >> No it is easy.
> >> In OCaml,
> >> let rec fix f x=f (fix f) x;;
> >That's cheating and you know it :-)
> No. It's not.
> It's a standard definition of Y in a combinatorial approach
> to computing.
But 'let rec' does Y-combination behind scene. So, it is trick.
Try to implement Y-combinator without rec...
PGP fp: 3640 E637 EE3D AA51 A59F 3306 A5BD D198 5609 8673 ID 56098673
Outlook has performed an illegal operation and will be shut down.
If the problem persists, contact the program vendor.
More information about the Python-list