编程语言名录.md

| 语言                   | 程序执行方式 | 运行时结构能否改变 | 强弱类型 | 支持指针      | 相关的库                                                                                                                                   | 跨平台性 | 工具                                                            |
|----------------------|--------|-----------|------|-----------|----------------------------------------------------------------------------------------------------------------------------------------|------|---------------------------------------------------------------|
| Python               | 解释型语言  | 动态语言      | 弱类型  | 否         | Python语言拥有丰富的标准库和第三方库，涵盖了多个领域，如科学计算、数据分析、Web开发等                                                                                        | 能    | PyCharm，Jupyter Notebook，NumPy，pandas，Matplotlib              |
| C                    | 编译型语言  | 静态语言      | 强类型  | 是         | C标准库、系统库（windows.h、unistd.h）、第三方库（OpenSSL、SQLite）                                                                                      | 能    | DevC++、VC++、Visual Studio、C-Free                              |
| Java                 | 混合型语言  | 静态语言      | 强类型  | 否         | Spring                                                                                                                                 | 能    | IDEA                                                          |
| C++                  | 编译型语言  | 静态语言      | 强类型  | 是         | C++标准库，Apache C++ Standard Library，ASL，OpenAL，Qt                                                                                       | 能    | Visual Studio，VSCode，Clion，XCode，emacs                        |
| C#                   | 混合型语言  | 静态语言      | 强类型  | 否         |                                                                                                                                        | 能    | visual studio                                                 |
| Visual Basic         | 编译型语言  | 动态语言      | 弱类型  | 否         | Windows Forms，WPF                                                                                                                      | 能    | Visual Studio                                                 |
| JavaScript           | 解释型语言  | 动态语言      | 弱类型  | 否         | jQuery                                                                                                                                 | 能    | vscode、WebStorm                                               |
| PHP                  | 混合型语言  | 动态语言      | 弱类型  | 否         | laravel                                                                                                                                | 能    | PhpStorm                                                      |
| GO                   | 编译型语言  | 静态语言      | 强类型  | 是         | gin、beego、echo                                                                                                                         | 能    | Goland                                                        |
| Delphi/Object Pascal | 编译型语言  | 动态语言      | 强类型  | 是         | Delphi/Object Pascal语言有丰富的第三方库，涵盖了多个领域，如图形界面开发、数据库访问、网络编程等                                                                             | 能    | Delphi IDE，Lazarus，Indy，TeeChart                              |
| Assembly language    | 编译型语言  | 静态语言      | 强类型  | 是         |                                                                                                                                        |      | MASM、NASM、TASM、GAS、RadASM                                     |
| Classic Visual Basic | 编译型语言  | 静态语言      | 强类型  | 否         | VBA库、ADO库、VBScript库                                                                                                                    | 能    | Visual Basic 6.0                                              |
| MATLAB               | 解释型语言  | 动态语言      | 弱类型  | 是         | Signal Processing Toolbox，Control System Toolbox，Image Processing Toolbox，Optimization Toolbox，Statistics and Machine Learning Toolbox | 能    | Matlab IDE，Sublime Text、Atom 和 Visual Studio Code 等           |
| R                    | 解释型语言  | 动态语言      | 弱类型  | 是         | ggplot2,dplyr,caret                                                                                                                    | 能    | R语言解释器，RStudio                                                |
| Swift                | 编译型语言  | 静态语言      | 强类型  | 是         | Alamofire、Kingfisher                                                                                                                   | 不能   | xcode                                                         |
| Ruby                 | 解释性语言  | 动态语言      | 强类型  | 否         |                                                                                                                                        | 能    |                                                               |
| Rust                 | 编译型语言  | 静态语言      | 强类型  | 是         | 标准库、tauri、tokio                                                                                                                        | 能    | vscode、clion                                                  |
| Fortran              | 编译型语言  | 静态语言      | 强类型  | 是         | BLAS、LAPACK、FFT、NetCDF、HDF5                                                                                                            | 能    | GFortran                                                      |
| SAS                  | 解释型语言  | 动态语言      | 弱类型  | 否         | SAS语言提供了丰富的标准库和第三方库，涵盖了统计建模、数据可视化、数据处理和报表输出等领域。同时，SAS语言也支持使用其他编程语言编写的库，如Python和R等                                                      | 能    | SAS Studio                                                    |
| Ada                  | 编译型语言  | 静态语言      | 强类型  | 是         |                                                                                                                                        | 能    | GNAT GPL                                                      |
| Objective-C          | 混合型语言  | 动态语言      | 强类型  | 是         | Cocoa,Cocoa Touch                                                                                                                      | 能    | Xcode                                                         |
| FoxPro               | 编译型语言  | 静态语言      | 强类型  | 是         | Visual FoxPro ，Microsoft Office Automation，Windows API                                                                                 | 能    | Visual FoxPro IDE，Sublime Text、Atom 和 Visual Studio Code 等    |
| Perl                 | 解释型语言  | 动态语言      | 弱类型  | 是         |                                                                                                                                        | 能    | Padre, Komodo IDE, Epic                                       |
| F#                   | 编译型语言  | 静态语言      | 强类型  | 是         | FSharp.Data、FsLab、MathNet.Numerics、Suave.IO、FSharp.Charting                                                                            | 能    |                                                               |
| COBOL                | 编译型语言  | 静态语言      | 强类型  | 是         | SQL                                                                                                                                    | 能    | Open COBOL IDE                                                |
| Dart                 | 混合型语言  | 动态语言      | 强类型  | 否         |                                                                                                                                        | 能    |                                                               |
| Lisp                 | 混合型语言  | 动态语言      | 强类型  | 否         | common lisp                                                                                                                            | 能    | DrScheme、VsCode                                               |
| Lua                  | 解释型语言  | 动态语言      | 弱类型  | 是         | LuaSocket、LuaFileSystem、LuaSec、LuaJIT-FFI、LuaJSON、LuaCURL、LuaSQL、LuaOpenGL                                                             | 能    | LuaJIT、ZeroBrane Studio                                       |
| Julia                | 编译型语言  | 动态语言      | 弱类型  | 是         | Julia语言提供了丰富的标准库和第三方库，涵盖了数值计算、数据处理、图形绘制、机器学习等领域。同时，Julia语言也支持使用C、C++、Fortran等语言编写的库，方便用户进行复杂的数值计算和科学计算                                 | 能    | Juno，Jupyter Notebook，JuliaPro                                |
| Scala                | 编译型语言  | 静态语言      | 强类型  | 是         | Breeze、Saddle、Scalalab                                                                                                                 | 能    | IDEA                                                          |
| Transact-SQL         | 混合型语言  | 静态语言      | 强类型  | 否         | System、Master、Tempdb                                                                                                                   | 不能   | SSMS                                                          |
| Haskell              | 混合型语言  | 动态语言      | 强类型  | 否         | Cabal，GHC 基础库，QuickCheck，Lens                                                                                                          | 能    | Haskell Platform，Intellij IDEA，Emacs，Vim ， Sublime Text ，GHCi |
| TypeScript           | 编译型语言  | 静态语言      | 强类型  | 否         |                                                                                                                                        | 能    | IntelliJ IDEA                                                 |
| D                    | 编译型语言  | 静态语言      | 强类型  | 是         | Phobos标准库、Vibe.d Web框架、Mir泛型编程库                                                                                                        | 能    | DMD编译器、LDC编译器、VisualD集成开发环境、Sublime Text插件                    |
| OpenEdge ABL         | 编译型语言  | 静态语言      | 强类型  | 是         | OpenEdge AppServer                                                                                                                     | 能    | Progress Developer Studio                                     |
| Kotlin               | 混合型语言  | 静态语言      | 强类型  | 否         |                                                                                                                                        | 能    |                                                               |
| Logo                 | 混合型语言  | 动态语言      | 强类型  | 否         | turtle                                                                                                                                 | 能    | VsCode                                                        |
| PowerShell           | 解释型语言  | 动态语言      | 强类型  | 否         | FileSystem、NetTCPIP、WebAdministration、ActiveDirectory、Hyper-V、SqlServer、Security、Text                                                  | 能    | PowerShell Gallery、PowerShell Core、PowerShell ISE             |
| Awk                  | 解释型语言  | 动态语言      | 弱类型  | 是         | Awk语言提供了丰富的标准库，包括文本处理、字符串处理、数学计算等，同时还有许多第三方库可供使用                                                                                       | 能    | Gawk，Awkward，Mawk                                             |
| Bourne shell         | 解释型语言  | 动态语言      | 弱类型  | 是         |                                                                                                                                        | 能    | Sickle                                                        |
| PL/SQL               | 混合型语言  | 静态语言      | 强类型  | 否         | Oracle内部的对象和PL/SQL包                                                                                                                    | 不能   | Oracle SQL Developer                                          |
| Groovy               | 混合型语言  | 动态语言      | 强类型  | 是         | Grails，Spock，Geb，GroovyFX                                                                                                              | 能    | Groovy Console，Groovy Eclipse，Groovy Grape，Groovy Gradle插件    |
| Zig                  | 编译型语言  | 静态语言      | 强类型  | 是         | SDL、GTK、libcurl，std                                                                                                                    | 能    | Zig Compiler                                                  |
| Scheme               | 混合型语言  | 动态语言      | 强类型  | 否         | Racket                                                                                                                                 | 能    | DrScheme                                                      |
| Prolog               | 编译型语言  | 静态语言      | 弱类型  | 否         | SWI-prolog，GNU prolog，SICStus Prolog                                                                                                   |      |                                                               |
| ABAP                 | 解释型语言  | 动态语言      | 若类型  | 否         | UI5                                                                                                                                    | 不能   | ABAP Editor                                                   |
| Bash                 | 解释型语言  | 动态语言      | 弱类型  | 否         | Bash-it、shflags                                                                                                                        | 能    | Bash shell、GNU Core Utilities                                 |
| Elm                  | 编译型语言  | 静态语言      | 强类型  | 否         | HTML、CSS、JSON、WebSocket等                                                                                                               | 能    | Elm Reactor，Elm-Format，Elm-Lang                               |
| VHDL                 | 编译型语言  | 静态语言      | 强类型  | 否         | IEEE标准库、Altera、Xilinx、Mentor Graphics                                                                                                  |      | Quartus                                                       |
| Unity                | 编译型语言  | 静态语言      | 强类型  | 否         | Unity Engine                                                                                                                           | 能    | Unity Editor                                                  |
| Shell                | 解释型语言  | 动态语言      | 弱类型  | 否         |                                                                                                                                        | 不能   | vim, vscode                                                   |
| LabView              | 解释型语言  | 动态语言      | 强类型  | 否         | 信号处理工具箱、控制设计和模拟工具箱、通信工具箱                                                                                                               | 能    | LabVIEW Development System                                    |
| Elixir               | 编译型语言  | 动态语言      | 强类型  | 否         | 支持Erlang语言库                                                                                                                            | 能    | ElixirSublime、vscode                                          |
| TCL                  | 解释性语言  | 动态语言      | 弱类型  | 否         | Tk，Expect，TclHttpd                                                                                                                     | 能    |                                                               |
| Clojure              | 混合型语言  | 动态语言      | 强类型  | 否         | http-kit、compojure                                                                                                                     | 能    | IDEA、VsCode                                                   |
| Ocaml                | 编译型语言  | 静态语言      | 强类型  | 是         | Camlp4、OUnit、Yojson                                                                                                                    | 能    | ocamlbuild、utop、ocamlfind                                     |
| Erlang               | 解释型语言  | 动态语言      | 强类型  | 否         | Erlang语言拥有丰富的标准库和第三方库，包括网络、数据库、加密、并发等领域                                                                                                | 能    | Dialyzer                                                      |
| CoffeeScript         | 编译型语言  | 动态语言      | 弱类型  | 否         | jQuery、Underscore.js、Backbone.js                                                                                                       | 能    | Sublime Text、Atom、WebStorm                                    |
| Eiffel               | 编译型语言  | 静态语言      | 强类型  | 否         | Eiffel标准库                                                                                                                              | 能    | EiffelStudio                                                  |
| Unilang              | 解释型语言  | 静态语言      | 强类型  | 是         | Unilang标准库，Unilang OpenGL库，Unilang Qt库，Unilang Boost库                                                                                  | 能    | Unilang编译器，Unilang IDE，Unilang包管理器                            |
| 洛书                   | 解释型语言  | 动态语言      | 弱类型  | 仅支持this指针 |                                                                                                                                        | 能    | vscode, 记事本                                                   |
| ReScript             | 编译型语言  | 静态语言      | 强类型  | 否         | Belt（标准库）、React和Redux。ReScript                                                                                                         | 能    | ReScript Compiler，VS Code和Bucklescript IDE                    |
| 文言                   | 解释型语言  | 动态语言      | 弱类型  | 否         |                                                                                                                                        | 能    | 在线ide                                                         |
| Go+                  | 编译型语言  | 静态语言      | 强类型  | 是         | Go+ HTTP，Go+ DB                                                                                                                        | 能    |                                                               |
| 凹语言                  | 编译型语言  | 静态语言      | 强类型  | 是         | 同 Go                                                                                                                                   | 能    | VsCode、Goland                                                 |
| HVML                 | 编译型语言  | 静态语言      | 强类型  | 否         | Extended WebKit Engine                                                                                                                 | 能    | PurC、PurC Fetcher、PurC Midnight Commander、xGUI Pro、DOM Ruler  |
| CovScript            | 解释型语言  | 动态语言      | 强类型  | 是         | CovScript语言拥有丰富的标准库和第三方库，包括网络、数据库、图像处理、机器学习等领域                                                                                         | 能    | csc，cs2c                                                      |
| Calcit               | 解释型语言  | 静态语言      | 强类型  | 否         | Calcit标准库                                                                                                                              | 能    | sublime text                                                  |
| Cicada(蝉语)           | 解释型语言  | 动态语言      | 弱类型  | 是         | Cicada的标准库                                                                                                                             | 能    | cicada-cli                                                    |
| Aya                  | 编译型语言  | 静态语言      | 强类型  | 是         | Aya标准库，Aya GUI库，Aya Web框架                                                                                                              | 能    | Aya编译器，Aya REPL，Aya包管理器                                       |
| 草蟒                   | 解释型语言  | 动态语言      | 强类型  | 否         |                                                                                                                                        |      | vscode                                                        |
| 木兰                   | 解释型语言  | 动态语言      | 弱类型  | 否         | python库                                                                                                                                | 能    |                                                               |
| 气(Qi)                | 编译型语言  | 静态语言      | 强类型  | 是         | 支持C++的库                                                                                                                                | 能    |                                                               |
| 易语言                  | 编译型语言  | 动态语言      | 强类型  | 是         | fnr、fnl                                                                                                                                | 能    | EFIDE                                                         |
| ZLOGO                | 解释型语言  | 静态语言      | 弱类型  | 否         | ZLOGO语言的标准库包含了一些基本的绘图命令和数学函数                                                                                                           | 能    | FMSLogo，MSWLogo，UCBLogo，ZebraLogo，BYOB，NetLogo                |
| KCL                  | 解释型语言  | 静态语言      | 强类型  | 否         |                                                                                                                                        | 能    | sublime text、vs code                                          |
| Deeplang             | 编译型语言  | 静态语言      | 强类型  | 否         | DeepLang-STL                                                                                                                           | 能    | 文本编辑器和 LLVM 工具链                                               |
| Fanx                 | 混合型语言  | 静态语言      | 强类型  | 否         | Fanx标准库，Fanx Web框架，Fanx ORM框架                                                                                                          | 能    | Fanx编译器，Fanx IDE，Fanx包管理器                                     |
| Jedi                 |        | 动态语言      |      |           |                                                                                                                                        |      |                                                               |
| 气（Qilang）            | 解释型语言  |           |      | 否         |                                                                                                                                        | 能    | shell，vscode                                                  |
| 粤语（Cantonese）        | 编译型语言  | 动态语言      | 弱类型  | 否         | 调用python库                                                                                                                              | 能    |                                                               |
| 智锐                   | 编译型语言  | 动态语言      | 弱类型  | 否         | 标准库                                                                                                                                    | 能    | VsCode                                                        |
| 好查                   | 解释型语言  | 静态语言      | 强类型  | 否         | 好查标准库                                                                                                                                  | 能    | 好查Workbench                                                   |
| 凸语言                  | 编译型语言  |||||||