腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
4
回答
C
++中的辅助函数是什么?
c++
、
terminology
我试图从Bjarne的“
C
++
编程
语言
”中了解
C
++中的“
助手
函数”。但是这本书并没有解释任何关于它的内容,以及在课堂上使用它的目的。我试着在网上搜索它,发现了便条:死链接。我知道它的要点,但还不清楚帮助者函数的真正目的是什么,我什么时候应该使用它们,总的来说,什么是
助手
函数?
浏览 5
提问于2013-10-09
得票数 29
回答已采纳
1
回答
Coq可以做什么,而Agda/Idris不能做?
coq
、
agda
、
idris
Coq是一个证明
助手
,而Agda/Idris是
编程
语言
(尽管它们可以被称为证明
助手
)。 我正在探索这些
语言
,我想知道Agda/Idris是否足以做Coq所能做的一切。
浏览 21
提问于2017-12-16
得票数 9
回答已采纳
5
回答
学习“如何思考函数式”的建议?
functional-programming
、
erlang
作为函数式
语言
的新手(我几周前开始接触Erlang --我能接触到的第一种函数式
语言
)。 我开始写一些小的算法(如left_rotate_list,bubble_sort, merge_sort等)。我发现自己经常迷失在诸如“我是否应该使用
助手
列表来存储中间结果?”之类的决策中。和“我应该创建一个
助手
函数来做这件事吗?”过了一段时间,我发现函数式
编程
(如果我所说的一点意义都没有)鼓励“自顶向下”设计:即,当我执行merge_sort时,您首先写下所有的合并排序步骤,并将它们命名为单独的
助手</em
浏览 1
提问于2009-10-10
得票数 11
回答已采纳
1
回答
仅为数学证明助理
proof
、
agda
、
idris
、
proof-of-correctness
、
isar
大多数验证
助手
都是带有依赖类型的函数式
编程
语言
。他们可以证明程序/算法。相反,我感兴趣的是最适合数学的证明
助手
(例如微积分)。你能推荐一个吗?像Agda和Idris这样的新
语言
对数学证明有多好?
浏览 3
提问于2015-02-16
得票数 7
回答已采纳
2
回答
规范
语言
vs
编程
语言
coq
、
formal-languages
Coq有一种Gallina形式的规范
语言
。据我所知,Coq本身是用OCaml编写的。 我的问题是,Gallina什么时候开始发挥作用?它是用来做什么的,为什么?我想我误解了规范
语言
和
编程
语言
的使用。
浏览 39
提问于2019-08-14
得票数 1
1
回答
Windows Vista语音识别引擎采样率
windows-vista
、
speech-recognition
、
wave
、
sampling
你知道什么方法可以将WAV文件从一种采样率转换到另一种采样率,从
C
#? 谢谢!
浏览 2
提问于2010-06-30
得票数 0
回答已采纳
1
回答
如何用javascript或
C
语言
调用键盘键
javascript
、
c++
、
keyboard
我试图找出一种方法,以
编程
方式按下操作系统(Windows)可以读取的键,而不是将字符打印为字符串。目标:制作一个小型的独立
助手
应用程序,在特定时间自动按下热键,以改变由一台Windows控制的建筑物内的照明。如果javascript有能力的话,我想编写应用程序,或者编写
C
语言
。
浏览 1
提问于2015-09-05
得票数 0
回答已采纳
2
回答
c
++中的帮助器函数和抽象
c++
、
oop
、
inheritance
、
abstraction
考虑到16.3.2 Bjarne Stroustrup的
c
++
编程
语言
的Helper函数假设我们有一个接口 namespace IO class IImge public:public IImge public: } } 假设我们想要添加一个
助手
函数
浏览 14
提问于2019-10-14
得票数 1
回答已采纳
1
回答
从主XAML表单切换到第二个XAML表单的
C
++代码是什么?
xaml
、
visual-studio-2015
、
uwp
、
c++-cx
、
uwp-xaml
我在网上查看过,它告诉我如何使用
c
#,而不是
c
++。this.Frame.navigate(typeof(page.IncomeForm)); 有人能帮忙吗?
浏览 1
提问于2016-07-06
得票数 0
回答已采纳
2
回答
如何在Eclipse中创建编译器/编辑器?
eclipse
、
compiler-construction
、
editor
、
eclipse-plugin
我的问题有些具体,但我需要的答案是一般性的:我必须使用一种轻量级的专有
语言
来在工作中编写代码,它只有一个基本的文本编辑器,并突出了语法。因为我需要做大量的测试,所以我想为
语言
创建一个Eclipse插件,这样我就可以使用内置的调试并逐步完成程序。我发现了一些有趣的站点,它们详细介绍了如何添加对自己
语言
的支持,但我是新手,不知道这需要多少工作,也不知道从Eclipse工具获得多少支持。如果我增加了对
语言
的支持,有人能告诉我是否会充分利用调试工具(如果允许我访问完整的
语言<
浏览 4
提问于2009-11-16
得票数 1
回答已采纳
2
回答
在类中包装所有函数是"Python-esque“吗?
python
、
class
、
oop
、
encapsulation
在其他
编程
语言
(特别是像
C
++和
C
#这样的编译
语言
)中,我习惯于用类包装我的所有函数。也就是说,在我的网络抓取示例中,我会有一个类似于"WebScraper“的类,然后在该类中保存所有函数。如果需要实例化原始"WebScraperManager“类的多个实例,甚至可以创建像"WebScraper”这样的第二个
助手
类。 不过,这就引出了我目前的问题。在目前的例子中,相似的逻辑是否成立?
浏览 5
提问于2016-10-11
得票数 1
回答已采纳
1
回答
C
语言
编程
c
我还在开始学习
C
编程
。 所以我想要做的是找出"Red“会在屏幕上打印多少次。
浏览 4
提问于2020-05-11
得票数 0
1
回答
为从技能连接提供的某些区域性不可用或不受您的VA支持
botframework
、
bots
我按照虚拟
助手
模板教程(
C
#)向我的机器人添加了一项技能,但当我尝试将技能连接到
助手
时,它出错并显示以下错误。我正在使用botskills@1.0.14。我的虚拟
助手
部署在清单中提到的所有
语言
中。
浏览 28
提问于2020-04-23
得票数 1
1
回答
用于Python包的
C
助手
程序
python
、
c
、
distutils
我正在编写一个Python包,在正常操作中,它需要运行一个用
C
语言
编写的
助手
程序。 注:将实际代码(特别是
C
助手
)移植到Windows需要重写90%以上,所以我只关心如何在Unix上安装。
浏览 4
提问于2015-06-08
得票数 1
1
回答
生成带自定义时间的Mongo ObjectId (_id)?
mongodb
、
objectid
我正在将一系列文章从MySQL移植到Mongo DB。我知道Mongo生成的_id字段有创建时间,可以提取,也可以对其进行查询。正因为如此,我想使用它从MySQL获得我的created_time INT时间戳。在移动我的数据时,有没有办法为Mongo生成一个_id,它将具有我目前在单独字段中记录的时间戳?
浏览 0
提问于2013-03-18
得票数 3
回答已采纳
17
回答
在Haskell之后要学习什么
语言
?
haskell
、
programming-languages
作为我的第一门
编程
语言
,我决定学习Haskell。我是分析哲学专业的学生,Haskell允许我快速而正确地创建感兴趣的程序,例如,用于自然
语言
解析的转换器、定理证明器和解释器。尽管我只做了两个半月的
编程
,但我发现Haskell的语义和语法比更传统的命令式
语言
更容易学习,并且(现在)对它的大部分构造感到很舒服。 然而,在Haskell中
编程
就像巫术一样,我想扩展我的
编程
知识。我想选择一种新的
编程
语言
来学习,但我没有足够的时间去选择一种任
浏览 104
提问于2010-09-22
得票数 85
回答已采纳
1
回答
D-构造函数上的访问修饰符实际上是做什么的?
d
语言
引用甚至在构造函数部分中都没有提到访问修饰符。 因此,问题有两个:当访问修饰符应用于构造函数时(如果它做了任何事情),访问修饰符会做什么,以及如何隐藏一个ctor?
浏览 3
提问于2017-08-16
得票数 2
回答已采纳
2
回答
Siri
编程
语言
iphone
、
artificial-intelligence
、
siri
、
sirikit
据说他们甚至专门为它开发了一种新的
编程
语言
。 我在任何地方都找不到关于它的信息。唯一可能的线索是学术论文,但我不在大学网络中,所以我无法访问其中的大多数。
浏览 6
提问于2011-10-07
得票数 32
回答已采纳
3
回答
依赖类型(例如Coq或Agda)启用的
编程
风格的名称是什么?
coq
、
specifications
、
dependent-type
、
formal-methods
、
curry-howard
然后,编写程序,但是--这是这种
编程
风格和其他
编程
风格之间的关键区别--这个编写任务的每一步都在某种程度上由您在前一步中编写的规范所指导。这个指导是如何发生的?在Coq中,您有一种元
编程
语言
(Ltac),它允许您在幕后构建实际程序的同时“细化”规范,而在Agda中,通过填充“漏洞”(我不确定它在Agda中是如何进行的,因为我主要习惯于Coq)来编写程序。这并不是每个人都喜欢的
编程
风格,但我想试着用通用、流行的
编程
语言
来练习它。至少在Coq中,我发现它相当容易上瘾! ..
浏览 8
提问于2020-12-24
得票数 1
1
回答
rails验证器的定义在哪里?
oop
、
ruby-on-rails-4
以及所有验证
助手
的定义在哪里?所有这些验证文件都在哪里?我知道Rails是纯面向对象的
编程
语言
。谢谢。
浏览 2
提问于2015-06-17
得票数 0
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
C语言编程之C语言加密字符
C语言推箱子源码分享,C语言兴趣视频教程,C语言编程,C语言可视化编程
C语言编程错误提示,献给初学C语言编程的你们
从C语言实战谈C语言编程
聊聊C语言/C加加—程序和编程语言
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券