小编Bub*_*a88的帖子

我想请你向我提供一些文章(也许是书籍),你可能已经发现这些文章非常有说服力地批评了OOP方法.

我在WWW上读过一些关于这个主题的内容,但我并没有真正找到一个"明确的消极因素".

我对OOP的个人态度并不多,但我真的希望为任何讨论和抽象思维提供建设性,严谨的基础.

您也可以发布一些原创研究,但请非常有建设性(根据我的个人要求).

我想问一下从头开始/逆向工程师实施什么样的正式系统会更有趣.

我查看了一些逻辑/声明性编程系统的现有和开源项目.我决定在空闲时间编写类似的内容,或者至少要了解实现的一般概念.

如果这些系统中的一些能够提供逻辑中现代学术研究的大部分表达能力和简洁性以及它与计算模型的关系,那将是很好的.

你建议至少在概念层面学习什么？例如,Lambda-Prolog很有意思,因为它允许更高阶的关系,但AFAIK基于直觉主义逻辑,因此缺乏排除中间原则; 这通常对我不利.

我也欢迎任何有关现代逻辑编程系统的建议,这些系统不太受欢迎,但更具表现力/强大功能.

我看了一些JVM的新语言.其中两个人现在非常感兴趣:Clojure和Scala.但在我看来,他们俩都不理想.(让我们继续猜测,因为我不想损害自己讨论......)

我实际上认为这是一个棘手的举动是MS的发明--F#.简单地将OCaml语言移动到.NET平台会产生一些令人敬畏的效果.

问题是:有人设法为JVM编写功能齐全的OCaml编译器吗？如果这是一个好主意,你会怎么说？

可能重复:
在功能编程中,什么是仿函数？

我对OCaml了解不多,我已经研究了F#一段时间并且非常了解它.

他们说F#错过了函数模型,它存在于OCaml中.我试图弄清楚究竟是什么算子,但维基百科和教程对我没什么帮助.

你能为我阐明这个谜吗？提前致谢 :)

编辑:

对于帮助过我的每个人,我都明白了这一点.您可以将问题完全复制为:在函数式编程中,什么是仿函数？

我的问题非常简单:应用程序的哪些功能迫使开发人员利用类似OSGI的系统？当不需要这样的工具时,有哪些情况？

高阶组合器(或函数生成器)在连接和默认编程中有什么确切的作用？

是否有另一种方法来实现连接编程语言而不是直接操作堆栈？

提到的组合子和Schonfinkel的组合逻辑之间的关系有多紧密？

您是否听说过任何企业投资或扩大OCaml社区？(不是F#请)

基本例程实现的"纯"函数式编程有多好,例如列表排序,字符串匹配等？

在任何函数式语言的基本解释器中实现这些基本函数是很常见的,这意味着它们将用命令式语言(c/c ++)编写.虽然有很多例外..

至少,我想问一下:在用"纯粹的"功能语言编码时,模仿命令式的风格有多难？

这些语言不支持"原生"的相互递归函数优化,所以我猜它必须是蹦床或者......嘿......重写为循环)我想念一些东西吗？

更新:似乎我对FSharp撒了谎,但我只是没有看到谷歌搜索时相互尾调用的例子

您是否正在进行涉及Spring.NET和NHibernate的ASP.NET MVC开发？我想看一个这样设置的信息性例子,所以我可以建立我自己的项目.

我尝试使用谷歌搜索,发现了一些漂亮的东西,如S#arp Architecture,一篇关于与框架集成的常规ASP.NET(WebForms)的文章等等.不过,我错过了一个关于ASP.NET MVC和subj的好教程.

PS:我知道Spring和Hibernate是如何工作的,我只需要将它们插入到MVC应用程序中.现在不想使用S#arp架构.

PPS:我稍后会更新链接,包括以下链接: