About new Refal+ release


Andrey Slepuhin (pooh@msu.ru)
Wed, 08 Dec 1999 19:20:05 +0300


���� ������ ����!

� �������� ������ ��� ��������� ������� ������+. �� ����
����������� ��� Linux ����� �������� � ����� �����. ������
� ���� ��������� ������������ ������������ �� ��� ���, ����
������ (�������) �� ��������, ��� ��� Windows ��� ��������
���������. ������ � ���� ������� ����� ����, ��� � �������,
����� ���� ����� ��� ��������� � ��������� ��������� (����
������� �������).

1) Case-sensitivity.
   ����� ������ ������+ �� ��������� �������� case-sensitive.
   ������ ��������� ����� ������������� � �������� -u (�������
   ����� � ������� �������). ��� ����� �������� ���� ��� ��������
   ������ �� ������������ ��������:
   �) ����� ����������� ������� � ����� ������� ������������
      �������� �������;
   �) ����� ����������� ������� � ����� ������� ������������
      � mixed-case � ������������ � ���, ��� ���� ������� �
      ����� �� ���� ���������� �����.
   ������� ����� ����������� �������� �� ��������� - �����
   ������������ �������������. ��� ���� ������, ������, ������
   ����� ������� �������� �������, � ����� ������� � mixed-case.

2) ��������� ������������ ����.
   ����� ������ ������+ ����� ������������ ����������� ���. ���
   ����� ����� ������� ����� -vc. ��������������� ����������� ���
   ����� ������� � ���� � ����������� .rvc (Refal Virtual Code) �
   ���� ���������� ���������, ������� ����� ����� ���� �������
   ����� ������� ������� Read. ����������� ��� ������������� ��������
   � ������ "�������� ���������� ������+") �� ���������� ������������:
   �) ����� ������� LEIS/LVIS/LES,REIS/RVIS/RES - ���������
      ��������� (�� ������� LEIS/LVIS/LES):
      < LEIS m : LES : C, S, D, E > =>
        { S/m = Oe � Oe : S =S' } < C, S', (LES : C, S') : D, E>
      < LVIS m : LES : C, S, D, E > =>
        { S/m = Oe } < LES : C, Oe : S, D, E>
      < LES : C, OtOe' : S, D, E > => { Oe' : S = S' } < C, S', (LES :
C : S') D, E>
      < LES : C, p : S, D, E > => < FAIL : [], S, D, E>
   �) ����� �������:
      PUSHEMP == PUSHQ []
      PUSHBR m == PUSH m; BR
      MOVE -
        < MOVE m n : C, Oe_0 : ... : Oe_n : S, D, E > =>
          < C, Oe_0 : ... : S/m : S, D, E >
      MOVEQ -
        < MOVEQ n Oe : C, Oe_0 : ... : Oe_n : S, D, E > =>
          < C, Oe_0 : ... : Oe : S, D, E >
      MOVEEMP == MOVEQ []
      SWAP -
        < SWAP m n : C, Oe_0 : ... : Oe_m : ... : Oe_n : S, D, E > =>
          < C, Oe_0 : ... : S/n : ... : S/m : S, D, E >
        
      FUNFAIL Fname == PUSHQ Fname "Unexpected fail"; ERROR
      FUNEND == NOP , �� ������ � ����� �������.

   �) ���������:
      IMPORT/EXPORT/LOCAL FUNC/BOX/TABLE/VECTOR/STRING/CHANNEL -
      ��������� ��������.
      
3) ������� �����-������ ������ ��������� �������� � ���������-��������

4) ��������� "�������" ����� � ���������� � ��� ������. "���������"
   �������������� ���������� ����� RFP_HOLECTRL, �������� �������
   ����� ���
     RFP_HOLECTRL=l;r;s
   ��� l - ������� ����� �����, r - ������� ����� ������, s -
   ����������� ����� ��������������� ���������, ��� ������� �����
   ���������. �� ��������� �����+ �������� � "�� �������" ������.

5) ������ ����� ����������������� �����-��������� ����� ���������
   �� ���������� �������:
   -rfp-heapsize <n> - ������ ������ heap'� � ������
   -rfp-stacksize <n> - ������ ������ ����� � ������
   -rfp-lholes <n> \
   -rfp-rholes <n> | - ������ "���������"
   -rfp-minholes <n> /
   -rfp-memstat - ��������� ������ ���������� �������������
                          ������ ����� ��������� ���������.

6) ��������� �����������, ������������ �� //

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



This archive was generated by hypermail 2.0b3 on Wed Dec 08 1999 - 19:21:09 MSK