Subject: ���������, ����������� ��������� � ��������������
From: Mike Potanin (potanin@mccme.ru)
Date: Thu Aug 02 2001 - 12:23:28 MSD
������������!
��� �������� ������� ���������� ��������� �������� � ������������
����������� � ������������� �����������. ���� ��� � �� ������ ��������.
��� � haskell �������� filter (\x -> (x<100)) [1..] ��� � ������� �������
���� �� �����������. � refal ������� ���������� �� �������������� (�
���������) � ���������
*$ENTRY Go { = <Prout <Filt <Inf 1>>>; };
Inf {
e.1 s.2 = <Inf e.1 s.2 <+ s.2 1>>;
}
Filt {
5 e.1 = 5;
s.1 e.2 = s.1 <Filt e.2>;
}
����������� ��������.
��������������� �� ���� ��������� ���� �������������.
������ ���� ���������� ������� Inf � ���������� ���������
Inf {
e.1 s.2 = e.1 s.2 <Inf <+ s.2 1>>;
}
�� ��������������� ��� ��������� ���������� "���������", ���� ����
��������� �������� ����������� �� ������.
���� �� ��������������� ��� ������� �������� �� ����������, �� ��� ��
���������� � ��������� ���������? �� ������� � ������� ���� ��� ������ ��
�������� �������������� � ���������� �������� - ��� ������������
����������� ��� �������������� ������. ������ �� �� ��������� �� �����?
������ ��� �� �������������� ��������������� ��� haskell ���������
����������� ���� ���������, �� ������ "�����" ���������� - �� ����
��������� ��� x < x+1. ������ ����� �� ����� �������� ���������������
������ �������� (��� � ��������������, ��� � � ������������ ����� ������)?
��� ������� ��� �� ��� �� ��������� ����� ���������� �����������, ���� ��
"����" �������������� ����������� ��� ��������� �������, � ��� �� ��������
�������, ��� �� ������������ ��� ��� ���� ������ ���������.
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:59 MSD