腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
3
回答
依赖类型(例如Coq或Agda)启用的
编程
风格
的名称是什么?
、
、
、
、
然后,编写程序,但是--这是这种
编程
风格
和其他
编程
风格
之间的关键区别--这个编写任务的每一步都在某种程度上由您在前一步中编写的
规范
所指导。这个指导是如何发生的?在Coq中,您有一种元
编程
语言
(Ltac),它允许您在幕后构建实际程序的同时“细化”
规范
,而在Agda中,通过填充“漏洞”(我不确定它在Agda中是如何进行的,因为我主要习惯于Coq)来编写程序。这并不是每个人都喜欢的
编程
风格
,但我想试着用通用、流行的
浏览 8
提问于2020-12-24
得票数 1
6
回答
为什么
编程
语言
不把样式和内容分开呢?
我理想的
编程
语言
将允许我定义一个定制的css,它将根据我的列/空格/括号位置等
规范
来布局代码,并且只签入内容。每个人都有自己的布局,因此我们避免了所有冗长的关于
风格
的讨论。一种能够根据我的
风格
要求对变量名称/函数名进行重构的
语言
会更好。另一个可以翻译成当地
语言
的
语言
将是非常棒的! 有
C
/
C
++这种
语言
变体吗?这有什么负面影响呢?
浏览 0
提问于2011-05-19
得票数 -2
回答已采纳
1
回答
java
编程
风格
与Objective
c
、
、
、
我是一个对objective
c
非常有信心的iOS程序员,我也很自然地用Java
语言
编程
。我正在扩展到android
编程
,并且想知道不同的
编程
方法。我在许多不同的文章中读到过,Java
风格
的
编程
和Objective
c
/
c
++
风格
的
编程
有很大的不同。虽然我知道
语言
是不同的。
浏览 1
提问于2012-02-10
得票数 0
回答已采纳
4
回答
作为web开发人员保持
C
/
C
++/Java技能
、
、
、
在我上大学的时候,我学会了如何用
C
、
C
++和Java
编程
。目前,我是一个使用前端和后端技术(HTML/CSS/JS、PHP、MYSQL)的web开发人员。虽然我在大学里学到的排序算法和面向对象( OOP )概念可以应用于网络开发,但我正在寻找方法来保持我对所有
语言
的知识。我喜欢用
C
风格
(
C
/
C
++/Java)
语言
和前端/后端技术
编程
.不幸的是,没有很多选择使用
浏览 0
提问于2012-09-08
得票数 6
回答已采纳
2
回答
C
++
语言
扩展
有没有人确切地(我的意思是正式地)知道什么是
C
++
语言
扩展。因此,重点是类似于正式定义的东西。
浏览 3
提问于2010-01-19
得票数 2
1
回答
它的意思是"IronPython是programming
语言
的实现“
、
、
、
、
我知道问题看起来很宽泛,而且很主观,但是到处都被IronPython的定义所困扰-- "IronPython是programming
语言
的一种实现“--请随意将其标记为重复,如果任何这样的帖子都能准确地回答这个问题到目前为止我对此的理解是: 1) IronPython.dll只不过是用IronPython.dll编写的托管库(
C
# ),并且使用CLR。3) IronPython.dll公开了.net与任何其他.net
语言
的代码集成。我确信我的理解是不正确的-- "IronPython是programming
语言
浏览 4
提问于2018-03-03
得票数 0
回答已采纳
3
回答
C
++和
C
#
规范
?
、
、
如果您想阅读
C
语言
的“源”,请使用Kernighan;Ritchie;0131103628编写的
C
编程
语言
但是如果你想读一本关于
C
++和
C
#上的“
规范
”的好书,你会读些什么呢?
浏览 3
提问于2009-09-17
得票数 1
回答已采纳
3
回答
函数式
语言
是一种程序派生吗?
、
、
程序派生定义为从程序的
规范
派生程序。通常这种
规范
语言
是某种形式的命题逻辑,但据我所知,它不必是。为了具体起见,我只处理像Haskell这样的纯函数式
语言
。例如,在产生Fibonacci数的函数中,所有这些都是Fibonacci数的
规范
,而不是函数应该如何实现的
规范
。fib :: int -> intfib 1 = 1要运行此代码,Haskell编译器必须将该函数的声明性
规范
转换为命
浏览 0
提问于2014-06-19
得票数 1
1
回答
IDE错误检测和自动完成的复杂性取决于
语言
语法吗?
、
是否需要更少的检查/不那么严格的代码分析来为主要由人类可读的短语和单词组成的
编程
语言
(例如Python、VB.NET)提供开发环境错误反馈和自动完成?这与
C
风格
的
语言
不同,
C
风格
的
语言
更多地依赖于符号和标点符号作为代码结构。
浏览 1
提问于2012-05-22
得票数 6
回答已采纳
6
回答
语言
特性vs框架特性
、
、
我想知道如何在
编程
语言
特性和平台特性之间划清界限。 例如,Linq是
C
#
语言
特性还是.NET特性。
编程
语言
是否像平台的
规范
一样工作?
浏览 1
提问于2010-11-03
得票数 5
回答已采纳
2
回答
依赖默认的字段初始化-是糟糕的
编程
风格
吗?
、
、
然而,依赖这种默认值通常被认为是糟糕的
编程
风格
。 然而,依赖这种默认值通常被认为是糟糕的
编程
风格
。但是,哦,天哪,我想说,这是
语言
规范
的一个基本部分,因为它知道实例变量有默认值。如果即使在Java库源代码中也广泛使用,为什么这是一个糟糕的
编程
实践呢?
浏览 1
提问于2019-10-18
得票数 20
回答已采纳
2
回答
如何为函数式
编程
语言
编写伪代码?
、
、
、
如何为Scheme或Haskell等函数式
编程
语言
编写伪代码?我搜索的所有内容都是
C
风格
或Python
风格
的伪代码。
浏览 2
提问于2016-09-02
得票数 3
1
回答
模块化的XML文件和嵌套过程
、
、
大多数
编程
语言
都有某种形式的。
C
有#include宏,Python有from-import-as...在之后,我很想知道是否有任何类似Pascal过程的可能性,这些过程不返回任何值,但在给定一些变量的情况下运行一段代码,用于XML或它们的任何
风格
我完全知道XML本身不是一种
编程
语言
,但其他标记
语言
有某种形式的包含功能(例如,LaTeX、MultiMarkDown、AsciiDoc、reStructuredText )。更多信息( )。
浏览 4
提问于2019-10-12
得票数 1
1
回答
DOM
语言
是如何独立的?
、
、
、
、
引用维基百科为了提供一个精确的、与
语言
无关的DOM接口
规范
,我们选择在OMG IDL中定义
规范
。现在,我一直在用Java、
C
#和PHP进行
编程
,在所有这些
语言
中都提供了关键字interface,但是如何实现一个与
语言
无关的接口呢? 为什么不用
编程
语言
就可以编写接口呢?此外,
浏览 0
提问于2012-12-05
得票数 5
回答已采纳
2
回答
在函数式
编程
语言
中使用对象有什么好处?
在函数式
编程
语言
中使用对象的有效理由是什么?我看到f#是一种函数式
编程
语言
,在处理类的.net生态系统时,它在对象端提供了大量支持。但是,除了与其他可能用
c
#编写的程序集/程序的交互之外,为什么有人会选择使用对象来在面向函数的
语言
或
风格
中分解程序? 混合一种程序
风格
是有帮助的还是有障碍的?
浏览 0
提问于2011-02-02
得票数 4
1
回答
是否有任何由引用实现定义的
编程
语言
?
一些主要的
编程
语言
(见下面的列表)是由
规范
定义的。但原则上,您也可以通过实现引用编译器/解释器来定义
语言
。(我不想说这是个好主意。)但我很好奇:程序设计
语言
规范
列表
C
:
浏览 4
提问于2014-03-16
得票数 1
2
回答
操作变量的地址来存储较小的类型?
、
、
这就是我享受高级
编程
语言
的好处。 // ...我认为这将是一种
规范
、安全的
风格
:// ...
浏览 5
提问于2010-06-07
得票数 0
回答已采纳
1
回答
深入理解
编程
语言
及其
规范
和语法的资源
、
、
、
我是一名计算机工程师,所有关于
编程
和计算机
语言
的课程都是对
C
/Java和OOP的介绍。现在,我想阅读Java
语言
规范
来学习对Java
语言
的深入理解,但我明白
规范
中有一些类似语法的描述,我对此一无所知。我应该学习什么才能深入理解
编程
语言
(特别是
规范
元素,如语法)?我错过了一些计算机科学课程吗?还是我应该凭直觉理解一切? 我在考虑读一些关于编译器的书,但我觉得最好还是向专家请教一下吧!
浏览 0
提问于2013-11-23
得票数 2
回答已采纳
1
回答
如何为
C
++应用ReSharper终极命名样式
、
、
、
我不知道如何在Resharper Ultimate Extension for Visual Studio 2015 Update 3中为
C
++
语言
应用命名
风格
。我的操作系统是Windows10。其他
语言
(如
C
#)都工作得很好,而我的
C
++
语言
只有这个问题。在ReSharper>Options>Code Editing>
C
++>Naming
风格
中,我规定类名都是小写的。我知道ReSharper应该发现不符合<e
浏览 18
提问于2017-02-13
得票数 0
回答已采纳
4
回答
在过去的十年中,你对
C
编程
实践的想法发生了怎样的变化?
、
他们不仅每两年接受一次重要的框架修订,每五次处理一次新的和改进过的
语言
,而且还能处理为他们的
编程
风格
量身定制的设计实践。从测试驱动开发到设计模式,面向对象的程序员有很多需要跟上的。相比之下,
C
编程
世界似乎要平静得多。上一次对该
语言
的重大修订是在1999年,下一次很可能就不那么令人印象深刻了。K&R第二版仍然被许多人认为是一个很好的介绍性文本,尽管现在已经二十岁了。如果我们,作为
C
程序员,已经开发和改进了我们的技能和实践(我认为我们可能已经),我们似乎不太擅长与他
浏览 1
提问于2009-07-16
得票数 10
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
嵌入式C语言编程规范
养良好C语言编程风格,编优质C语言代码,这才是C语言的开始
新手学习C语言/C加加编程,养成良好的代码风格
C+编程规范
新手程序员必备的开源项目风格:C/C+命名规范!
热门
标签
更多标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM
活动推荐
运营活动
广告
关闭
领券