然后，编写程序，但是--这是这种编程风格和其他编程风格之间的关键区别--这个编写任务的每一步都在某种程度上由您在前一步中编写的规范所指导。这个指导是如何发生的?在Coq中，您有一种元编程语言(Ltac)，它允许您在幕后构建实际程序的同时“细化”规范，而在Agda中，通过填充“漏洞”(我不确定它在Agda中是如何进行的，因为我主要习惯于Coq)来编写程序。这并不是每个人都喜欢的编程风格，但我想试着用通用、流行的
浏览 8提问于2020-12-24得票数 1
我理想的编程语言将允许我定义一个定制的css，它将根据我的列/空格/括号位置等规范来布局代码，并且只签入内容。每个人都有自己的布局，因此我们避免了所有冗长的关于风格的讨论。一种能够根据我的风格要求对变量名称/函数名进行重构的语言会更好。另一个可以翻译成当地语言的语言将是非常棒的！
有C/C++这种语言变体吗？这有什么负面影响呢？
浏览 0提问于2011-05-19得票数 -2
回答已采纳
1回答
我是一个对objective c非常有信心的iOS程序员，我也很自然地用Java语言编程。我正在扩展到android编程，并且想知道不同的编程方法。我在许多不同的文章中读到过，Java风格的编程和Objective c/ c++风格的编程有很大的不同。虽然我知道语言是不同的。
浏览 1提问于2012-02-10得票数 0
回答已采纳
4回答
在我上大学的时候，我学会了如何用C、C++和Java编程。目前，我是一个使用前端和后端技术(HTML/CSS/JS、PHP、MYSQL)的web开发人员。虽然我在大学里学到的排序算法和面向对象( OOP )概念可以应用于网络开发，但我正在寻找方法来保持我对所有语言的知识。我喜欢用C风格(C/C++/Java)语言和前端/后端技术编程.不幸的是，没有很多选择使用
浏览 0提问于2012-09-08得票数 6
回答已采纳
我知道问题看起来很宽泛，而且很主观，但是到处都被IronPython的定义所困扰-- "IronPython是programming语言的一种实现“--请随意将其标记为重复，如果任何这样的帖子都能准确地回答这个问题到目前为止我对此的理解是:
1) IronPython.dll只不过是用IronPython.dll编写的托管库( C# )，并且使用CLR。3) IronPython.dll公开了.net与任何其他.net语言的代码集成。我确信我的理解是不正确的-- "IronPython是programming语言
浏览 4提问于2018-03-03得票数 0
回答已采纳
3回答
如果您想阅读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
是否需要更少的检查/不那么严格的代码分析来为主要由人类可读的短语和单词组成的编程语言(例如Python、VB.NET)提供开发环境错误反馈和自动完成？这与C风格的语言不同，C风格的语言更多地依赖于符号和标点符号作为代码结构。
浏览 1提问于2012-05-22得票数 6
回答已采纳
6回答
我想知道如何在编程语言特性和平台特性之间划清界限。
例如，Linq是C#语言特性还是.NET特性。编程语言是否像平台的规范一样工作？
浏览 1提问于2010-11-03得票数 5
回答已采纳
然而，依赖这种默认值通常被认为是糟糕的编程风格。
然而，依赖这种默认值通常被认为是糟糕的编程风格。但是，哦，天哪，我想说，这是语言规范的一个基本部分，因为它知道实例变量有默认值。如果即使在Java库源代码中也广泛使用，为什么这是一个糟糕的编程实践呢？
浏览 1提问于2019-10-18得票数 20
回答已采纳
2回答
如何为Scheme或Haskell等函数式编程语言编写伪代码？我搜索的所有内容都是C风格或Python风格的伪代码。
浏览 2提问于2016-09-02得票数 3
1回答
大多数编程语言都有某种形式的。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
回答已采纳
在函数式编程语言中使用对象的有效理由是什么？我看到f#是一种函数式编程语言，在处理类的.net生态系统时，它在对象端提供了大量支持。但是，除了与其他可能用c#编写的程序集/程序的交互之外，为什么有人会选择使用对象来在面向函数的语言或风格中分解程序？
混合一种程序风格是有帮助的还是有障碍的？
浏览 0提问于2011-02-02得票数 4
一些主要的编程语言(见下面的列表)是由规范定义的。但原则上，您也可以通过实现引用编译器/解释器来定义语言。(我不想说这是个好主意。)但我很好奇：程序设计语言规范列表
C:
浏览 4提问于2014-03-16得票数 1
1回答
我是一名计算机工程师，所有关于编程和计算机语言的课程都是对C/Java和OOP的介绍。现在，我想阅读Java语言规范来学习对Java语言的深入理解，但我明白规范中有一些类似语法的描述，我对此一无所知。我应该学习什么才能深入理解编程语言(特别是规范元素，如语法)？我错过了一些计算机科学课程吗？还是我应该凭直觉理解一切？
我在考虑读一些关于编译器的书，但我觉得最好还是向专家请教一下吧！
浏览 0提问于2013-11-23得票数 2
回答已采纳
1回答
我不知道如何在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
回答已采纳
他们不仅每两年接受一次重要的框架修订，每五次处理一次新的和改进过的语言，而且还能处理为他们的编程风格量身定制的设计实践。从测试驱动开发到设计模式，面向对象的程序员有很多需要跟上的。相比之下，C编程世界似乎要平静得多。上一次对该语言的重大修订是在1999年，下一次很可能就不那么令人印象深刻了。K&R第二版仍然被许多人认为是一个很好的介绍性文本，尽管现在已经二十岁了。如果我们，作为C程序员，已经开发和改进了我们的技能和实践(我认为我们可能已经)，我们似乎不太擅长与他
浏览 1提问于2009-07-16得票数 10
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
