Bài giảng SICP: Lớp học Khoa học Máy tính Gốc

MIT OpenCourseWare đã phát hành các bài giảng video hoàn chỉnh cho môn 6.001: Cấu trúc và Giải thích các Chương trình Máy tính (SICP), do Hal Abelson và Gerald Jay Sussman giảng dạy. Được ghi hình vào năm 1986 dành cho nhân viên Hewlett-Packard, hai mươi video được sản xuất chuyên nghiệp này bao gồm toàn bộ khóa học và có sẵn theo giấy phép Creative Commons.

Nội dung trong các Bài giảng

Các bài giảng này theo sát ấn bản đầu tiên của SICP và bao gồm những ý tưởng cốt lõi đã làm nên tên tuổi của khóa học: trừu tượng hóa, đệ quy, thủ tục bậc cao, dữ liệu hợp thành, luồng, bộ đánh giá siêu vòng, lập trình logic, máy thanh ghi và biên dịch. Mỗi chủ đề được trình bày với sự kết hợp giữa tính chặt chẽ toán học và mã Lisp thực tế.

Tại sao Điều này Quan trọng Ngày nay

SICP không chỉ là một di tích lịch sử—nó là một văn bản nền tảng cho bất kỳ ai muốn hiểu cách các ngôn ngữ lập trình hoạt động bên trong. Các bài giảng dạy bạn suy nghĩ về tính toán dưới dạng các thủ tục và quy trình, không chỉ là cú pháp. Các khái niệm như mô hình thay thế cho việc áp dụng thủ tục, bộ đánh giá siêu vòng và đánh giá lười biếng qua luồng vẫn còn phù hợp như năm 1986.

Đối với các kỹ sư làm việc với các ngôn ngữ hiện đại như Rust, JavaScript hoặc Python, các mẫu trong SICP—closure, continuation, truyền thông điệp—xuất hiện ở khắp mọi nơi. Các bài giảng cũng bao gồm các chủ đề như toán tử tổng quát và so khớp mẫu, trực tiếp ảnh hưởng đến lập trình hàm và thiết kế DSL ngày nay.

Các Chủ đề Chính được Đề cập

• Tổng quan và Giới thiệu về Lisp
• Thủ tục và Quy trình; Mô hình Thay thế
• Thủ tục Bậc cao
• Dữ liệu Hợp thành
• Ví dụ Henderson Escher (đệ quy hình ảnh)
• Đạo hàm Ký hiệu; Trích dẫn
• So khớp Mẫu và Thay thế Dựa trên Quy tắc
• Toán tử Tổng quát
• Gán, Trạng thái và Hiệu ứng Phụ
• Đối tượng Tính toán
• Luồng (Phần 1 & 2)
• Bộ đánh giá Siêu vòng (Phần 1 & 2)
• Lập trình Logic (Phần 1 & 2)
• Máy Thanh ghi
• Bộ đánh giá Điều khiển Tường minh
• Biên dịch
• Cấp phát Bộ nhớ và Thu gom Rác

Mỗi bài giảng dài khoảng một giờ và bao gồm lập trình trực tiếp và giải thích trên bảng trắng. Các video có sẵn trực tiếp từ MIT OpenCourseWare hoặc qua máy nhân bản CSAIL.

Nếu bạn từng thắc mắc điều gì làm nên sự vận hành của một ngôn ngữ lập trình, hoặc muốn xây dựng trình thông dịch của riêng mình, những bài giảng này là nơi tốt nhất để bắt đầu. Chúng cũng là một bản ôn tập tuyệt vời cho các kỹ sư dày dạn kinh nghiệm muốn xem lại các nguyên lý cơ bản.