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

Bách khoa toàn thư cởi 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à một trong những nhánh của khoa học tập PC phân tích việc design, triển khai, phân tách, tế bào miêu tả điểm lưu ý, 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à một trong những nhánh của khoa học tập PC được thừa nhận và là một trong những điểm phân tích tích cực kỳ, với những thành quả được xuất phiên bản trong không ít tập san nói riêng mang lại PLT, hao hao trong số xuất phiên bản phẩm kinh nghiệm và khoa học tập PC công cộng. Hầu không còn những công tác 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 nhập 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ế với 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 vậy nó từng được ý định dùng để làm mô hình đo lường và tính toán 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 nhập số cơ đơn giản và 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 nhập trong năm 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 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"; thành quả mang lạ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 đang đượ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 phân tích trong mỗi năm 196x và về sau.

Một số sự khiếu nại chủ yếu nhập 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 năm 195x, Noam Chomsky đang được trở nên tân tiến khối hệ thống phân cấp cho Chomsky nhập nghành nghề dịch vụ ngôn từ học; một tò mò hiệu quả 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 năm 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 ra mắt định nghĩa đồng công tác con (tiếng Anh: coroutine).
Trong trong năm 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 đang đượ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 thiên nhiên trở nên tân tiến tạo nên của chính nó.
- Sussman và Steele đang đượ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 nguyê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 cho phép những công tác PC được biểu thị 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, đang đượ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 bộ 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 bộ 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 vậy 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à một trong những 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 bộ cỗ to tướng rộng lớn nhập lý thuyết loại trong cả nhiều năm vừa qua.
Trong trong năm 198x:
- Bertrand Meyer đang được đưa đến cách thức học tập Thiết kế tiếp bám theo ăn ý đồng (Design by contract) và thống nhất nó nhập vào ngôn từ thiết kế Eiffel.
Trong trong năm 199x:
- Gregor Kiczales, Jim Des Rivieres và Daniel G. Bobrow đang đượ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 sử dụng những monad mang lạ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ụ phân tích hoặc ở trong lý thuyết ngôn từ thiết kế, hoặc với tác động thâm thúy lên nó; nhiều nghành nghề dịch vụ nhập số này còn có sự ông xã chéo cánh đáng chú ý. Thêm nhập 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 và tính toán, lý thuyết phân mục, và lý thuyết giao 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 mẫu mã là điểm lưu ý mẫu mã của hành động của những công tác PC và những ngôn từ thiết kế, nhắc đến việc phân tích ngôn từ mẫu mã.

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

Lý thuyết loại là việc 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 minh chứng sự vắng tanh mặt mày của những hành động công tác này 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 lưu ý của những khối hệ thống loại.

Phân tích công tác và gửi đổ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 quý phái 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 lưu ý chủ chốt (như sự vắng tanh mặt mày những lớp lỗi chương trình).

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

Phân tích ngôn từ thiết kế sánh sánh tìm hiểu 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 lưu ý 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: chong cua tang thanh hà la ai

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à thành quả sinh rời khỏi Lúc triển khai công tác cơ là một trong những công tác không giống (có thể nhập ngôn từ không giống, hoặc nhập một giao 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 kiến tạo nhằm xử lý những yếu tố một cơ hội hiệu suất cao nhập 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 mắng rộng lớn, máy dịch (translator)) công tác dịch công tác được viết lách nhập một ngôn từ quý phái 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 lâu đời được phân tách 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 toan công tác nên thực hiện gì), tối ưu hóa (cải tiến bộ 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ự nhập ngôn từ đích này đó; thông thường là giao 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 nhắc đến việc trở nên tân tiến những môi trường thiên nhiên 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ưởi, và những skin nước ngoài hàm.

Tạp chí chuyên nghiệp 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 phân tích vẹn toàn phiên bản nhập 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ề việc quan hoài tổng quát mắng rộng lớn rất có thể xuất hiện tại trong số tập san bách khoa hơn hoàn toàn như là Tạp chí của ACM (Journal of the ACM), Thông tin tưởng 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 thêm thắt list những xuất phiên bản phẩm nhập khoa học tập PC.

Cũng như trong không ít 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, nhiều khi là chỉ huy. Có lẽ những cuộc hội thảo chiến lược phổ biến nhất nhập PLT là Hội nghị đề 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 với tác động tương quan PLT bao gồm Hội thảo về Thiết kế 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 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 và tính toán được dùng rộng thoải mái tự những mái ấm 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ẫu này 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 tương đối 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 dự án công trình của Sussman và Steele.

Xem thêm: châu đăng khoa là ai

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

SIGPLAN
Thời gian dối 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 riêng cho thảo luận có trách nhiệm 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