Mục lục
5 quan hệ: Danh mục các bài viết về lập trình hướng đối tượng, Hệ thống kiểu danh định, Lập trình hàm, Lý thuyết ngôn ngữ lập trình, Maple.
Danh mục các bài viết về lập trình hướng đối tượng
Đây là danh sách các thuật ngữ tìm thấy trong lập trình hướng đối tượng.
Xem Hệ thống kiểu và Danh mục các bài viết về lập trình hướng đối tượng
Hệ thống kiểu danh định
Trong khoa học máy tính, hệ thống kiểu danh định (tiếng Anh: nominative type system) hay hệ thống kiểu dựa trên tên (name-based type system) là một lớp quan trọng của hệ thống kiểu, mà sự tương thích và tương đương của kiểu dữ liệu được xác định bởi các khai báo rõ ràng và/hoặc tên của kiểu.
Xem Hệ thống kiểu và Hệ thống kiểu danh định
Lập trình hàm
Trong ngành khoa học máy tính, lập trình hàm là một mô hình lập trình xem việc tính toán là sự đánh giá các hàm toán học và tránh sử dụng trạng thái và các dữ liệu biến đổi.
Xem Hệ thống kiểu và Lập trình hàm
Lý thuyết ngôn ngữ lập trình
hàm, ứng dụng hàm và đệ quy được Alonzo Church đề xuất vào những năm 193x. Lý thuyết ngôn ngữ lập trình (thường được biết tới bởi chữ viết tắt tiếng Anh PLT (Programming language theory)) là một nhánh của khoa học máy tính nghiên cứu việc thiết kế, thực hiện, phân tích, mô tả đặc điểm, và phân loại các ngôn ngữ lập trình và các đặc trưng của chúng.
Xem Hệ thống kiểu và Lý thuyết ngôn ngữ lập trình
Maple
Maple là một gói phần mềm toán học thương mại phục vụ cho nhiều mục đích.