Lisp

Biểu tượng hình con thằn lằn đôi khi được các lập trình viên dùng trong các chương trình viết bằng ngôn ngữ Lisp.

Lisp là ngôn ngữ lập trình được phát triển từ rất sớm (1958). Lisp, viết tắt của LISt Processing có cấu trúc dữ liệu nền tảng là các danh sách liên kết (linked list). Lisp được biết đến như một trong những ngôn ngữ lập trình hàm tiêu biểu, mặc dù đôi khi vẫn có các chương trình Lisp được viết theo hướng thủ tục. Về hình thức, cú pháp lệnh của Lisp rất đặc biệt với những cặp ngoặc đơn và viết theo ký pháp tiền tố.

Lịch sử

[sửa | sửa mã nguồn]

Lisp được John McCarthy đề xuất vào năm 1958 tại MIT. Steve Russell đã chuyển từ ý tưởng sang thực tế trên máy tính. Trình biên dịch Lisp đầu tiên được viết bởi Tim Hart và Mike Levin (1962) bằng chính ngôn ngữ Lisp.

Lisp đã được sử dụng rộng rãi trong lĩnh vực trí tuệ nhân tạo.

Đặc điểm

[sửa | sửa mã nguồn]
  • Cú pháp thuần nhất (sẽ được trình bày trong phần dưới)
  • Hàm cũng là một đối tượng
  • Lập trình kiểu động.
  • Thu rác trong bộ nhớ (Garbage collector)
  • Gói chương trình
  • Biên dịch tăng dần (Incremental compiling): Trong khi phát triển chương trình có thể sử dụng các hàm được biên dịch cùng với các hàm được thông dịch.
  • Lisp có cú pháp thuần nhất. Cấu trúc chung của Lisp là danh sách liên kết biểu thị bởi cặp ngoặc đơn, bên trong là các phần ngăn cách bởi dấu trống (space).

(phần-1 phần-2 phần-3...)

Trong đó mỗi phần có thể là:

Ví dụ:

  • Hàm căn bậc hai: (sqrt 2)
  • Lệnh in ra màn hình: (princ "Common Lisp")
  • Phép tính cộng trong đó hàm là toán tử: (+ 3 5)

Cú pháp như vậy được gọi chung là biểu thức S (S-expression hay Sexp). Một chương trình Lisp thực ra là một biểu thức S lớn mà mỗi phần của nó gồm nhiều biểu thức S con khác.

Một số cú pháp cụ thể của Lisp như sau:

  • Khai báo hàm(defun tên-hàm (danh-sách-tham-số) (nội-dung-của-hàm))
  • Gán(setq tên-biến giá-trị)
  • Khối lệnh(progn (lệnh-1) (lệnh-2)...)
  • Chọn / rẽ nhánh
    (if (biểu-thức-điều-kiện) (nhánh-đúng) (nhánh-sai))
    
    (cond
      ((biểu-thức-1) (nhánh-1))
      ((biểu-thức-2) (nhánh-2))
    ...
    )
    
  • Lặp
    (while (điều-kiện)
      (lệnh)
    )
    

Quy ước đặt tên

[sửa | sửa mã nguồn]

Trong thư viện chuẩn của Lisp, các hàm dạng logic (predicate) trả lại kết quả đúng (T) hoặc sai (NIL) đều kết thúc với chữ (p). Chẳng hạn: zerop là hàm kiểm tra một số bằng 0 hay không.

Quy ước đặt tên này không bắt buộc, nó có tác dụng với người lập trình (để dễ đọc và tiện gỡ lỗi) nhưng không có ý nghĩa với trình biên dịch.

Hướng đối tượng trong Lisp

[sửa | sửa mã nguồn]

Mặc dù được phát triển với định hướng ban đầu là lập trình hàm, ngôn ngữ Lisp cũng được bổ sung các tính năng cho phép lập trình hướng đối tượng. Chẳng hạn với Common Lisp, hướng đối tượng được thể hiện qua CLOS, với các tính năng cơ bản là[1]:

  • Định nghĩa các lớp
  • Tạo các đối tượng trong mỗi lớp
  • Định nghĩa các phương thức và hàm tổng quát.

Một ví dụ cụ thể với việc định nghĩa một lớp person với các giá trị mặc định tên là bill và 10 tuổi như sau:

(defclass person ()
  ((name:accessor person-name
:initform 'bill
:initarg:name)
   (age:accessor person-age
:initform 10
:initarg:age)))

Các dòng Lisp

[sửa | sửa mã nguồn]

Trong quá trình phát triển, có nhiều dòng Lisp khác nhau như: MacLisp, ZetaLisp, Franz Lisp v.v... Với nguyện vọng thống nhất một chuẩn chung cho Lisp, Common Lisp (CL) đã ra đời. Tuy vậy, hiện nay cũng có nhiều bản của Common Lisp như Allegro CL, LispWork (các phiên bản thương mại), và CMU CL, SBCL (các phiên bản tự do).

Một nhánh phát triển khác của Lisp là Scheme, một ngôn ngữ Lisp rút gọn với vài thay đổi về các từ khóa. Scheme là ngôn ngữ được giảng dạy phổ biến tại Hoa Kỳ. Trường MIT dùng Scheme để dạy sinh viên năm thứ nhất, nhưng đã chuyển qua dùng python.[2]

Ứng dụng của Lisp

[sửa | sửa mã nguồn]

Sau khi ra đời, Lisp dần dần trở thành ngôn ngữ chuyên dụng trong ngành trí tuệ nhân tạo ở Hoa Kỳ. Thậm chí ở Hoa Kỳ ảnh hưởng của nó còn lấn át một ngôn ngữ thông dụng khác trong ngành trí tuệ nhân tạo là Prolog[3]. Nghiên cứu trí tuệ nhân tạo bằng Lisp được khái quát thành những bài toán mang tính mẫu mực[4].

Ngoài ra Lisp còn là công cụ lập trình mạnh mẽ bên trong các chương trình AutoCADEmacs, và được sử dụng rộng rãi trong công thương nghiệp[5].

Tham khảo

[sửa | sửa mã nguồn]
  1. ^ "Jeff Dalton. A brief guide to CLOS". Bản gốc lưu trữ ngày 6 tháng 5 năm 2015. Truy cập ngày 7 tháng 12 năm 2008.
  2. ^ "Why MIT now uses python instead of LISP". Bản gốc lưu trữ ngày 17 tháng 9 năm 2010. Truy cập ngày 7 tháng 8 năm 2012.
  3. ^ Ivan Bratko. Prolog programming for artificial intelligence
  4. ^ Peter Norvig. Paradigms of Artificial Intelligence: Case Studies in Common Lisp.[1]
  5. ^ "Lisp Success Stories". Bản gốc lưu trữ ngày 1 tháng 12 năm 2008. Truy cập ngày 7 tháng 12 năm 2008.
Chúng tôi bán
Bài viết liên quan
Caffeine ảnh hưởng đến giấc ngủ của bạn như thế nào
Caffeine ảnh hưởng đến giấc ngủ của bạn như thế nào
Là một con nghiện cafe, mình phải thừa nhận bản thân tiêu thụ cafe rất nhiều trong cuộc sống thường ngày.
Nhật Bản trở thành nền kinh tế lớn thứ 3 thế giới như thế nào?
Nhật Bản trở thành nền kinh tế lớn thứ 3 thế giới như thế nào?
Chưa bao giờ trong lịch sử có nền kinh tế của một quốc gia hồi phục nhanh như vậy sau chiến tranh và trở thành một trong những nền kinh tế lớn nhất thế giới.
Jujutsu Kaisen chương 264: Quyết Chiến Tại Tử Địa Shinjuku
Jujutsu Kaisen chương 264: Quyết Chiến Tại Tử Địa Shinjuku
Tiếp diễn tại chiến trường Shinjuku, Sukuna ngạc nhiên trước sự xuất hiện của con át chủ bài Thiên Thần với chiêu thức “Xuất Lực Tối Đa: Tà Khứ Vũ Thê Tử”.
Download anime Perfect Blue Vietsub
Download anime Perfect Blue Vietsub
Perfect Blue (tiếng Nhật: パーフェクトブルー; Hepburn: Pāfekuto Burū) là một phim điện ảnh anime kinh dị tâm lý