腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
圈层
工具
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
有没有任何单一范式的
语言
、
你总会听到
编程
语言
被宣传为多范式。我想我明白这意味着什么,但我想知道是否有任何
语言
是严格的单一范例。当然,还有其他的。Wikipedia使用以下列表:并发、约束、数据流、声明
式
、分布
式
、函数
式
、元
编程
、泛型、命令
式
、
逻辑
、反射、面向对象、管道、可视化和基于规则。 或者我完全忽略了范型是什么?
浏览 1
提问于2013-06-29
得票数 0
回答已采纳
1
回答
是否有纯粹的声明性、通用的
编程
语言
?
、
、
我一直在研究声明性
语言
,似乎声明性只是
逻辑
和函数
式
语言
的总称。还是我错了?有没有通用的声明性
编程
语言
,既不能归类为函数
式
,也不能归类为
逻辑
(Al),而仅仅是“声明性”?
浏览 2
提问于2012-09-17
得票数 6
回答已采纳
2
回答
不同的
编程
范式提供了什么?
、
、
、
在4种不同的范例中有许多不同的
编程
语言
: 我可以用所有的
编程
范例编写一个程序,例如,我可以用OOP中的类编写程序,也可以用函数
式
编程
语言
编写它。
浏览 4
提问于2014-06-26
得票数 0
回答已采纳
5
回答
Haskell与Prolog的比较
、
这两种
语言
的主要区别是什么? 是否有能够模仿Prolog功能的Haskell库(某种
逻辑
解决程序)?
浏览 9
提问于2009-12-19
得票数 58
回答已采纳
1
回答
水星
编程
语言
在这个领域中使用了吗?
、
、
、
我对函数
式
编程
和
逻辑
编程
有浓厚的兴趣,水星似乎是两者的完美混合体。它在工业上有用吗?我是一个学习
语言
只是为了好玩,但它会很好的有实用的,就业的途径。我在
语言
网站上找不到在工业中使用的例子。
浏览 0
提问于2012-05-01
得票数 15
回答已采纳
2
回答
关于
逻辑
和Curry-Howard对应关系的一个问题
、
、
、
你能给我解释一下
逻辑
编程
的基本原理和类型系统和传统
逻辑
之间的语法相似现象之间的基本联系吗?
浏览 5
提问于2010-05-14
得票数 9
回答已采纳
1
回答
强类型函数
编程
语言
中模型检查的相关性?
、
我目前正在学习模型检查(模态
逻辑
、LTL、CTL、SAL模型检查等)。在业余时间,我正在学习Idris,这是一种支持依赖类型的强类型函数
式
编程
语言
。当学习模型检查时,感觉所提到的大多数示例要么是关于验证以命令
式
方式编写的系统,要么是关于硬件组件。因此,我对强类型函数
式
编程
语言
中的模型检查的相关性感到困惑,特别是在Idris这样的依赖类型
语言
中,在我看来,类型检查器在验证正确性方面已经做得非常出色。当使用强依赖的类型化
编程</e
浏览 4
提问于2016-04-07
得票数 10
回答已采纳
2
回答
J/K/APL是如何按照共同的范式分类的?
、
、
、
、
例如,您可以说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
回答已采纳
1
回答
一种
语言
的驱动程序代码和不同
语言
的执行器
我如何使用不同的
编程
语言
来定义我的执行器的
逻辑
,而不是我用于驱动程序的
逻辑
?这到底有没有可能?例如:我会用Scala编写驱动程序,然后调用用Java、Python编写的不同函数来实现数据集的分布
式
处理。
浏览 0
提问于2018-02-20
得票数 0
3
回答
什么是“
逻辑
变量”,实现
语言
特性的一般方法是什么?
我正在尝试编写一种玩具
逻辑
编程
查询
语言
,它基于各种指令集,包括SICP和Prolog艺术(AoP)。我刚刚开始绘制统一算法的第一个草图(根据AoP的说法是“
逻辑
编程
计算模型的核心”),AoP注意到 对于特定的
逻辑
编程
语言
,在实现统一算法时,避免了叠加方程和单位方程的显
式
替换。相反,
逻辑
变量和其他术语由具有不同值的存储单元表示,变量绑定是通过将表示
逻辑
变量的存储单元分配给包含变量绑定项表示的单元格的
浏览 2
提问于2015-11-05
得票数 10
1
回答
答案集
编程
/
逻辑
编程
的实际优缺点
、
、
我最近对
逻辑
编程
感兴趣,更具体地说,我对CLINGO的答案集
编程
很感兴趣,我想知道在实践中对这个范式的普遍共识是什么。例如,大多数声明性程序,包括来自功能和
逻辑
家族的程序,往往更简洁,可以被看作比命令
式
程序更接近自然
语言
。 我只是想知道是否有人知道ASP的任何实际优点和缺点。
浏览 8
提问于2022-03-22
得票数 1
回答已采纳
10
回答
为什么
编程
比赛的参赛者要使用C++和Java?
在整个比赛中使用的
语言
的分布可以在上看到。 在用C/C++
编程
几年之后,我最近爱上了Python,因为它的可读性/直接性。最近,我学习了函数
式
语言
,如OCaml,Scheme,甚至
逻辑
语言
,如Prolog。这些
语言
当然有它们的优点,在我看来,在某些情况下可以比C++和Java更容易地应用它们。例如,Scheme使用call/cc简化了回溯(回答几个问题所需的工具)和Prolog的
逻辑
规范,尽管由于其蛮力性质而效率低下,但可
浏览 181
提问于2010-08-01
得票数 94
回答已采纳
2
回答
逻辑
编程
与函数
编程
在gcd实现上的区别
、
、
、
、
我目前正在学习
编程
语言
的概念和语用,因此我觉得我需要帮助来区分声明性
语言
家族的两个分支。我不明白的是: 我们应该在哪里做出区别,以便将它们归类为函数
式
编程
语言
或基于
逻辑
的
编程
语言
?
浏览 4
提问于2016-10-09
得票数 3
回答已采纳
1
回答
编程
真的是声明性的吗?
、
、
、
、
我一直在自学一些关于声明
式
编程
与命令
式
编程
的知识,我已经(可能是错误的)理解了声明
式
编程
或多或少就是抽象。这只是它的本质,还是有100%声明
式
的
语言
(我甚至不能开始概念化)? 如果我对这些概念的理解有误,请纠正我!
浏览 4
提问于2015-07-25
得票数 4
3
回答
什么是不同的
编程
语言
概念,哪些
语言
以纯的方式显示它们?
、
我不是
语言
专家,但我最近对
语言
有了深入的了解,并试图了解主要的概念和“他们的”
语言
。这与类似。首先,主要的
编程
语言
概念是什么?结构化 (绝对不完整的名
浏览 7
提问于2010-11-02
得票数 5
回答已采纳
6
回答
一种比Prolog更新的
逻辑
编程
语言
、
、
有没有比Prolog更新的专门用于
逻辑
编程
的
语言
?
浏览 0
提问于2011-01-17
得票数 15
2
回答
将需求规范转换为功能
编程
的谓词
逻辑
是一种常见的做法吗?
、
、
、
、
来自OO/命令
式
背景,我习惯于在编码之前将需求/用户故事转换为用例和序列图。 但是,我被分配给Haskell项目时,团队倾向于将用户需求转换为谓词
逻辑
命题/语句。我知道在安全关键系统和软件工程的形式化方法中使用了
逻辑
,但在日常
编程
中却没有这么多。这是FP领域中常见的做法吗?我在哪里能学到更多这方面的知识?搜索“函数
编程
中的需求规范”(以及不同的关键字同义词和组合)没有任何意义。
浏览 0
提问于2015-03-17
得票数 8
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
热门
标签
更多标签
云服务器
ICP备案
对象存储
云直播
腾讯会议
活动推荐
运营活动
广告
关闭
领券