Lập trình tổng quát (tiếng Anh: generic programming) là một dạng lập trình máy tính mà trong đó thuật toán được viết theo cách kiểu được-xác-định-sau và sau đó được khởi tạo (instantiate) nếu cần cho một kiểu cụ thể mà được cung cấp như tham số. Cách tiếp cận này, được tiên phong bởi ML vào năm 1973,[1][2] cho phép viết các hàm hay kiểu chung mà chỉ khác nhau ở tập các kiểu mà chúng dùng, do vậy giảm thiểu được sự trùng lặp. Các thực thể phần mềm như vậy gọi là generic trong Ada, C#, Delphi, Eiffel, F#, Java, Objective-C, Rust, Swift, và Visual Basic.NET. Chúng còn được gọi là đa hình tham số (parametric polymorphism) trong ML, Scala, Haskell (cộng đồng Haskell cũng sử dụng thuật ngữ "generic" cho khái niệm liên quan nhưng với ý nghĩa hơi khác biệt) và Julia; template trong C++ và D; và kiểu tham số (parameterized type) trong cuốn sách có nhiều ảnh hưởng năm 1994 Design Patterns.[3]