Questions tagged «ocaml»

我一直听说C是嵌入式系统或任何需要以最高速度运行的语言的首选语言。我从来没有对C产生过浓厚的兴趣，主要是因为我不喜欢指针算术，并且该语言仅比汇编程序强。 另一方面，ML语言是功能强大的垃圾收集语言，OCaml甚至具有对象模型，但它们以与C一样快而享有盛誉。ML语言具有任何人都可以要求编写的抽象，简洁的语言代码，但它保留了编写高性能应用程序所需的速度。 特别是，OCaml可以在传统上使用C的任何地方使用，例如用于嵌入式设备，图形驱动程序，操作系统等。按权利，OCaml到现在应该已经占领了整个世界，但是几乎没有人听说过这种语言用过的。 这是一个主观的问题，但是为什么OCaml和ML其他语言仍然如此晦涩，而C和其他语言却变得流行呢？

86 c  ocaml 

当在Haskell的上下文中解释Y组合器时，通常会注意到，由于Haskell的递归类型，因此直接实现不会在Haskell中进行类型检查。 例如，从Rosettacode： The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite recursive type (a = a -> b). Defining a data type (Mu) allows this recursion to be broken. newtype Mu a = Roll { unroll :: Mu a -> a } …

21 haskell  type-systems  static-typing  ocaml 

我是OCaml的新手。我最近偶然发现此页面，列出了对OCaml的大量批评。 看到页面很旧（2007年）：今天列出的哪些项目符号仍然正确？例如：仍然不可能打印通用对象吗？ 我想明确指出，我不是要讨论其中表达的意见。我在问列出的信息（例如整数无警告溢出）是否仍然适用于OCaml的最新版本

15 ocaml 

关闭。这个问题是题外话。它当前不接受答案。 想改善这个问题吗？ 更新问题，以使它成为软件工程堆栈交换的主题。 4年前关闭。 我目前正在使用C和一些FORTRAN来求解微分方程的数值系统。 我对这两种语言都有点受够了，但是我需要一些（相当）高效的代码...我正在考虑切换到OCaml。 这值得么？

10 language-choice  ocaml  numerical-equations