的模式（pattern）来构造模块叫做基于接口编程 。
语言支持.正式支持模块概念的语言包括：Ada、Algol、、C#, Clojure、COBOL、D、Dart、、Erlang、Elixir、Elm、、F#、Fortran、Go、Haskell、汇编语言、（CL）、、Java、MATLAB、ML、Modula、Modula-2、Modula-3、Morpho、、Oberon、、Objective-C、OCaml、一些派生的Pascal（、Object Pascal、Turbo