ISWIM

ISWIM
Biên trình phạm hình	Chỉ lệnh thức,Hàm sổ thức
Thiết kế giả	Peter J. Landin
Phát hành thời gian	1966 niên,58 niên tiền
Khải phát ngữ ngôn
	ALGOL 60,Lisp
Ảnh hưởng ngữ ngôn
	ML,SASL,Lucid

ISWIM( như hạ thủ tự mẫu súc tả “If youSeeWhatIMean” ), thị đích nhất chủng trừu tượng đích kế toán cơBiên trình ngữ ngôn( hoặc biên trình ngữ ngôn gia tộc ), doPeter J. LandinThiết kế, tịnh miêu thuật tại tha 1966 niên vuACM thông tấnPhát biểu đích văn chương 《The Next 700 Programming Languages》 chi trung^[1].

Tẫn quản một hữu thật hiện, tha bị chứng minh vi tại biên trình ngữ ngôn khai phát trung phi thường hữu ảnh hưởng lực đích ngữ ngôn, đặc biệt thị đối vuHàm sổ thức biên trìnhNgữ ngôn, bỉ nhưML,SASL,Miranda,HaskellHòa tha môn đích hậu kế giả, hoàn hữuSổ cư lưu trình biên trìnhNgữ ngôn nhưLucid.

Thiết kế

ISWIM cụ hữu do gia liễu ngữ pháp đường đíchlambda diễn toánCấu thành đích hàm sổ thức hạch tâm, tha thị tăng gia liễu khả biến biến lượng hòa phú trị đích chỉ lệnh thức ngữ ngôn, tịnh cụ hữu Landin đích cường lực khống chế cơ chếJ toán tử(Anh ngữ:J operator),Tha năng cú bộ hoạch đương tiền đíchTục thể(SchemeĐíchcall/cc(Anh ngữ:call-with-current-continuation)Toán tử hữu dữ chi loại tự đích công năng ). Nhân vi cơ vu liễu lambda diễn toán, ISWIM cụ hữuCao giai hàm sổHòaTừ pháp tác dụng vựcBiến lượng.

ISWIM đích thao tác ngữ nghĩa, sử dụng Landin đíchSECD trừu tượng cơLai định nghĩa, tịnh thả sử dụng liễu truyện trị điều dụng, nhân nhi thịCập tảo cầu trịĐích^[2].ISWIM đích mục tiêu chi nhất, tựu thị yếu khán khởi lai canh tượng sổ học biểu kỳ, sở dĩ Landin phóng khí liễuALGOLĐích ngữ cú gian phân hào, hòabegin...endKhối kết cấu, tịnh bả tha môn thế đại viViệt vị quy tắc,Hòa cơ vu súc tiến đích hạt vực.

ISWIM tại biểu kỳ pháp thượng đích đặc sắc, thị sử dụng liễuwhereTử cú. ISWIM trình tự thị nhất cá đan nhất biểu đạt thức, tha dowhereTử cú ( bao quát biến lượng gian đẳng thức đích phụ trợ định nghĩa ), điều kiện biểu đạt thức hòa hàm sổ định nghĩa sở lượng hóa. DữCPLNhất khởi, ISWIM thị tối tảo sử dụngwhereTử cú đích ngữ ngôn chi nhất.

ISWIM đích hiển trứ đích ngữ nghĩa đặc chinh, thị hữu năng lực tương tân sổ cư loại hình, định nghĩa vi ( khả năng đệ quy đích ) thừa tích chi hòa. Giá thị sử dụng sảo hiển nhũng dư đích tự nhiên ngữ ngôn phong cách miêu thuật lai hoàn thành đích, đãn thị trừ liễu biểu kỳ pháp chi ngoại, hoàn toàn đẳng đồng vu hiện đại hàm sổ thức ngữ ngôn trungĐại sổ sổ cư loại hình.ISWIM biến lượng một hữu minh xác đích loại hình thanh minh, tẫn quản tại 1966 niên luận văn trung một hữu minh xác đích thuyết xuất lai, Landin hảo tượng hi vọng giá cá ngữ ngôn thị động thái loại hình đích, tượng LISP nhi bất tượngALGOL;Đãn thị dã hữu khả năng tha tưởng yếu khai phát mỗ chủng hình thức đíchLoại hình thôi luận.

Thật hiện hòa phái sinh

Một hữu tiến hành quá trực tiếp thật hiện ISWIM đích thường thí, đãn Arthur Evans đíchPAL^[3],HòaJohn C. Reynolds(Anh ngữ:John C. Reynolds)Đích Gedanken^[4],Hoạch thủ liễu Landin đích đa sổ khái niệm, bao quát cường lực đích khống chế chuyển di thao tác. Giá lưỡng giả đô thị động thái loại hình đích.MilnerĐíchML,Khả dĩ bị nhận vi đẳng giới vu một hữu J toán tử, nhi hữu loại hình thôi luận đích ISWIM.

Tòng ISWIM diễn sinh xuất đích lánh nhất điều lộ tuyến, thị khứ điệu chỉ lệnh thức đặc chinh ( phú trị hòa J toán tử ) nhi lưu hạ thuần hàm sổ thức ngữ ngôn^[5].Tiếp trứ tựu hữu khả năng thiết hoán đáoNọa tính cầu trị.Giá điều lộ tuyến đạo trí liễuSASL,KRC,Hope,Miranda,Haskell,Clean.

Dẫn dụng

^Landin, P. J.The Next 700 Programming Languages(PDF).Communications of the ACM (Association for Computing Machinery). March 1966,9(3): 157–165[2021-08-28].S2CID 13409665.doi:10.1145/365230.365257.(Nguyên thủy nội dung(PDF)Tồn đương vu 2022-03-23 ).
^Gordon Plotkin(Anh ngữ:Gordon Plotkin).Call-by-Name, Call-by Value and the Lambda Calculus(PDF)( báo cáo ). 1975[2020-04-26].(Nguyên thủy nội dung(PDF)Tồn đương vu 2020-02-01 ).
^Arthur Evans. PAL: a language designed for teaching programming linguistics. Proceedings ACM National Conference. ACM National Conference.Association for Computing Machinery.1968.
A. Evans.PAL -- A Reference Manual and a Primer(PDF)( báo cáo ). Department of Electrical Engineering, Massachusetts Institute of Technology. February 1968[2021-09-09].(Nguyên thủy nội dung(PDF)Tồn đương vu 2022-03-06 ).
A. Evans.Appendix 2.1. The Complete Syntax for PAL(PDF)( báo cáo ). February 1968[2021-09-10].(Nguyên thủy nội dung(PDF)Tồn đương vu 2022-03-06 ).
J. M. Wozencraft, A. Evans.Notes on Programming Linguistics(PDF).M.I.T. Department of Electrical Engineering. 1971[2021-09-11].(Nguyên thủy nội dung(PDF)Tồn đương vu 2022-03-06 ).
^John C. Reynolds(Anh ngữ:John C. Reynolds).GEDANKEN: a simple typeless language which permits functional data structures and co-routines(PDF)( báo cáo ). Argonne National Laboratory. September 1969[2021-09-09].(Nguyên thủy nội dung(PDF)Tồn đương vu 2021-09-09 ).
John C. Reynolds(Anh ngữ:John C. Reynolds).Definitional interpreters for higher-order programming languages.ACM '72: Proceedings of the ACM annual conference - Volume. August 1972[2022-11-19].doi:10.1145/800194.805852.( nguyên thủy nội dungTồn đươngVu 2022-11-27 ).
^Ivanović, Mirjana; Budimac, Zoran. A definition of an ISWIM-like language via Scheme. ACM SIGPLAN Notices. April 1993,28(4): 29–38.S2CID 14379260.doi:10.1145/152739.152743.

Bổn điều mục bộ phân hoặc toàn bộ nội dung xuất tự dĩGFDLThụ quyền phát bố đích 《Tự do tuyến thượng điện não từ điển》 ( FOLDOC ).

[1] Landin, P. J.The Next 700 Programming Languages(PDF).Communications of the ACM (Association for Computing Machinery). March 1966,9(3): 157–165[2021-08-28].S2CID 13409665.doi:10.1145/365230.365257.(Nguyên thủy nội dung(PDF)Tồn đương vu 2022-03-23 ).

[2] Gordon Plotkin(Anh ngữ:Gordon Plotkin).Call-by-Name, Call-by Value and the Lambda Calculus(PDF)( báo cáo ). 1975[2020-04-26].(Nguyên thủy nội dung(PDF)Tồn đương vu 2020-02-01 ).

[3] Arthur Evans. PAL: a language designed for teaching programming linguistics. Proceedings ACM National Conference. ACM National Conference.Association for Computing Machinery.1968.
A. Evans.PAL -- A Reference Manual and a Primer(PDF)( báo cáo ). Department of Electrical Engineering, Massachusetts Institute of Technology. February 1968[2021-09-09].(Nguyên thủy nội dung(PDF)Tồn đương vu 2022-03-06 ).
A. Evans.Appendix 2.1. The Complete Syntax for PAL(PDF)( báo cáo ). February 1968[2021-09-10].(Nguyên thủy nội dung(PDF)Tồn đương vu 2022-03-06 ).
J. M. Wozencraft, A. Evans.Notes on Programming Linguistics(PDF).M.I.T. Department of Electrical Engineering. 1971[2021-09-11].(Nguyên thủy nội dung(PDF)Tồn đương vu 2022-03-06 ).

[4] John C. Reynolds(Anh ngữ:John C. Reynolds).GEDANKEN: a simple typeless language which permits functional data structures and co-routines(PDF)( báo cáo ). Argonne National Laboratory. September 1969[2021-09-09].(Nguyên thủy nội dung(PDF)Tồn đương vu 2021-09-09 ).
John C. Reynolds(Anh ngữ:John C. Reynolds).Definitional interpreters for higher-order programming languages.ACM '72: Proceedings of the ACM annual conference - Volume. August 1972[2022-11-19].doi:10.1145/800194.805852.( nguyên thủy nội dungTồn đươngVu 2022-11-27 ).

[5] Ivanović, Mirjana; Budimac, Zoran. A definition of an ISWIM-like language via Scheme. ACM SIGPLAN Notices. April 1993,28(4): 29–38.S2CID 14379260.doi:10.1145/152739.152743.

[1]

[2]

[3]

[4]

[5]