Názor k článku ML – funkcionální jazyk s revolučním typovým systémem od atarist - Tak teoreticky lze nasadit typovaný lambda kalkul, dokonce...
-
Tak teoreticky lze nasadit typovaný lambda kalkul, dokonce to snad nějaký LISP zkoušel. A byl z toho úplně jiný jazyk :-)
ČLÁNKY DO MAILU