Hughes.-.Type.Specialisation.for.the.Lambda-Calculus.(1996).djvu

Subject: Hughes.-.Type.Specialisation.for.the.Lambda-Calculus.(1996).djvu
From: Sergei Romanenko (roman@integrum.ru)
Date: Tue Jun 15 2004 - 15:35:49 MSD

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Sergei Romanenko: "Abramov - Obobshhenny`j algoritm otozhdestvleniya dlya.yazy`ka Refal (1979)(ru).djvu"
• Previous message: Sergei Romanenko: "Thiemann.-.Continuation-based.Partial.Evaluation.without.Continuations.(2003).djvu"

������ ����!

��������� ���� �� �����������, ��� "������� �������������" (���
"������������� �����", ��� "������������� �� �����") ����������� �
����������������:

ed2k://|file|[Functional.Programming,.Partial.Evaluation].Hughes.-.An.Introd
uction.to.Program.Specialisation.by.Type.Inference.(1996).djvu|49176|CC1513B
AC951AAF204E697F7DB4010FA|/

ed2k://|file|[Functional.Programming,.Partial.Evaluation].Hughes.-.A.Type.Sp
ecialisation.Tutorial.(1998).djvu|126136|55724CBEA735E9B3023B1C837ABE1809|/

ed2k://|file|[Functional.Programming,.Partial.Evaluation].Hughes.-.Type.Spec
ialisation.for.the.Lambda-Calculus.(1996).djvu|136118|BA52B3919D8FCDCD0491D3
08CC652104|/

�������, ��� "�������" �������������� �� ������ "�������������": �.�.
"�����������" ��������� ��������� ����������� � ������������ � ���������, �
"������������" ��������� ������������ � ���������� ���������, � ��� ����
������������� "������������" ������, �������� ����� ��, ��� � � ��������
���������. (� ���������������� ����������� ������������� ��� �������������
���������������.)

� "���������� �������"

ed2k://|file|[Functional.Programming,.Partial.Evaluation].Romanenko.-.Arity.
Raiser.and.its.Use.in.Program.Specialization.(1990).djvu|170908|EDC6CB5E6BD0
A6944FBDD3F22DAF81FE|/

ed2k://|file|[Functional.Programming,.Partial.Evaluation].Romanenko.-.Povy`s
hatel`.arnosti.i.ego.ispol`zovanie.pri.specializacii.programm.(1990)(ru).djv
u|122357|5A4B5C9F5303F439B3635C7609C60D47|/

��� ���������� � ������ ��������������, ����� �������� ����� ������� ����
�������� (�������� ��� �������������� ����� ���������������).

� ��� ������ ���������������� ������������� ������ � ���������� ���������
����� ���������� �� ����� � �������� ���������. �.�. � ���������� ���
�����������, � "�������������" ���������� ������������. ��� ����, ���� ���
����� �������� "����������" (� ������, ������ � "������������ ����������"),
��� ������ ���������������� "����" ���������� �� ����������, � ����
"��������", "������������" � ��. ��� ���� ���������� � ���������� �
���������������� ������ � "�����" � ��������...

� � ����� ��� ��� ���������� ������������� �������������� ���������
��������� ������ � "�����" ����� ���������.

���������, ����� �� ��, ��� ������ ���� �����-�� ��������� � "���������
�����������". � ���� ����� �������������� �������� ����������� � �������
����� "����������" � "����������" ������������, �� ������ ��� � �������
������. (����� ���� ��-�� ����, ��� ��������� ����������� ��� "���������",
��� � "���������" ���������� ���� ������ "����������", ��� �� ����� ���� ���
�������� ����� "����������" ���� �� ������... :-) )

��� ���� ���������� ����������� ������� ����� � ���, ��� ���������� �
"�����" ����� ���� � � "������" � � "��������" �����������. ��� - ������
����������� � ��� ���������, ��������� ��� ��������� � ���� ������-�������
"�������� �����" (type checking), ������� �� �����-�� ���� ��������
"���������� �����" (type inference), �������� �� ������� ������� ���������.
� ������ ������� ����� ��������� �������� �� ���������� � �����������
���������������� ���������� �� ���� ������� ���������. (������, ��� ������
���������� ���� ��������� ��� ���������, �� �� �� �������� ��� �������
������ �������� ��������� � ����� ������.)

� ���� �� ������������ ���������������� � ���, ��� � ��� ���������� �����
���� � � "������" � � "��������" �����������. ��������, ����� ����� ���
(����������� ���� � �����) ������ �������. �������� ���������� ���� �� ���.
��� ���� ����������� �������, ��-�� ������� �������� ������� ������
���������� ����� "����������", ��� ���� ����������� ��������� �����-��
"�����������" ����������.

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

������ ���������

• Next message: Sergei Romanenko: "Abramov - Obobshhenny`j algoritm otozhdestvleniya dlya.yazy`ka Refal (1979)(ru).djvu"
• Previous message: Sergei Romanenko: "Thiemann.-.Continuation-based.Partial.Evaluation.without.Continuations.(2003).djvu"

This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:01 MSD