我的观点并不是什么具体的程序结构问题不能用函数式语言处理.我所要表述的是这和函数式语言中能否加入结构解决任意复杂问题无关。为什么所有的问题不能在集合论中解决,为什么要有独立的数学学科。物理学所有的定律都使用数学表述,是否意味着物理学的真理蕴含在数学之中。
我说实际上现在的通用语言也是无法有效承载Domain Specific Structure的。其实与以下说法是类似的
数学是无法涵盖物理学的,现在的已知的数学工具是无法有效承载尚未得到充分探索的领域的物理的
我说我所关心的不是语言层面的问题。这类似于说不要把所有物理问题都推到数学层面去解决。
我们应该研究独立的结构,应该建立单独的价值观和方法论。不要谈及一个技术进展的时候就说某某语言好,不是一说到DSL的优点就要去抱ruby的大腿。此外,我的观点也不是去做业务分析,不是去如何更好的实现业务到基础技术结构的映射。
不是强调对象的所谓业务含义,不是强调某种通用语言(例如ruby)的灵活的语法结构。在这之间存在着厚重的具有物理意义的可以进行结构分析的技术层
我想说这个结构层面现在并未得到充分的关注,我们对于结构的问题并不是非常清楚,对程序结构的稳定性更是少有经验。我们在Witrix中做了大量的工作,试图做到如下的图景:
永远只写代码片断,而所有的代码片断组合在一起又构成一个可理解的整体
对背景不是分解让其成为可见的部分,而是采用追加的,增删的方法对背景结构进行修正,则我们有可能在没有完整背景知识的情况下,独立的理解局部变化的结构。即背景是透明的,知识成为局部的。
http://canonical.iteye.com/blog/126467
在Witrix中我们实现的代码重用程度和程序整体结构控制能力是超越了目前所有已知的公开技术的。这不是什么哲学,而是我们在残酷的商业竞争中得以生存的资本。
号外:
不要把具体的技术和一种技术思想混为一谈。一种实现总是包容了太多的思想。思想错了,实现对了。实现死了,思想活着。
分享到:
相关推荐
以上说明,强类型的函数式语言毫无疑问将会成为本书所示范式的最佳试验场。JavaScript 是我们学习这种范式的一种手段,将它应用于什么地方则完全取决于你自己。幸运的是,所有的接口都是数学的,因而也是普适的。...
毕业设计 简单的函数式语言实现(编译器+解释器)源码+详细文档+全部数据资料 高分项目.zip毕业设计 简单的函数式语言实现(编译器+解释器)源码+详细文档+全部数据资料 高分项目.zip 【备注】 1、该项目是高分毕业设计...
二 C是结构式语言 2 三 C语言功能齐全 2 四 C语言适用范围大 3 第二章 数据类型、变量和运算符 3 第三章 数据类型 5 一 整型(int) 6 二 浮点型(float) 7 三 字符型(char) 7 四 指针型(*) 9 五 无值型(void) 9 六 ...
函数式编程错误说明,SML语言的错误类型和文档
程序员要刷题函数式编程的第一步 一个超级有趣的(功能性)编程工作坊() 为什么我在这里? 您可能发现自己越来越多地听到“函数式编程”这个流行话题,一群兴奋的编码员热情地滔滔不绝地谈论它如何帮助他们编写更...
Idris 2是纯函数式编程语言,具有一流的类型。 Idris 2 Idris 2是纯函数式编程语言,具有一流的类型。 有关完整的安装说明,请参阅INSTALL.md。 简而言之,如果您安装了Chez Scheme,且其可执行文件名为chez,则键入...
2.4.5 关于字符串和数字的一些说明 22 2.5 练习:利息计算程序 23 2.6 课时小结 24 2.7 课外作业 24 2.7.1 专家答疑 24 2.7.2 思考题 24 2.7.3 解答 25 2.7.4 实习 25 第3学时 控制程序流 26 3.1 语句块 26...
人们使用计算机描述世界的方式一直在不断地变化,从早期的汇编语言,到函数式言语,比如Lisp,再到面向过程、面向对象语言,和今天无限风光的动态语言等等。语言的变更表现了计算机需要理解的现实世界正正快速地走向...
是具有一流类型的纯函数式编程语言。 有关完整的安装说明,请参阅 。 简而言之,如果您安装了Chez Scheme,且其可执行文件名为chez ,则键入: make bootstrap SCHEME=chez make install 您可能需要将chez更改...
TSCLIB.dll 适用于delphi、vc、vb.net、jsp、java、asp.net、foxpro等,有大量编程案例参考,且有编程说明书、TSCLIB.dll文件、函数调用等,希望对你有帮助
特效简要探讨以纯函数式编程语言建模副作用的各种方法。挑战编写一个程序,将累加器和随机种子都初始化为0 ,然后运行以下过程10次: 记录累加器的值。 从半开区间[0, 10) 0,10)中均匀地随机选择一个整数。 通过向...
向对象和函数式语言两方面获得了强大的特性,然后用一些新奇的点子把它们漂亮地整合成一 它的语法是如此的轻量级,而原语又如此富有表达力,以至于根本可以认为 API的使用不须负 法开销。我们可以在标准库中,如拆分...
相对于Lisp这种传统的函数式编程语言,Python对函数式设计只提供了有限的支持。有两个标准库(functools,itertools)提供了Haskell和Standard ML中久经考验的函数式程序设计工具。 Python练习集100题是整理了Python...
² 一套完整的数组(特别是阵)计算操作符,² 拥有完整体系的数据分析工具,² 为数据分析和显示提供的强大图形功能,² 一套(源自S语言)完善、简单、有效的编程语言(包括条件、循环、自定义函数、输入输出功能...
闭包(closure)是函数式编程中的概念,出现于 20 世纪 60 年代,最早实现闭包的语言是 Scheme,它是 LISP 的一种方言。之后闭包特性被其他语言广泛吸纳。 闭包的严格定义是“由函数(环境)及其封闭的自由变量组成...
语法使 ReasonML 很容易开始使用,但除非您已经知道一种类型化的函数式语言,否则由于不熟悉静态类型和函数式编程,您很快就会遇到绊脚石。 不要怕! 完成这些练习并学习所有基础知识 - 定义和使用函数,理解递归、...
本书是有关编程语言的一系列说明,最初是为本科编程语言课程的学生编写的。 它使用Haskell,一种纯函数式语言。
JavaScript语言特别适合于函数式编程。 本书全面介绍了使用JavaScript进行函数式编程的主要主题,以生成更短,更清晰和可测试的程序。 您将深入研究函数式编程。 包括编写和测试纯函数,减少副作用以及其他使您的...