LEVEL 5
প্রোগ্রামিং ল্যাঙ্গুয়েজ
Programming Languages
এই মডিউল যে প্রশ্নের উত্তর দেয়Python আর Rust — দুটোই "programming language", কিন্তু নিচে পার্থক্যটা ঠিক কোথায়?
ভাষা শেখা আর ভাষা বোঝা এক জিনিস না। এই module শেখায় type system কী গ্যারান্টি দেয়, memory কে manage করে, garbage collector কীভাবে কাজ করে, আর একটা runtime আসলে কী।
লেসন
এই মডিউলের লেসন এখনো লেখা হচ্ছে। নিচে যা যা থাকছে অংশে পুরো outline দেখতে পাচ্ছেন — সেই ক্রমেই কনটেন্ট আসবে।
যা যা থাকছে
- Syntax vs semantics
- Operational, denotational, axiomatic semantics
- Type systems — static, dynamic, strong, weak
- Type inference (Hindley-Milner)
- Polymorphism — parametric, ad-hoc, subtype
- Memory models — manual, RAII, ownership, GC
- Garbage collection — mark-sweep, copying, generational, tri-color
- Reference counting ও cycles
- Runtime systems
- Closures ও environments
- Evaluation strategies — strict, lazy
- Exception handling internals
- Concurrency models — threads, async/await, actors, CSP
- FFI ও ABI
- Paradigms — imperative, functional, logic, OO
প্রজেক্ট
Tiny Lisp Interpreter
●●●○○Reader → eval → environment → closures।
Mark-Sweep GC
●●●●○নিজের heap ও collector, allocation pressure মাপা।
Type Checker
●●●●○Simply-typed lambda calculus-এর inference।