逻辑式系:prolog mercury mozart
函数式系:sml ocaml erlang
过程式系:pascal ada nim
脚本语言:ruby elixir crystal
平台语言:java csharp fantom
编译语言:golang dlang rust
逻辑式系:prolog mercury mozart
函数式系:sml ocaml erlang
过程式系:pascal ada nim
脚本语言:ruby elixir crystal
平台语言:java csharp fantom
编译语言:golang dlang rust