问题标签 [programming-languages]

CPU 架构格局发生了变化，多核是一种趋势，它将改变我们开发软件的方式。我用 C、C++ 和 Java 做过多线程开发，我用各种 IPC 机制做过多进程开发。对于开发人员来说，使用线程的传统方法似乎并不容易使用支持高度并发的硬件。

您知道哪些语言、库和开发技术有助于缓解创建并发应用程序的传统挑战？我显然在考虑死锁和竞争条件等问题。设计技术、库、工具等也很有趣，它们有助于实际利用并确保利用可用资源——仅仅编写一个安全、健壮的线程应用程序并不能确保它使用了所有可用的内核。

到目前为止我看到的是：

• Erlang：基于进程，消息传递 IPC，'actor 的并发模型
• Dramatis：Ruby 和 Python 的演员模型库
• Scala：用于 JVM 的函数式编程语言，增加了一些并发支持
• Clojure：用于 JVM 的函数式编程语言，带有演员库
• Termite : Erlang 进程方法和消息传递给 Scheme 的一个端口

你还知道什么，什么对你有用，你认为什么有趣？

与静态类型语言相比，动态类型语言的优点和局限性是什么？

另请参阅：对动态语言的热爱是什么（一个更具争议性的线程......）

不同的编程语言具有不同的特性或缺少某些特性。设计模式是解决这些缺点的一种方法。我看过关于静态、面向对象语言（Java、C++）的设计模式的书籍和列表，还有关于 Python 设计模式的视频。

我有兴趣看到其他语言（如 Forth、Icon、Lisp 等）中的一些常见设计模式。简短描述它们的外观以及为什么需要它们在一种语言中会很好。也许与另一种无需设计模式即可解决此问题的语言进行简短比较。

我一直听到这个词在几种不同的情况下被反复提及。它是什么？

我似乎找不到太多关于 haskells 布局功能的信息，因为我知道它类似于 pythons 格式要求，但它是可选的。如何选择不正确使用此选项？没有它开始是一个好主意，这样我就可以对语言本身有一个坚实的感觉吗？

短篇故事：

我正在寻找关于从 Perl 切换到 Python 的演示文稿/好文章。

更长的故事：

我是硬件设计组的程序员/嵌入式硬件工程师。几年前，我说服我的同事使用 Perl 编写脚本（而不是奇怪的批处理文件、Excel、Matlab 和 TCL 混合）。从那时起，我自己已经从 Perl 切换到 Python，并且对这种变化感到非常高兴。我想以某种方式说服我的同事跟随我的道路，但我需要好的观点来说服他们。这些不能像更好的反射设施那样是沉重的程序员巫术（与我不同，这里的大多数人都是 EE 毕业生而不是程序员）。

有任何想法吗 ？关于该主题的好文章/演示文稿？也许有人已经做过并且可以分享技巧。

笔记：

这个线程有点在同一主题上，但不太符合我的要求。

采取以下代码段：

冗余是语言设计者的意图吗？如果是这样，为什么？

我想知道哪些语言支持（或不支持）本机多线程，也许会得到一些关于实现的细节。希望我们可以对这个特定功能进行完整的概述。

哪些编程语言支持任意精度算术，你能举一个简短的例子来说明如何打印任意数量的数字吗？

维基百科有这样的说法：

全函数式编程（也称为强函数式编程，与普通或弱函数式编程相比）是一种编程范式，它将程序的范围限制在可证明终止的程序范围内。

和

这些限制意味着整个函数式编程不是图灵完备的。然而，可以使用的算法集仍然是巨大的。例如，任何已经为其计算了渐近上界的算法都可以通过使用上限作为额外参数来简单地转换为可证明终止的函数，该额外参数在每次迭代或递归时递减。

还有一篇关于Total Functional Programming的论文的 Lambda The Ultimate Post 。

直到上周我在邮件列表中才发现这一点。

是否有更多您知道的资源、参考资料或任何示例实现？