现在和那时,我听到有人说,“功能性方案拟订语言更数学”。 是这样吗? 如果是,为什么? 例如,该计划是否比 Java或C高数学? Or Haskell?
我不能确切地界定什么是“mathematical”,但我认为你能够感受。
感谢!
There are two common(*) models of computation: the Lambda Calculus (LC) model and the Turing Machine (TM) model.
Lambda Calculus > 方法计算方法,用数学形式代表计算方法,通过不同领域的职能构成产生结果。 LC还涉及Combinatory/2007/3,这被视为对同一专题采取更为普遍的做法。
The Turing Organs model approach co-utiling, by representing it as edited on originalized sediment using a body of basic operations (如 addition,/2007/7on, 等).
这些不同的计算模式是不同家庭编制方案语言的基础。 Lambda Calculus已升至以下语言:ML,, 和 语言在Mlambda calculus有理论依据。
由于Lambda Calculus的性质,有可能就其原则建立的系统的行为提供某些证据。 事实上,可转让性(参见correctness)是LC的一个重要概念,有可能就LC系统作出某些推理和结论。 LC还涉及(并依据)类型理论和类别理论。
相比之下, Tur形模型不太依赖类型理论,更依赖结构计算作为基本模式的一系列国家过渡。 推算机式计算法更难以对以LC为基础的方案所做的那种数学证据和操纵作出说明,也难以提供。 然而,这并不意味着不可能进行这种分析——在研究方案虚拟化和静态分析时,使用TM模型的某些重要方面。
由于功能性方案拟订依赖于仔细选择类型和不同类型之间的转变,因此可以认为私营部门筹资和伙伴关系是更多的“商品”。
(*) 其他计算模式也存在,但与本次讨论无关。
选用功能性方案拟订语言是 功能性功能/,因此,理论上,用功能语言书写的方案可以基于数学意义。 理想的做法是,你能够证明该方案是正确的。
在实践中,这种推理非常困难,除非是三维案件,但在某种程度上仍然有可能。 你也许能够证明方案的某些特性,例如,你可能能够证明,鉴于方案的所有数字投入,产出总是在一定范围内受到限制。
语言不功能,有 mu状态和副作用,试图说明方案,证明是正确的,但现在至少是不可能的。 有了不功能的方案,你就可以通过该方案来思考,说服方案的一部分是正确的,你可以进行单位测试,测试某些投入,但通常无法就方案的行为建立严格的数学证据。
我认为,一个主要原因是,纯功能性语言没有副作用,即没有变幻状态,它们只是将投入参数用于结果价值,而这正是数学功能。
职能规划的逻辑结构是。 虽然这似乎并非完全基于日冕物质形式的数学,但书写方式是,很容易脱离离散的数学。
与必需的方案拟订相比,它并没有确切地规定如何做事,但必须做些什么。 这反映了地形。
实用方案拟订语言的数学感觉来自几个不同的特点。 最明显的是名称;“功能”,即使用对数学至关重要的职能。 另一个重要原因是,职能规划涉及确定一套总真实的物品,通过互动实现预期的计算——这类似于数学证据是如何做到的。
In C#, I know that I can overload the constructor for a class by specifying it in the body of the class: public class MyClass() { public MyClass(String s) { ... } } This overrides the default ...
I m new to C++ and am wondering how much time I should invest in learning how to implement template classes. Are they widely used in industry, or is this something I should move through quickly?
While designing ORM, what is the best approach to represent the relationship, performance-wise? I mean, out of the following two, which approach is best considering performance? class Employee { ...
I am in the middle of solving a problem where I think it s best suited for a decorator and a state pattern. The high level setting is something like a sandwich maker and dispenser, where I have a set ...
Is there a standardized way to store classes in JSON, and then converting them back into classes again from a string? For example, I might have an array of objects of type Questions. I d like to ...
I m a little confused about what is going on in Perl constructors. I found these two examples perldoc perlbot. package Foo; #In Perl, the constructor is just a subroutine called new. sub new { #I ...
I was wondering what is the best practice re. passing (another class) amongst two instances of the same class (lets call this Primary ). So, essentially in the constructor for the first, i can ...
A Google search yields a number of results - but which ones are the best? The Perl site appears to contain two - perlboot and perltoot. I m reading these now, but what else is out there? Note: I ve ...
