寻找满足这几个需求的编程语言

Question

寻找编程语言。必须具备以下质量(按字符特征长度的上升顺序)：

• 编撰
• 命名空间
• 垃圾收集
• 省略OOP功能！
• 固定类型数
• 可在Mac上获得
• 一级函数
• 动态类型优先
• 闭包(词法作用域)
• 可以与C库(ncurses等)进行接口
• linux上的可用性a+但不是必需的

--

为了提供更多的上下文，我希望能够使用它为linux/BSD/Mac编写命令行实用程序，这些实用工具可能使用或不使用现有的C库(如ncurses等)。

需要澄清的更新：

名称空间:当我可以创建一个名为string_strip的新名称空间并在其中定义一个名为strip的函数时，我希望避免将函数命名为strip。

省略OOP特性:有特性的语言与我不使用它的语言有一定的区别，与故意省略它的语言有区别。如果我想使用去，但不接触任何与OOP相关的东西，我就不能使用大多数标准库。

固定数量的类型:为什么没有OOP的语言会给您创建自定义"type“的选项？没有OOP类型意味着什么？它可能只是用于组合类型，即。Person = struct { Name，Age }，而您可以使用Hash或Map来完成此操作。

动态打字优先:类型推断很好，我想.

Answer 1

我不知道您所说的名称空间是什么意思，但您不是在描述Scheme吗？

Answer 2

好吧，我将尝试提出一些几乎适合每一种需求的语言：

• Haskell (静态类型)
  • 特别是GHC发行版-它已编译(或可以发出LLVM代码)
  • 它使用一些类似于命名空间的模块。
  • 它是垃圾收集的，它不是OO语言
  • 我不太理解“固定数量的类型”，因为Haskell给出了类型，但是您可以创建更多类型，并且Haskell支持代数类型和模式匹配
  • 它可以在所有Win/Mac/Linux上使用。
  • 它有一流的函数和闭包(函数语言)。
  • 并能与C库进行接口。

​

• 二郎
  • 它有一个字节码编译器，如果您使用的是Intel x86系列CPU，则有一个名为HiPE的本机编译器。
  • 动态类型
  • 不是OO语言，它是接近功能的
  • 有8个原语和2个复合类型--如果您想要一个集合，就需要构建一个列表或它们的元组
  • 垃圾收集
  • 有(不可变)闭包
  • 有一流的函数
  • Windows，Mac，Linux支持
  • 具有充当命名空间保护器的包。
  • C绑定- Erlang有端口驱动程序和二郎本机接口。

​

Answer 3

查看球拍 (基于方案)。

它有FFI。我用它为SQLite和ODBC创建了FFI绑定，并且我发现FFI非常有用和方便。

“名称空间”对我来说是模糊的。Racket有一个模块系统，它也有它所称的名称空间，它们是一流的顶级环境对象。

它没有“固定数量的类型”。我一点也不明白这个要求。