Khác biệt giữa bản sửa đổi của “OCaml”
Nội dung được xóa Nội dung được thêm vào
+kiểu dữ liệu +câu lệnh +dấu nhắc lệnh |
nKhông có tóm lược sửa đổi |
||
Dòng 45:
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
</source>
Dòng 85:
==Ứng dụng==
OCaml có một số ứng dụng trong kĩ thuật, công nghiệp, thương nghiệp:
* Được công ty Jane Street Capital[http://www.janestreet.com/] sử dụng rộng rãi
* Phần mềm [[Unison (phần mềm)|Unison]]
* Phần mềm [[chứng minh]] [[định lý]] có tên là Coq.
Dòng 92:
[[Thể loại: Ngôn ngữ lập trình]]
{{Các ngôn ngữ lập trình chính}}
|