1回答
你总会听到编程语言被宣传为多范式。我想我明白这意味着什么，但我想知道是否有任何语言是严格的单一范例。当然，还有其他的。Wikipedia使用以下列表:并发、约束、数据流、声明式、分布式、函数式、元编程、泛型、命令式、逻辑、反射、面向对象、管道、可视化和基于规则。
或者我完全忽略了范型是什么？
浏览 1提问于2013-06-29得票数 0
回答已采纳
1回答
我一直在研究声明性语言，似乎声明性只是逻辑和函数式语言的总称。还是我错了？有没有通用的声明性编程语言，既不能归类为函数式，也不能归类为逻辑(Al)，而仅仅是“声明性”？
浏览 2提问于2012-09-17得票数 6
回答已采纳
2回答
在4种不同的范例中有许多不同的编程语言：
我可以用所有的编程范例编写一个程序，例如，我可以用OOP中的类编写程序，也可以用函数式编程语言编写它。
浏览 4提问于2014-06-26得票数 0
回答已采纳
1回答
我对函数式编程和逻辑编程有浓厚的兴趣，水星似乎是两者的完美混合体。它在工业上有用吗？我是一个学习语言只是为了好玩，但它会很好的有实用的，就业的途径。我在语言网站上找不到在工业中使用的例子。
浏览 0提问于2012-05-01得票数 15
回答已采纳
你能给我解释一下逻辑编程的基本原理和类型系统和传统逻辑之间的语法相似现象之间的基本联系吗？
浏览 5提问于2010-05-14得票数 9
回答已采纳
我目前正在学习模型检查(模态逻辑、LTL、CTL、SAL模型检查等)。在业余时间，我正在学习Idris，这是一种支持依赖类型的强类型函数式编程语言。当学习模型检查时，感觉所提到的大多数示例要么是关于验证以命令式方式编写的系统，要么是关于硬件组件。因此，我对强类型函数式编程语言中的模型检查的相关性感到困惑，特别是在Idris这样的依赖类型语言中，在我看来，类型检查器在验证正确性方面已经做得非常出色。当使用强依赖的类型化编程</e
浏览 4提问于2016-04-07得票数 10
回答已采纳
2回答
例如，您可以说F#是一种强类型的，主要是函数式的(它支持面向对象和过程编程，但它被认为是属于ML家族的“函数”)语言。然而，对于J来说，我找不到多少关于如何“按常规”对它进行分类，或者在Stackoverflow上发现的任何东西，证实它是一种函数式编程语言。维基百科说，它“是一种非常简洁的数组编程语言”，“支持函数级编程”，并且“不是Von编程语言”，没有哪种语言更有帮助。我有几个
浏览 3提问于2013-12-13得票数 20
回答已采纳
7回答
你们大多数人都知道，Lua和Python等语言的嵌入式解释器被广泛用于脚本游戏逻辑，但我还没有看到很多关于人们使用特定域语言编写脚本的信息，比如在游戏其余部分使用的语言之上构建一个小的逻辑脚本“方言”，使用宏或流利的编程等等。您认为随着游戏开发向更多的元编程友好语言(例如Boo )发展，这种情况会变得越来越普遍吗？
浏览 0提问于2010-07-16得票数 13
5回答
到目前为止，我一直在使用Java、Prolog、SQL和C#语言。我知道Java和C#是命令式的，Prolog声明性语言和SQL某种程度上的声明性语言。这已经是某些语言可能适合或实现的四个不同特性:命令式、声明式、面向对象、面向方面，我还遇到了其他各种类别:函数式语言、汇编语言，可能还有很多我从未听说过的特性。是否有某种一致和/或逻辑分类或多维分类，其中的编程语言
浏览 9提问于2009-10-23得票数 2
回答已采纳
2回答
F#与模糊逻辑
、、、
这种语言有很多应用，我要学习，关于语法分析，函数式编程，结构化编程……但是人工智能呢？在大学里，我们正在学习Prolog和类似的语言。
浏览 0提问于2010-11-29得票数 10
回答已采纳
我如何使用不同的编程语言来定义我的执行器的逻辑，而不是我用于驱动程序的逻辑？这到底有没有可能？例如:我会用Scala编写驱动程序，然后调用用Java、Python编写的不同函数来实现数据集的分布式处理。
浏览 0提问于2018-02-20得票数 0
我正在尝试编写一种玩具逻辑编程查询语言，它基于各种指令集，包括SICP和Prolog艺术(AoP)。我刚刚开始绘制统一算法的第一个草图(根据AoP的说法是“逻辑编程计算模型的核心”)，AoP注意到
对于特定的逻辑编程语言，在实现统一算法时，避免了叠加方程和单位方程的显式替换。相反，逻辑变量和其他术语由具有不同值的存储单元表示，变量绑定是通过将表示逻辑变量的存储单元分配给包含变量绑定项表示的单元格的
浏览 2提问于2015-11-05得票数 10
1回答
我最近对逻辑编程感兴趣，更具体地说，我对CLINGO的答案集编程很感兴趣，我想知道在实践中对这个范式的普遍共识是什么。例如，大多数声明性程序，包括来自功能和逻辑家族的程序，往往更简洁，可以被看作比命令式程序更接近自然语言。
我只是想知道是否有人知道ASP的任何实际优点和缺点。
浏览 8提问于2022-03-22得票数 1
回答已采纳
在整个比赛中使用的语言的分布可以在上看到。
在用C/C++编程几年之后，我最近爱上了Python，因为它的可读性/直接性。最近，我学习了函数式语言，如OCaml，Scheme，甚至逻辑语言，如Prolog。这些语言当然有它们的优点，在我看来，在某些情况下可以比C++和Java更容易地应用它们。例如，Scheme使用call/cc简化了回溯(回答几个问题所需的工具)和Prolog的逻辑规范，尽管由于其蛮力性质而效率低下，但可
浏览 181提问于2010-08-01得票数 94
回答已采纳
2回答
我目前正在学习编程语言的概念和语用，因此我觉得我需要帮助来区分声明性语言家族的两个分支。我不明白的是：
我们应该在哪里做出区别，以便将它们归类为函数式编程语言或基于逻辑的编程语言？
浏览 4提问于2016-10-09得票数 3
回答已采纳
1回答
编程真的是声明性的吗？
、、、、
我一直在自学一些关于声明式编程与命令式编程的知识，我已经(可能是错误的)理解了声明式编程或多或少就是抽象。这只是它的本质，还是有100%声明式的语言(我甚至不能开始概念化)？
如果我对这些概念的理解有误，请纠正我！
浏览 4提问于2015-07-25得票数 4
我不是语言专家，但我最近对语言有了深入的了解，并试图了解主要的概念和“他们的”语言。这与类似。首先，主要的编程语言概念是什么？结构化
(绝对不完整的名
浏览 7提问于2010-11-02得票数 5
回答已采纳
2回答
来自OO/命令式背景，我习惯于在编码之前将需求/用户故事转换为用例和序列图。
但是，我被分配给Haskell项目时，团队倾向于将用户需求转换为谓词逻辑命题/语句。我知道在安全关键系统和软件工程的形式化方法中使用了逻辑，但在日常编程中却没有这么多。这是FP领域中常见的做法吗？我在哪里能学到更多这方面的知识？搜索“函数编程中的需求规范”(以及不同的关键字同义词和组合)没有任何意义。
浏览 0提问于2015-03-17得票数 8
云服务器
ICP备案
对象存储
云直播
腾讯会议
腾讯云开发者
