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

Bách khoa toàn thư banh Wikipedia

Lý thuyết ngữ điệu lập trình (thường được biết cho tới vì như thế chữ ghi chép 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, tiến hành, phân tách, tế bào mô tả Điểm lưu ý, và phân loại những ngữ điệu xây dựng và những đặc thù của bọn chúng. Lý thuyết ngữ điệu xây dựng dựa vào và Chịu tác động của toán học tập, kĩ nghệ ứng dụng và ngữ điệu 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 bạn dạng trong tương đối nhiều tập san nói riêng cho tới PLT, na ná trong những xuất bạn dạng phẩm kinh nghiệm và khoa học tập PC công cộng. Hầu không còn những lịch trình đào tạo và giảng dạy CN khoa học tập PC đòi hỏi nên học tập những môn học tập vô chủ thể này.

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ịch sử[sửa | sửa mã nguồn]

Trong một số trong những cơ hội, lịch sử vẻ vang lý thuyết ngữ điệu xây dựng sở hữu trước cả sự cải tiến và phát triển của chủ yếu những ngữ điệu xây dựng. Phép tính lambda, được cải tiến và phát triển vì như thế Alonzo Church và Stephen Cole Kleene trong mỗi năm 193x, được một số trong những người xem là ngữ điệu xây dựng thứ nhất của trái đất, tuy vậy 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 xây dựng viên mô tả những giải thuật cho 1 khối hệ thống PC. hầu hết ngữ điệu xây dựng hàm được tế bào mô 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ố tê liệt đơn giản và dễ dàng được tế bào mô tả vì như thế những thuật ngữ của quy tắc tính lambda.

Ngôn ngữ xây dựng thứ nhất được đề cử là Plankalkül, vì thế Konrad Zuse design vô 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 tiến hành cho tới năm 1998). Ngôn ngữ xây dựng thứ nhất được nghe biết rộng thoải mái và thành công xuất sắc là Fortran, được cải tiến và phát triển từ thời điểm năm 1954 cho tới năm 1957 vì như thế một group mái ấm nghiên cứu và phân tích IBM được dẫn dắt vì như thế John Backus. Sự thành công xuất sắc của FORTRAN dẫn tới sự tạo hình của ủy ban những mái ấm khoa học tập nhằm mục tiêu cải tiến và phát triển một ngữ điệu 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 đang được cải tiến và phát triển ngữ điệu xây dựng Lisp (dựa bên trên quy tắc tính lambda), ngữ điệu thứ nhất 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ữ điệu xây dựng 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 chủ yếu vô lịch sử vẻ vang của lý thuyết ngữ điệu xây dựng Tính từ lúc khi đó:

• Trong trong năm 195x, Noam Chomsky đang được cải tiến và phát triển khối hệ thống phân cấp cho Chomsky trong nghề ngữ điệu học; một mày mò tác dụng thẳng lên lý thuyết ngữ điệu xây dựng và nhiều nhánh không giống của khoa học tập PC.
• Trong trong năm 196x, ngữ điệu Simula đã và đang được cải tiến và phát triển vì như thế Ole Johan Dahl và Kristen Nygaard; nó được xem là ví dụ thứ nhất của một ngữ điệu xây dựng phía đối tượng; Simula đã và đang trình làng định nghĩa đồng lịch trình 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 vì như thế Alan Kay đang được cải tiến và phát triển Smalltalk, một ngữ điệu phía đối tượng người sử dụng được nghe biết rộng thoải mái nhờ môi trường thiên nhiên cải tiến và phát triển tạo nên của chính nó.
  • Sussman và Steele đang được cải tiến và phát triển ngữ điệu xây dựng Scheme, một phiên bạn dạng 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 đã và đang được cải tiến và phát triển được chấp nhận những lịch trình PC được bộc lộ như thể logic toán học tập.
  • Backus, bên trên bài bác giảng ACM Turing Award năm 1977, đang được tiến công thực trạng của những ngữ điệu công nghiệp và ý kiến đề nghị một tờ mới mẻ những ngữ điệu xây dựng nhưng mà giờ đây được nghe biết như thể những ngữ điệu xây dựng 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 giống 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à 1 ngành học tập (tiếng Anh:discipline) so với những ngữ điệu xây dựng, được dẫn dắt vì như thế Milner; phần mềm này kéo theo những tiến thủ cỗ to tướng rộng lớn vô lý thuyết loại xuyên suốt nhiều năm vừa qua.
• Trong trong năm 198x:
  • Bertrand Meyer đang được dẫn đến cách thức học tập Thiết kế tiếp theo đòi phù hợp đồng (Design by contract) và thống nhất nó vô vào ngữ điệu xây dựng Eiffel.
• Trong trong năm 199x:
  • Gregor Kiczales, Jim Des Rivieres và Daniel G. Bobrow đang được xuất bạn dạng 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 nghị người sử dụng những monad cho tới việc cấu hình những lịch trình ghi chép vì như thế những ngữ điệu xây dựng hàm.

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

Có nhiều nghành nghiên cứu và phân tích hoặc trực thuộc lý thuyết ngữ điệu xây dựng, hoặc sở hữu tác động thâm thúy lên nó; nhiều nghành vô số này còn có sự ck chéo cánh đáng chú ý. Thêm vô tê liệt, 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 chuyên mục, và lý thuyết tập kết.

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 lưu ý kiểu dáng của hành động của những lịch trình PC và những ngữ điệu xây dựng, nói đến việc nghiên cứu và phân tích ngữ điệu kiểu dáng.

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

Lý thuyết loại là sự 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 minh chứng sự vắng tanh mặt mũi của những hành động lịch trình này tê liệt bằng phương pháp phân loại những ngữ tuân theo đòi 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). hầu hết ngữ điệu xây dựng được phân biệt vì như thế những Điểm lưu ý của những khối hệ thống loại.

Phân tích lịch trình và gửi đổi[sửa | sửa mã nguồn]

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

Xem thêm: công trình kiến trúc nổi bật nhất của ai cập cổ đại là

Phân tích ngữ điệu xây dựng sánh sánh[sửa | sửa mã nguồn]

Phân tích ngữ điệu xây dựng sánh sánh mò mẫm cơ hội phân loại những ngữ điệu xây dựng 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 chuyên mục rộng lớn của những ngữ điệu xây dựng thông thường được nghe biết như thể những quy mô xây dựng.

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

Lập trình meta là sự việc đột biến lịch trình bậc cao hơn nữa, nhưng mà sản phẩm sinh đi ra Khi tiến hành lịch trình tê liệt là 1 lịch trình không giống (có thể vô ngữ điệu không giống, hoặc vô một tập kết con cái của ngữ điệu 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ữ điệu được kiến tạo nhằm 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 ghi chép những trình biên dịch (compiler) (hoặc tổng quát lác rộng lớn, máy dịch (translator)) lịch trình dịch lịch trình được ghi chép vô một ngữ điệu quý phái dạng không giống. Các hành vi của một trình biên dịch theo đòi truyền thống cuội nguồn đượ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 lăm le lịch trình nên thực hiện gì), tối ưu hóa (cải tiến thủ hiệu suất của lịch trình theo đòi 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 lịch trình tương tự vô ngữ điệu đích này đó; thông thường là tập kết 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 cải tiến và phát triển những môi trường thiên nhiên thời hạn chạy ngữ điệu xây dựng 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 skin nước ngoài hàm.

Tạp chí chuyên nghiệp ngành, xuất bạn dạng 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 bạn dạng nghiên cứu và phân tích vẹn toàn bạn dạng vô lý thuyết ngữ điệu xây dựng gồm:

Xem thêm: miyano akemi là ai

• 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ữ điệu 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 bác 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 lác rộng lớn hoàn toàn có thể xuất hiện tại trong những tập san bách khoa hơn như là Tạp chí của ACM (Journal of the ACM), Thông tin yêu 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 bạn dạng phẩm vô khoa học tập PC.

Cũng như trong tương đối nhiều nghành 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 lúc là điều khiển. Có lẽ những cuộc hội thảo chiến lược có tiếng nhất vô 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 sở hữu 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 sử 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 lý thuyết ngữ điệu xây dựng là vần âm Hi Lạp ghi chép 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 vì như thế những mái ấm nghiên cứu và phân tích ngữ điệu xây dựng. hầu hết văn bạn dạng, bài bác báo về xây dựng và những ngữ điệu xây dựng dùng lambda theo đòi kiểu mốt này tê liệt. Nó thực hiện quang vinh trang bìa của văn bạn dạng 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 rất nhiều kiểu gọi là những bài bác báo Lambda (Lambda Papers), được ghi chép vì như thế Gerald Jay Sussman và Guy Steele, những mái ấm cải tiến và phát triển của Ngôn ngữ xây dựng Scheme. Một trang mạng có tiếng về lý thuyết ngữ điệu xây dựng đượ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[sửa | sửa mã nguồn]

• SIGPLAN
• Thời lừa lọc biểu của những ngữ điệu lập trình
• Ngôn ngữ xây dựng 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 Phường. 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ữ điệu xây dựng.
• Lịch sử ngữ điệu máy tính
• Các sách lý thuyết xây dựng miễn phí
• Lịch sử Haskell Lưu trữ 2009-04-29 bên trên Wayback Machine