Remove ads
Found in articles
Idris
Idris是一个通用的依赖类型纯函数式编程语言，其类型系统与Agda以及Epigram（英语：Epigram (programming language)）相似。 Idris语言具备堪与Coq媲美的交互式定理证明能力，自带tactics，而其设计目标侧重于通用系统编程更甚于辅助证明。Idris的其他
依赖类型
；在依赖类型函数式编程语言如ATS（英语：ATS (programming language)）、Agda、Dependent ML（英语：Dependent ML）、Epigram（英语：Epigram (programming language)）、F*和Idris中，依赖类型系统通过极其丰富的
类型推论
具有类型推论的语言有：Rust, Haskell, Cayenne, Clean, ML, OCaml, Epigram（英语：Epigram (programming language)）, Scala, Nemerle, D, Chrome，Visual Basic 2008、Boo、C# 3
编程语言列表
Ease Easy PL/I Easy Programming Language EASYTRIEVE PLUS ECMAScript Edinburgh IMP EGL Eiffel ELAN Elixir Elm Emacs Lisp Emerald Epigram EPL Erlang es Escher
Ballerina Programming Language. 25 November 2019 [2022-11-03]. （原始内容存档于2019-02-17） –通过GitHub. Online Historical Encyclopaedia of Programming Languages