��������� LUG-BG,

���� ����� � ������� �� ��� ��� ����� �� Linux,
������� 'SECD Mania'.

���� ������� �� ������� ������� �� �����:

http://skelet.ludost.net

���� ��-����� mirror e http://skelet.hit.bg/SECD

������� � ���� ���� ���������� �� ��������������� �����:

"Functional Programming: Application and Implementation",
Peter Henderson, 1980, Prentice Hall

� �������� � ������������� ������ ������ �� 1983�.

SECD � ��������� �������� �� ������ ��� �������, ���������
���� 1964�. ������� � �� ������� �� 4-�� �� ��������� S E C � D.
�������� ��������� D � ������� (������ � ��� ����������� �
��������, �� ��������� �� ����� �� �� ������ �� S).

SECD ��������� �� ������ �� ���������� �� ����� ������������
�������� (������� �� ������ �� ����� ���������� �� LISP ���
���� ������������ ����). ���� 1975 �� �������, �� ����������� ��
����������� �� ������������ ���� 1941 �����������, ��������
lambda calculus.

������ �������� ����� �� �������� �� SECD �����������, ������
��� ���������� LISP ���������� (������� �� LISP) � ����������
��� �� ����������� (������� ���� � ���������� �� SECD). ��-
������������ �������� �������� � �������� ��������.

SECD � ���� �� ���-��������� � ��������� ���������� �����������
��������� ������.

����������� �� ������������� ������� � SECD ������ � ��������
������ � ���������. �������� ���������� ������� �� ��������� ������
�� ������ �� �������:

 - 33K ������� �� Pascal, �������� SECD-�������������.
 - 10� ����� �� ����������� �� LISP.
 - 13K ��� �� �����������.

���� ���� ���������� �������� �������� �� ����������� LISP:

 - Tail Recursion (���������� �� ��������� call ����������)
 - Lazy evaluations (������ � ��������� ���������, ����������
   �� ������� �� ���� �� OR/AND �� ������������� ����).
 - ���������� �� �������� ����������
 - �������������� � �����������
 - ��������� �� ��������� �� ��������� ����� ���������

����� ��� ������ SECD ������ ��� �������� ��������:

 - Reference Count � Mark/Release �������� �� �������
   (������ ������� ������)
 - ����������� �� ������������ �� cons-�����
   (���� ���� ���������� ���)
 - ���������� ����������� �� ����, ���� �� �������������
   �������� ���� �� �� ���� ������.

������� ��, ����� ���� ������� � ����� �������, �� ����
����� � ��-����� ������� �����, � �� ������ ���������
��������.

� ������� ������ ��� ������������ �� ���������� ������/
������� ��������.

������ � �������� �� ����, ����� �� ����������� ��
������������ ������������ � �� ������, ����� ����� ��
��������� ��������� �� ������������ �����.

��� ����������� � ������� �� ���������, �� �� ��������
�� ������������ ������������. ��� ����� � ������, ����
�� �� �� ������ �� �� ������� ������� ��-�������� ���������
� ������.

�� ��� ����� ���������� �� ����� �����, ������� ���
����� !

-- 

        Skelet
        ------ http://skelet.hit.bg/
        



============================================================================
A mail-list of Linux Users Group - Bulgaria (bulgarian linuxers).
http://www.linux-bulgaria.org - Hosted by Internet Group Ltd. - Stara Zagora
To unsubscribe: http://www.linux-bulgaria.org/public/mail_list.html
============================================================================


Reply via email to