Lý thuyết ngôn ngữ lập trình

Bách khoa toàn thư há Wikipedia

Bạn đang xem: ai là tác giả của ngôn ngữ lập trình đầu tiên trên thế giới

Lý thuyết ngôn từ lập trình (thường được biết cho tới tự chữ viết lách tắt giờ Anh PLT (Programming language theory) là 1 nhánh của khoa học tập PC nghiên cứu và phân tích việc design, triển khai, phân tách, tế bào miêu tả điểm sáng, và phân loại những ngôn từ thiết kế và những đặc thù của bọn chúng. Lý thuyết ngôn từ thiết kế dựa vào và chịu đựng tác động của toán học tập, kĩ nghệ ứng dụng và ngôn từ học tập. Nó là 1 nhánh của khoa học tập PC được thừa nhận và là 1 chống nghiên cứu và phân tích tích cực kỳ, với những sản phẩm được xuất phiên bản trong vô số nhiều tập san nói riêng cho tới PLT, tương đương trong số xuất phiên bản phẩm kỹ năng và khoa học tập PC công cộng. Hầu không còn những công tác huấn luyện và giảng dạy CN khoa học tập PC đòi hỏi cần học tập những môn học tập vô chủ thể này.

Lịch sử[sửa | sửa mã nguồn]

Trong một vài cơ hội, lịch sử dân tộc lý thuyết ngôn từ thiết kế đem trước cả sự trở nên tân tiến của chủ yếu những ngôn từ thiết kế. Phép tính lambda, được trở nên tân tiến tự Alonzo Church và Stephen Cole Kleene trong mỗi năm 193x, được một vài người xem là ngôn từ thiết kế trước tiên của toàn cầu, tuy nhiên nó từng được ý định dùng để làm mô hình đo lường rộng lớn là phương tiện đi lại cho những thiết kế viên mô tả những giải thuật cho 1 khối hệ thống PC. phần lớn ngôn từ thiết kế hàm được tế bào miêu tả như sự cung ứng một "lớp mộc dán mỏng" lên quy tắc tính lambda [1], và nhiều vô số cơ đơn giản dễ dàng được tế bào miêu tả tự những thuật ngữ của quy tắc tính lambda.

Ngôn ngữ thiết kế trước tiên được đề cử là Plankalkül, tự Konrad Zuse design vô trong thời gian 194x, tuy nhiên ko được công bọn chúng nghe biết mãi cho tới năm 1972 (và ko được triển khai cho tới năm 1998). Ngôn ngữ thiết kế trước tiên được nghe biết rộng thoải mái và thành công xuất sắc là Fortran, được trở nên tân tiến từ thời điểm năm 1954 cho tới năm 1957 tự một group mái ấm nghiên cứu và phân tích IBM được dẫn dắt tự John Backus. Sự thành công xuất sắc của FORTRAN dẫn tới việc tạo hình của ủy ban những mái ấm khoa học tập nhằm mục tiêu trở nên tân tiến một ngôn từ PC "thế giới"; sản phẩm cho tới những nỗ lực của mình là ALGOL 58. Một cơ hội song lập, John McCarthy của MIT tiếp tục trở nên tân tiến ngôn từ thiết kế Lisp (dựa bên trên quy tắc tính lambda), ngôn từ trước tiên thành công xuất sắc với những khởi điểm kể từ giới học viện chuyên nghành. Với sự thành công xuất sắc của những nỗ lực khởi xướng này, những ngôn từ thiết kế PC đang trở thành một chủ thể tích cực kỳ của việc nghiên cứu và phân tích trong mỗi năm 196x và về sau.

Một số sự khiếu nại then chốt vô lịch sử dân tộc của lý thuyết ngôn từ thiết kế Tính từ lúc khi đó:

Trong trong thời gian 195x, Noam Chomsky tiếp tục trở nên tân tiến khối hệ thống phân cấp cho Chomsky vô nghành nghề dịch vụ ngôn từ học; một tò mò tác dụng thẳng lên lý thuyết ngôn từ thiết kế và nhiều nhánh không giống của khoa học tập PC.
Trong trong thời gian 196x, ngôn từ Simula đang được trở nên tân tiến tự Ole Johan Dahl và Kristen Nygaard; nó được xem là ví dụ trước tiên của một ngôn từ thiết kế phía đối tượng; Simula đã và đang trình làng định nghĩa đồng công tác con (tiếng Anh: coroutine).
Trong trong thời gian 197x:
- Một group những mái ấm khoa học tập bên trên Xerox PARC được dẫn dắt tự Alan Kay tiếp tục trở nên tân tiến Smalltalk, một ngôn từ phía đối tượng người tiêu dùng được nghe biết rộng thoải mái nhờ môi trường xung quanh trở nên tân tiến tạo nên của chính nó.
- Sussman và Steele tiếp tục trở nên tân tiến ngôn từ thiết kế Scheme, một phiên phiên bản của Lisp thống nhất với phạm vi kể từ vựng (tiếng Anh: lexical scoping), một không khí thương hiệu thống nhất, và những nhân tố kể từ quy mô Actor bao hàm những continuation lớp nhất.
- Lập trình logic và Prolog đang được trở nên tân tiến được chấp nhận những công tác PC được thể hiện như thể logic toán học tập.
- Backus, bên trên bài xích giảng ACM Turing Award năm 1977, tiếp tục tiến công thực trạng của những ngôn từ công nghiệp và đề xuất một tấm mới mẻ những ngôn từ thiết kế nhưng mà giờ đây được nghe biết như thể những ngôn từ thiết kế nút hàm.
- Xuất hiện tại quy tắc tính tiến thủ trình, ví như Phép tính của những Hệ thống Giao tiếp (Calculus of Communicating Systems) của Robin Milner, và quy mô Các tiến thủ trình tiếp xúc liên tiếp (Communicating sequential processes) của C. A. R. Hoare, cũng tựa như những quy mô tuy nhiên song tương tự động ví như quy mô Actor của Carl Hewitt.
- Lý thuyết loại chính thức được vận dụng như là 1 ngành học tập (tiếng Anh:discipline) so với những ngôn từ thiết kế, được dẫn dắt tự Milner; phần mềm này dẫn theo những tiến thủ cỗ lớn rộng lớn vô lý thuyết loại xuyên suốt nhiều năm vừa qua.
Trong trong thời gian 198x:
- Bertrand Meyer sẽ khởi tạo rời khỏi cách thức học tập Thiết tiếp bám theo ăn ý đồng (Design by contract) và thống nhất nó vô vào ngôn từ thiết kế Eiffel.
Trong trong thời gian 199x:
- Gregor Kiczales, Jim Des Rivieres và Daniel G. Bobrow tiếp tục xuất phiên bản cuốn sách Nghệ thuật của Giao thức Đối tượng meta (tựa giờ Anh: The Art of the Metaobject Protocol).
- Philip Wadler khuyến cáo người sử dụng những monad cho tới việc cấu tạo những công tác viết lách tự những ngôn từ thiết kế hàm.

Các môn con cái và những nghành nghề dịch vụ liên quan[sửa | sửa mã nguồn]

Có nhiều nghành nghề dịch vụ nghiên cứu và phân tích hoặc trực thuộc lý thuyết ngôn từ thiết kế, hoặc đem tác động thâm thúy lên nó; nhiều nghành nghề dịch vụ vô số này còn có sự ông xã chéo cánh đáng chú ý. Thêm vô cơ, PLT dùng nhiều nhánh không giống của toán học tập, bao hàm lý thuyết đo lường, lý thuyết phân mục, và lý thuyết tụ hội.

Ngữ nghĩa học tập hình thức[sửa | sửa mã nguồn]

Ngữ nghĩa học tập kiểu dáng là điểm sáng kiểu dáng của hành động của những công tác PC và những ngôn từ thiết kế, nói đến việc nghiên cứu và phân tích ngôn từ kiểu dáng.

Lý thuyết kiểu[sửa | sửa mã nguồn]

Lý thuyết loại là việc nghiên cứu và phân tích những khối hệ thống loại, "là những cách thức cú pháp dễ dàng trấn áp nhằm mục tiêu chứng tỏ sự vắng vẻ mặt mũi của những hành động công tác nào là cơ bằng phương pháp phân loại những ngữ tuân bám theo những loại độ quý hiếm nhưng mà bọn chúng tính được." (theo Các loại và những Ngôn ngữ lập trình, giờ Anh: Types and Programming Languages, MIT Press, 2002). phần lớn ngôn từ thiết kế được phân biệt tự những điểm sáng của những khối hệ thống loại.

Phân tích công tác và fake đổi[sửa | sửa mã nguồn]

Chuyển thay đổi công tác là quy trình quy đổi một công tác kể từ dạng (ngôn ngữ) này thanh lịch dạng khác; phân tách công tác là yếu tố toàn viên của việc tham khảo một công tác và xác lập những điểm sáng cốt lõi (như sự vắng vẻ mặt mũi những lớp lỗi chương trình).

Phân tích ngôn từ thiết kế ví sánh[sửa | sửa mã nguồn]

Phân tích ngôn từ thiết kế ví sánh lần cơ hội phân loại những ngôn từ thiết kế trở nên những loại không giống nhau dựa vào những điểm sáng của chúng; những phân mục rộng lớn của những ngôn từ thiết kế thông thường được nghe biết như thể những quy mô thiết kế.

Xem thêm: BT Sneaker chuyên bỏ giá sỉ giày thể thao cạnh tranh nhất miền Nam

Lập trình meta[sửa | sửa mã nguồn]

Lập trình meta là việc đột biến công tác bậc cao hơn nữa, nhưng mà sản phẩm sinh rời khỏi Khi triển khai công tác cơ là 1 công tác không giống (có thể vô ngôn từ không giống, hoặc vô một tụ hội con cái của ngôn từ gốc).

Ngôn ngữ đặc thù miền[sửa | sửa mã nguồn]

Ngôn ngữ đặc thù miền là ngôn từ được xây cất nhằm giải quyết và xử lý những yếu tố một cơ hội hiệu suất cao vô một miền yếu tố riêng rẽ.

Xây dựng trình biên dịch[sửa | sửa mã nguồn]

Lý thuyết Trình biên dịch là lý thuyết viết lách những trình biên dịch (compiler) (hoặc tổng quát tháo rộng lớn, máy dịch (translator)) công tác dịch công tác được viết lách vô một ngôn từ thanh lịch dạng không giống. Các hành vi của một trình biên dịch bám theo truyền thống cuội nguồn được phân chia nhỏ trở nên phân tích cú pháp (quét (scan) và phân tách kể từ loại (parse)), phân tích ngữ nghĩa (xác quyết định công tác nên thực hiện gì), tối ưu hóa (cải tiến thủ hiệu suất của công tác bám theo những chỉ số, điển hình nổi bật là vận tốc thực hiện) và Phát sinh mã (Phát sinh và xuất một công tác tương tự vô ngôn từ đích nào là đó; thông thường là tụ hội mệnh lệnh của một CPU).

Hệ thống thời hạn chạy[sửa | sửa mã nguồn]

Hệ thống thời hạn chạy nói đến việc trở nên tân tiến những môi trường xung quanh thời hạn chạy ngôn từ thiết kế và những bộ phận của bọn chúng, bao hàm những máy ảo, tích lũy tài liệu rác rến, và những hình mẫu nước ngoài hàm.

Tạp chí thường xuyên ngành, xuất phiên bản phẩm và hội thảo chiến lược PLT[sửa | sửa mã nguồn]

Các tập san xuất phiên bản nghiên cứu và phân tích nguyên vẹn phiên bản vô lý thuyết ngôn từ thiết kế gồm:

ACM Transactions on Programming Languages and Systems [2] Lưu trữ 2006-04-24 bên trên Wayback Machine (Giao dịch ACM bên trên những Ngôn ngữ Lập trình và những Hệ thống)
Computer Languages, Systems, and Structures [3] (Các ngôn từ PC, Các khối hệ thống, và những Cấu trúc)
Journal of Functional Programming (Tạp chí Lập trình hàm)
Journal of Functional and Logic Programming (Tạp chí Lập trình Logic và Hàm)
Journal of Symbolic Computation (Tạp chí Tính toán ký hiệu)

Các bài xích báo PLT về những cú hích cần thiết hoặc về sự việc quan hoài tổng quát tháo rộng lớn hoàn toàn có thể xuất hiện tại trong số tập san bách khoa hơn hoàn toàn như Tạp chí của ACM (Journal of the ACM), Thông tin cậy và Tính toán (Information and Computation), hoặc Khoa học tập Máy tính Lý thuyết, (Theoretical Computer Science). Xem tăng list những xuất phiên bản phẩm vô khoa học tập PC.

Cũng như trong vô số nhiều nghành nghề dịch vụ của Khoa học tập Máy tính, những cuộc hội thảo chiến lược vào vai trò cần thiết, đôi lúc là hướng dẫn. Có lẽ những cuộc hội thảo chiến lược phổ biến nhất vô PLT là Hội nghị mục chính về những Nguyên lý của những Ngôn ngữ Lập trình (tiếng Anh: Symposium on Principles of Programming Languages) (POPL)) và Hội thảo Quốc tế về Lập trình Hàm (tiếng Anh: International Conference on Functional Programming (ICFP)). Các cuộc hội thảo chiến lược không giống đem tác động tương quan PLT bao gồm Hội thảo về Thiết tiếp và Thực hiện tại Ngôn ngữ Lập trình (Conference on Programming Language Design and Implementation (PLDI)) và Hội nghị Quốc tế về Lập trình Hướng đối tượng người tiêu dùng, những Hệ thống, những Ngôn ngữ và những Ứng dụng (tiếng Anh: International Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA)).

Ký hiệu Lambda[sửa | sửa mã nguồn]

Một hình tượng ko đầu tiên của nghành nghề dịch vụ lý thuyết ngôn từ thiết kế là vần âm Hi Lạp viết lách thông thường λ (lambda). Cách người sử dụng này bắt mối cung cấp kể từ quy tắc tính lambda, một quy mô đo lường được dùng rộng thoải mái tự những mái ấm nghiên cứu và phân tích ngôn từ thiết kế. phần lớn văn phiên bản, bài xích báo về thiết kế và những ngôn từ thiết kế dùng lambda bám theo kiểu mốt nào là cơ. Nó thực hiện vinh quang trang bìa của văn phiên bản truyền thống Cấu trúc và Thuyết minh những Chương trình Máy tính (Structure and Interpretation of Computer Programs), và title của khá nhiều cái gọi là những bài xích báo Lambda (Lambda Papers), được viết lách tự Gerald Jay Sussman và Guy Steele, những mái ấm trở nên tân tiến của Ngôn ngữ thiết kế Scheme. Một trang mạng phổ biến về lý thuyết ngôn từ thiết kế được gọi là Lambda the Ultimate nhằm mục tiêu vinh danh công trình xây dựng của Sussman và Steele.

Xem thêm: picasso là ai

Xem thêm[sửa | sửa mã nguồn]

SIGPLAN
Thời gian giảo biểu của những ngôn từ lập trình
Ngôn ngữ thiết kế bậc cực kỳ cao

Đọc thêm[sửa | sửa mã nguồn]

Mitchell, John C.. Foundations for Programming Languages.
Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press.
Pierce, Benjamin C. Advanced Topics in Types and Programming Languages.
Pierce, Benjamin C. et al. (2010). Software Foundations.
Programming Language Pragmatics, 2nd Edition by Michael Scott (Morgan Kaufmann, 2006) [4]
Essentials of Programming Languages by Daniel P.. Friedman, Mitchell Wand, and Christopher T. Haynes (MIT Press 2001) [5] Lưu trữ 2007-06-30 bên trên Wayback Machine

Tham khảo[sửa | sửa mã nguồn]

Liên kết ngoài[sửa | sửa mã nguồn]

Lambda the Ultimate, một weblog xã hội giành cho thảo luận có tính chuyên nghiệp và kho tàng trữ tư liệu về lý thuyết ngôn từ thiết kế.
Lịch sử ngôn từ máy tính
Các sách lý thuyết thiết kế miễn phí
Lịch sử Haskell Lưu trữ 2009-04-29 bên trên Wayback Machine