表格内语言仅代表个人的收集兴趣

加粗为个人有一定使用经验，标绿为有兴趣进一步了解

language	site	version	compiler / runtime	package	environment	build tools	type
C			gcc			make	static / weak
C++			g++	conan		make ninja cmake xmake	static / weak
Rust	https://www.rust-lang.org/	rustup	rustc	cargo			static / strong
Python	https://www.python.org/	pyenv	python	pip	venv / pipenv / conda		dynamic / strong
Java	https://www.java.com/zh-CN/	jenv	jvm	maven / gradle(kotlin groovy)			static / strong
Go	https://go.dev/			`go module`			static / strong
Zig	https://ziglang.org/
C#	https://dotnet.microsoft.com/zh-cn/			nuget			static / strong
Lua	https://www.lua.org/
Ruby	https://www.ruby-lang.org/zh_cn/
Mobile
Kotlin	https://kotlinlang.org/		jvm-kotlin	maven / gradle(kotlin groovy)			static / strong
Groovy	https://groovy-lang.org/						dynamic / strong
Swift	https://www.swift.com/
Dart	https://dart.dev/
Web
JavaScirpt	https://nodejs.org/en	nvm	node / deno / bun	npm / yarn / pnpm			dynamic / weak
TypeScript	https://www.typescriptlang.org/						dynamic / strong
WebAssembly	https://webassembly.org/		wabt			binaryen
Solidity	https://soliditylang.org/
PHP	https://www.php.net/						dynamic / weak
FP
Haskell	https://www.haskell.org/		ghc	cabal / stack / nix
Nix	https://nixos.org/
Common Lisp	https://lisp-lang.org/
Scheme	https://www.scheme.org/
Scala	https://www.scala-lang.org/						static / strong
Clojure	https://clojure.org/
OCaml	https://ocaml.org/

典型的函数式编程语言

纯函数式编程语言通常不允许直接使用程序状态以及可变对象，典型语言有：Miranda、Haskell和Idris等。

非纯函数式编程语言可按类型系统分为两类：

其他特殊风格的函数式编程语言有：APL/J和jq等。