【问题标题】:What about non calculus programming?非微积分编程呢?
【发布时间】:2009-02-14 17:47:24
【问题描述】:

我最近询问了new languages and language features of the last 10 years,但显然没有。

但是我注意到一个问题是,我们的大部分注意力都集中在各种类型的微积分上。但是考虑一下,理论上我可以将神经网络和遗传编程视为非基于微积分的编程模型,尽管缺乏独立的实现,但它们是近年来诞生的有趣想法(比 lambda 1930 还少)。

同样开箱即用的还有查询语言、正则表达式和基于图形/树的设计,虽然部分是数学的,但不是微积分,这让我开始思考编程中其他非微积分设计现在很重要,还有哪些其他领域可能会为我们提供新的编程范式?

**注意:**这个问题不是关于“新”,而是关于不是源自微积分。

【问题讨论】:

  • 我不确定这是否构成答案,但并行处理是非常新的,并且可能(可能-也许)演变成一种新的编程范式。
  • 嗯,这不是新的,但我这次不是在问新的,所以这是一个有效的答案。应该把它放在那里而不是作为评论:)
  • NN 和遗传编程近年来诞生的有趣新想法?它们已经存在了很长时间。
  • 我觉得这个问题有点奇怪。首先,神经网络在很大程度上基于数学和微积分。其次,很明显编程中有很多与微积分无关的内容:OO、设计模式、测试等。
  • 再次阅读问题,您的意思是“基因”编程而不是“通用”编程吗?

标签: computer-science


【解决方案1】:

神经网络已有 50 多年的历史,参见例如Perceptron

Genetic programming 40 多岁了。

现在原始问题已被编辑,因此年龄不再相关...

顺便说一句,面向对象编程起源于 40 多年前的仿真(Simula 67)。

大多数其他编程语言要么是自下而上派生自机器可以做的事情(命令式语言从 1954 年的 FORTRAN 开始),要么来自一些数学计算概念(例如 lambda 演算在 1957 年启发了 Lisp 以及后来的其他函数式语言。序言是从数学逻辑推导出的另一个例子)。您看到的编程语言与微积分的关系大多是偶然的,因为数值计算是早期计算机的主要用途,今天仍然很重要。

【讨论】:

  • 我确定 OP 的意思是“基因”编程,但结论保持不变。
  • 嗯,这仍然是相当新的。与其他编程模型相比。
  • 无论如何 new 与这个问题无关。这是非数学背景
【解决方案2】:

我认为这些领域的任何重大转变都可能通过我们对问题的思考方式而不是我们用来解决问题的语言的转变来实现。

我们现在拥有的工具非常擅长解决当前框架下的计算问题。对问题的新观点肯定会推动新语言的创造,但这只是副产品,而不是推动力。

【讨论】:

  • 正是,这就是我感兴趣的。寻找解决问题的新资源,而不是语言。
【解决方案3】:

并行编程实践可能会出现新的编程范式。目前,有很多方法可以处理在多个处理器上运行的程序,有些好,有些不好。我希望随着对该主题的更多研究,一些核心方法将成为新语言整合的常见方法,因此它们可以以“简单”的方式使用。

【讨论】:

    【解决方案4】:

    我认为,随着我们越来越接近与人交互的人工智能,词汇编程将越来越重要。

    【讨论】:

      【解决方案5】:

      微积分不是数学,它只是数学的一部分——作为一个整体,所有编程语言都是基于数学的,并且程序可以转化为代数结构(或者,更理论上,转化为 lambda 演算或图灵机结构)。我想说的是,所有关于编程的计算机科学方面的工作(如标记)都必然基于数学,尽管可能不是微积分,所以这样的问题是不公平的。不是像 Knuth 的 Literate Programming 这样的东西,它专注于编程的非数学方面——文档等,它并不是真正的新东西。

      编辑:原始问题已更新。谢谢,我想。

      【讨论】:

      • 新无关紧要,数学是公平竞争,因为大多数东西都可以通过数学建模,但我的意思是非微积分。
      【解决方案6】:

      根据定义,非微积分编程对我来说听起来像是将某种物理组合成一个整体,它应该通过由非人类创造的物理或/和设备执行的计算生成另一个整体。我们可以认为,这绝对是计算的未来,因为它将是超越人类理解界限的东西。应该使用一些有效的东西,但我们不明白如何。 但是,在另一种思维方式中,这不是未来。这就是宇宙的形成方式,包括我们作为一个整体。因此,考虑到我们的大脑,这不是很实用。显然,我们可以尝试使用一些我们尚未发现的东西,如量子计算、量子纠缠或其他物理现象。差不多就是这样,我们有什么选择。到目前为止,尝试使用我们所构成的东西并不是很实际。

      【讨论】:

        猜你喜欢
        • 1970-01-01
        • 1970-01-01
        • 2014-11-28
        • 1970-01-01
        • 1970-01-01
        • 1970-01-01
        • 2015-08-14
        • 1970-01-01
        • 2014-12-29
        相关资源
        最近更新 更多