OCaml

Bách khoa toàn thư mở Wikipedia
Bước tới: menu, tìm kiếm
OCaml
Caml logo.gif
Mô hình lập trình lập trình hàm,
hướng đối tượng
Xuất hiện vào 1985
Nhà phát triển INRIA
Phiên bản mới nhất 4.00.1 sửa dữ liệu
Kiểm tra kiểu mạnh, động
Ảnh hưởng từ ML
Ảnh hưởng tới F#
Hệ điều hành đa nền
Giấy phép QPL, LGPL
Trang mạng http://caml.inria.fr

OCaml là dòng ngôn ngữ lập trình phổ dụng trong ngôn ngữ Caml (một dạng của ngôn ngữ lập trình ML), bắt đầu được Viện Nghiên cứu Khoa học Máy tính Quốc gia ở Pháp (INRIA) phát triển từ năm 1985. Caml là ngôn ngữ lập trình hàm và đến OCaml thì thêm các tính năng lập trình hướng đối tượng (Object - chữ O trong OCaml).

Đặc điểm[sửa | sửa mã nguồn]

  • Kiểu mạnh: các biến trong Caml khi khởi tạo chỉ mang một dạng dữ liệu nhất định (khác với các ngôn ngữ kiểu yếu như Lisp).
  • Hệ thống gỡ lỗi.

Kiểu dữ liệu[sửa | sửa mã nguồn]

Trong OCaml, kiểu số nguyên và số thực có các toán tử riêng biệt:

  • Với số nguyên: +, *,...
  • Với số thực: +., *.,...

Kiểu chuỗi kí tự được bao trong cặp dấu nháy kép: "Viet Nam"

Kiểu boolean có hai giá trị truefalse.

Kiểu danh sách (list) bao giữa cặp ngoặc vuông với các thành phần phân cách nhau bởi dấu chấm phẩy.

[2; 3; 65; -4]

Câu lệnh[sửa | sửa mã nguồn]

Câu lệnh của OCaml kết thúc với hai dấu chấm phẩy (;;), khác với ML chuẩn.

Trong OCaml, cũng như các ngôn ngữ lập trình hàm khác, tên được gán giá trị bằng lệnh let:

let x = 3 + 5 * 2;;

Đặc điểm lập trình hàm của OCaml cho phép các hàm là dạng dữ liệu cấp I. Hàm số ưu tiên kết hợp với tham số ở mức ưu tiên cao nhất.

(* Chú thích: giả sử f là một hàm có một tham số *)
2 + f 3    (* cách thông dụng *)
2 + (f 3)  (* rõ ràng hơn *)
2 + f(3)   (* thường dùng với các ngôn ngữ mệnh lệnh như C, Pascal... Không thông dụng trong OCaml *)

Với đặc điểm này, một tên cũng có thể khai báo như một hàm bằng let:

let gapDoi x = x *. 2.0;;

Với các hàm đệ quy, ta cần viết let rec:

let rec giaiThua n = 
   if n = 0 then 1 else n * giaiThua (n-1);;

Hiện thực[sửa | sửa mã nguồn]

OCaml
Caml logo.gif
Biểu trưng OCaml
Phát triển bởi INRIA
Bản mới nhất 4.00.1 sửa dữ liệu
Hệ điều hành đa nền
Thể loại Ngôn ngữ lập trình
Giấy phép Giấy phép công cộng Q, LGPL
Website http://caml.inria.fr

Hệ thống Objective Caml được phát triển gồm có một bộ biên dịch (ocamlopt) theo mã gốc (native code) trên nhiều hệ vi xử lí (i386, IA64, Power PC, v.v...); cùng với bộ biên dịch bytecode (ocamlc). Ngoài ra, còn có các công cụ hỗ trợ như: môi trường dòng lệnh (ocaml), gỡ lỗi (ocamldebug), v.v...

OCaml được phân phối dưới dạng mã nguồn cùng các bản nhị phân trên các hệ điều thành thông dụng (Windows, Mac OS X, Linux (gói debrpm).

Dấu nhắc lệnh[sửa | sửa mã nguồn]

ocaml cũng là tên trình thông dịch của ngôn ngữ. Dấu nhắc lệnh OCaml có hình dấu thăng (#). Cần nhớ rằng để kết thúc dòng lệnh cần gõ ;; trước khi gõ Enter.

# 1+2*3;;
-: int = 7

Kết quả phép tính có giá trị bằng 7, kể cả kiểu dữ liệu: số nguyên (int) cũng được máy thông báo.

# let pi = 4.0 *. atan 1.0;;
val pi: float = 3.14159265358979312
# let binhPhuong x = x *. x;;
val binhPhuong: float -> float = <fun>

Kết quả của một khai báo sẽ được máy thông báo là val tên. Trong trường hợp hàm số thì có cả thông báo về các kiểu dữ liệu (ở đây hàm nhận tham số dạng float (số thực) và trả kết quả cũng dưới dạng float.

Ứng dụng[sửa | sửa mã nguồn]

OCaml có một số ứng dụng trong kĩ thuật, công nghiệp, thương nghiệp:

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