腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
视频
沙龙
2
回答
如果一种编程语言有数据类型但没有运算符重载,那么它还能被称为“类型化”吗?
、
、
、
、
如果我们有一种编程语言强制您为变量设置数据类型,例如: int i; float f; 但是没有操作符重载,因此,例如,不是使用+操作符将int添加到int或float添加到float,而是使用一个操作符将int添加到int (例如:+),并使用另一个操作符将float添加到<代码>D10</float>(例如:#+)。 请注意,这种编程语言仍然具有类型安全性,因此,例如,如果您尝试使用#+运算符将float添加到int中,则会出现编译错误。 这样的编程语言还能被称为“类型化”编程语言吗?
浏览 0
提问于2019-04-28
得票数 0
5
回答
什么使编程语言具有动态性?
、
、
什么使编程语言有资格被称为动态语言?我应该使用动态编程语言来解决什么类型的问题?静态编程语言和动态编程语言之间的主要区别是什么?
浏览 4
提问于2011-02-06
得票数 45
回答已采纳
2
回答
动态/静态语言和编译器/解释器
、
、
、
、
我有一些问题: 动态编程语言总是被解释的?我想是的,但为什么? 是否有任何带有静态类型系统的动态语言? 带有静态类型系统的编程语言总是被编译的? 换句话说,在以下几个方面之间是否真的有联系: 静态/动态打字系统与静态/动态语言 静态/动态类型系统和编译器/解释器 静态/动态语言和编译器/解释器
浏览 3
提问于2014-01-04
得票数 3
回答已采纳
4
回答
动态语言和静态语言(这两种语言可以放在一起吗)
、
、
、
编程语言分为两大类:“动态”和“静态”。-编程语言总是这样吗?我的意思是,一种语言可以同时是动态和静态的吗?
浏览 6
提问于2009-11-26
得票数 3
回答已采纳
3
回答
"Java编程语言类型“的定义是什么?
、
、
、
搜索web时,我没有找到"Java编程语言类型“这一术语的定义。当我读的时候,我经过了好几次 有时我认为所有Java类都是这个表达式的意思,包括我自己定义的那些类,有时我认为只有那些随Java附带的类。 如果"Java编程语言类型“只是任何Java类,他们为什么在这里使用这样的表达式?我还发现了"Java编程语言类“这个术语,但我认为这两件事的含义是一样的。
浏览 6
提问于2016-02-13
得票数 3
回答已采纳
3
回答
除了Caledon之外,还有其他基于haskell的HOL编程语言吗?
、
、
有基于高阶逻辑(HOL)的编程语言和定理证明器。例如、、。例如,12 is既是一种编程语言,也是一种定理证明器,而Isabelle主要是一种定理证明器,但是对于Isabelle来说,代码提取是可用的。 我正在寻找一个基于haskell的HOL编程语言。原因是我非常喜欢lambda,但它并不是一种实用的编程语言。Lambda缺乏一个标准库,与外部库的接口看起来并不简单。问题是,如果您需要一些功能,比如为文本文件编写解析器,那么就不能与haskell的许多可用的现有库进行接口,而且也没有标准库,因此您可以从头开始。 今天,我遇到了作为硕士论文实现的编程语言。来自github页面: Caledon
浏览 3
提问于2015-01-09
得票数 7
回答已采纳
8
回答
编程语言的显著特征
、
除了每种语言的语法(例如print v.echo)之外,为了区分一种编程语言,还需要注意哪些关键的独特特征? 作为编程新手,我仍然困惑于每种编程语言的优缺点,以及如何区分它们,而不是常见本机函数的别名。我认为基于一组独特的特征对语言进行分类要容易得多,例如OOP和Functional。
浏览 0
提问于2010-11-20
得票数 7
回答已采纳
2
回答
静态类型语言和动态类型语言有什么区别?
听到很多新的编程语言是动态类型的,但是当们说一种语言是动态类型的还是静态类型的时候,这实际上意味代码有什么区别呢?
浏览 2012
提问于2017-12-21
16
回答
静态类型语言和动态类型语言之间的区别是什么?
、
、
、
我听说很多新的编程语言都是动态类型的,但是当我们说一种语言是动态类型还是静态类型时,这到底是什么意思呢?
浏览 7
提问于2009-10-05
得票数 1079
回答已采纳
2
回答
JavaScript是“动态的”是什么意思?
、
、
我从不同的来源(例如wiki、文章等)阅读过。在编程意义上的动态意味着什么。谈到了动态编程语言如何在运行时执行某些编程行为(而不是静态语言的编译时),但他们的解释很含糊,并且谈到了这些行为在所有编程语言的难度、复杂性和性能成本方面的变化。 那么,关于JavaScript,它是动态的,这意味着什么? 在这一点上我可能完全错了,但我也认为JavaScript是一种动态类型的语言,因为你在实例化变量/函数(例如var,函数jsFunction())之前没有声明类型,而不是像Java这样的静态类型语言,在实例化变量/函数(例如int var,public int function())之前定义类型。
浏览 1
提问于2015-09-09
得票数 26
回答已采纳
1
回答
脚本还是编程语言?
、
、
可能重复: 编程语言和脚本语言有什么区别?我研究C/C++已经有一段时间了,现在我开始研究Python,有人告诉我它是一种很好的脚本语言。 但是随着我的学习,我发现到目前为止用C可以完成的所有事情都可以用Python完成!那么脚本语言和编程语言之间的真正区别是什么呢?
浏览 4
提问于2011-09-29
得票数 0
3
回答
函数式和纯编程语言
、
哪些编程语言是函数式的纯编程语言?
浏览 2
提问于2011-01-16
得票数 1
3
回答
动态类型语言(如)是否进行任何动态类型检查?
、
如果我们看看维基百科中“动态类型编程语言”的定义,它会说: 编程语言包括动态类型检查而不是静态类型检查,通常被称为“动态类型编程语言”。 和 动态类型检查是在运行时验证程序类型安全性的过程.动态类型检查语言的实现通常将每个运行时对象与包含其类型信息的“类型标记”(即对类型的引用)关联起来。此运行时类型信息(RTTI)还可用于实现动态调度、后期绑定、下传、反射和类似功能。 但是问题是,当使用时,我从来没有看到类型被“检查”。 在我之前看过的一段视频中,作者说静态类型只是指定义/声明和编译变量的类型,不能更改,而动态类型意味着在程序运行时变量的类型可以随时更改,我看到它描述静态/动态类型非常清楚和
浏览 0
提问于2016-01-10
得票数 1
5
回答
为什么C不是动态语言?
、
、
、
如我所知,在C中,我们可以使用函数指针,这是在运行时(1)调用的。 根据维基百科的定义: 动态编程语言是计算机科学中广泛使用的术语,用来描述一类高级编程语言,在运行时执行其他语言在编译过程中可能执行的许多常见行为。 所以我的问题是,为什么C不是提供(1)中的特性的动态语言?
浏览 8
提问于2010-11-05
得票数 6
回答已采纳
1
回答
值和对象不同的编程语言
、
、
、
我正在尝试开始学习Alex Stepanov和Paul McJones的《编程元素》。关于Page5的最后一段:他们说, “本书使用的编程语言无法将值和值类型描述为独立于对象和对象类型。” 我的意思是,有人可以举一个编程语言的例子,在这种语言中,可以将值描述为独立于对象的实体。
浏览 1
提问于2012-12-04
得票数 8
3
回答
什么是动态输入错误?
、
、
在编程方面,我对并不持有强烈的看法,我认为它们都有其适当的用途。 我总是尽可能多地阅读我能掌握的编程语言,这样我就可以把最好的想法拿出来比较(从Haskell到Lisp,再到C到Erlang)。 但是有件事一直困扰着我,基本上,当我读到静态类型和动态类型之间的比较时,动态类型的一个缺点是“bug”出现了,因为编译器无法检查变量的类型。 现在,我在编程时有很多bug,但是我从来没有因为这样的事情而有过一个bug,实际上我很难想象这样一个bug的例子会是什么。就像忘记了你用的是整数而不是字符串?不过,这看起来太做作了. 我设计程序是为了一种爱好,而不是谋生,所以也许只有当人们用不同的方式思考事物时
浏览 3
提问于2012-02-11
得票数 1
回答已采纳
6
回答
(强与弱)类型语言和(静态和动态)类型语言和摩尔定律
、
、
我不知道有多少人面临这个问题。如果我用弱/动态类型化语言(如python、php、javascript )编程几天,我就会与强类型语言(如c++、.net、Java )失去联系。我最近听说了像python和ruby这样的语言,人们喜欢用它们编程。 在弱/动态类型语言中编程非常容易,但有可能与c++、Java等语言失去联系。处理器现在变得非常强大,根据的说法,它将以指数级的速度增长。因此,效率可能不是问题,因为当我们从嵌入式转向高级语言(如c++、java )时,也会发生类似的事情。 那么,世界正在向弱/动态类型语言转变吗? 弱/动态类型化语言将来会取代强类型化语言吗? 在哪些字段中
浏览 13
提问于2009-10-10
得票数 0
回答已采纳
1
回答
编程语言提供的原始操作?
、
、
我正在学习edX的MIT6.00.1x课程,在课程中,Grimson教授谈到了一种编程语言的原语。 它实际上意味着什么?第二,它与编程语言的标记有何不同? 请参照Python语言回答。
浏览 3
提问于2017-01-13
得票数 2
回答已采纳
1
回答
Scala作为泛型编程语言
、
、
在Garcia等人的论文“泛型编程语言支持的扩展比较研究”中。对泛型编程的编程语言特性进行了有趣的比较: 📷 对术语作简要解释: 📷 有人能在这个框架内测试Scala对泛型编程的支持吗?也就是说,在第一个表中添加一个列,并在可能的情况下进行解释。
浏览 0
提问于2012-11-24
得票数 14
回答已采纳
3
回答
哪些其他语言允许程序员使用接口作为函数参数?
、
、
、
、
让我解释一下: 我知道,in Java,您可以这样做: int myMethod(Burnable obj){ /*do stuff that's only applicable if the argument implements the Burnable *interface */ } 我最喜欢用编程,我也不确定是否也能用编程。 此外,我还想知道其他哪些可以合理地将语言作为主流语言来实现这一点,因为在我看来,这是将模块化构建到代码中的一种方法。 谢谢
浏览 1
提问于2011-03-17
得票数 1
回答已采纳
8
回答
有多少种编程语言?
基本上,我想学习很多编程语言,成为一个伟大的程序员。我只知道少数深入,我希望有人能详细说明有多少类或类型的编程语言。比如,如果你必须分组学习,你就会把它们拼凑在一起。 来自Java背景,我熟悉静态类型,但我知道,除了动态类型之外,在可用的语言中也必须有这样的多样性,如果可能的话,我希望看到一个分类分类。
浏览 0
提问于2010-11-09
得票数 31
回答已采纳
3
回答
在哪里可以找到权威的计算机语言比较?
、
在我的职业生涯中,我想把自己看成不是“{x}工程师”,因为{x}是一种特定的编程语言,我更想成为一名语言不可知论的软件工程师。 显而易见的下一步是开始学习尽可能多的语言来积累经验,但是一天中只有那么多的时间,我宁愿以一种更有效的方式来学习。而且,我的最终目标不是实际精通20种语言,而是更深入地了解编程语言之间的变化,以及它们所做的权衡和设计选择以及原因。 在深入了解细节之前,我往往会更好地学习,当我能够首先看到一个主题景观的概述。有一个好的,长形式的(即,不是博客文章)的比较语言分析工作,能很好地探索编程语言特性的变化吗?或者,也可能是一篇关于编程语言设计的好文章?
浏览 0
提问于2013-09-13
得票数 5
回答已采纳
6
回答
静态编程语言与动态规划语言的区别
、
、
、
静态和动态编程语言有什么区别?我知道这一切都是关于类型系统,但我正在寻找更明确的澄清。
浏览 9
提问于2013-12-13
得票数 61
回答已采纳
5
回答
同伦型理论
、
、
、
Lisp具有同音的特性,即语言实现(Lisp)所使用的代码的表示也可供那些希望为自己的目的表示代码的程序使用,也可以用于这些程序。 另一种主要的函数式编程语言ML是基于类型理论的,这意味着语言实现需要更复杂的代码表示,而且对于允许您做的事情也不那么随意,因此通常程序无法使用内部表示。例如,用于高阶逻辑的验证检查器通常用ML族语言实现,但通常实现它们自己的类型理论系统,实际上忽略了ML编译器已经有了这样一个事实。 这有什么例外吗?任何基于类型理论的编程语言,公开它们的代码表示以供编程使用?
浏览 2
提问于2011-11-29
得票数 11
回答已采纳
3
回答
什么是全类型推断语言?以及这种语言的局限性?
、
、
、
、
据我所知,在编写函数或模块时不需要在源代码中编写类型注释的任何编程语言,如果代码块“类型正确”,编译器将推断类型并编译代码。还有更多吗? 有这样的语言吗?如果是,它的类型系统有什么限制吗? 更新1:为了让非常清楚,我问的是静态类型的、完全类型推断的编程语言,而不是动态类型的编程语言。
浏览 2
提问于2012-05-05
得票数 11
回答已采纳
1
回答
教会编码的目的是什么?
、
最近,我正在阅读关于Lambda微积分和丘奇编码的文章,虽然我对它们的含义形成了一种远程理解,但我很难找到使用高阶函数来表示数值或列表而不是直接使用数值或列表的目的。 在编程中,在教堂编码的表达式上执行Lambda演算会对机器的资源造成极大的负担,而且似乎是一种效率低得多的做任何事情的技术。我发现程序员通常认为这是糟糕的编程实践,除了Scheme或Haskell程序员,原因很奇怪。 是否有任何实际的理由使用教会编码?还是只对理论研究有用?
浏览 1
提问于2016-03-27
得票数 2
回答已采纳
3
回答
通用程序设计--它从何而来?
我试图找出泛型编程是否是一种函数编程特性,然后引入到Java、C++和C#中,还是后者从诸如Haskell、Lisp、OCaml等函数式编程语言中复制了它? 谷歌给了我很多关于什么是通用编程,但不是它的起源。我所能看到的就是Ada很早就实现了。 你会把它归类为函数式编程技术吗?
浏览 0
提问于2011-11-11
得票数 7
回答已采纳
1
回答
变语言
、
我们有一个多语种的网站&我想通过编程改变日历语言。 我能传递语言参数吗? Calendly.initInlineWidget({ url: 'https://calendly.com/testuser/test', }); 谢谢
浏览 3
提问于2022-08-18
得票数 0
2
回答
什么样的程序设计需要实际的范畴理论?
范畴理论在计算机理论科学中有着广泛的应用,显然是抽象数学的核心。我听说它在编程和软件开发方面也有直接的实际应用。 什么类型的编程是实际范畴理论所必需的?程序员使用类别理论来完成什么? 请注意我在这篇文章中使用了“必要”和“要求”。我意识到,从某种意义上说,大多数程序员都会从不同类型的理论中受益,但我在寻找的是使用范畴理论的直接应用,也就是说,如果你不懂范畴理论,你可能就做不到。 另外,我想澄清的是,通过“什么样的编程”,我对“函数式编程”这样的广泛答案的期望较低,而对“编写银行软件”或“制作操作系统”等特定应用程序的期望较低。
浏览 0
提问于2014-04-26
得票数 9
回答已采纳
6
回答
为什么编程语言需要这样的方式来声明变量呢?
、
、
、
我正在学习C语言,我也知道如何在Mathematica上编程。 在Mathematica上,我可以简单地通过以下代码声明一个变量: a=9 a="b" a=9.5 似乎Mathematica通过简单地阅读并找到它的某种模式,自然地理解了这是一种什么样的变量。(Int,char,float)。我猜Python也有同样的特性。 在C语言中,我必须首先说明它是什么: int num; char ch; float f; num=9; ch='b'; f=9.5; 我知道这一点扩展到了其他语言。所以我的问题是:为什么编程语言需要这种类型的变量声明? 关于这个主题的参考
浏览 7
提问于2012-08-30
得票数 1
1
回答
专业开发人员的基本语言范式
、
所以我想大部分(全部?)程序员开始学习一种主要是命令式/过程性的编程模式,并且可能在那之后不久就学会了某种形式的面向对象编程。我已经阅读了大量关于堆栈溢出的问题,这表明函数式编程对于改进并发/并行性越来越重要。此外,程序员应该学习许多范例,以提高他们的技能,拓宽他们的视野。 哪些其他范例(以及使用它的语言)对开发技能有真正的帮助?
浏览 5
提问于2010-07-22
得票数 2
4
回答
依赖注入是一种语言特性吗?
、
是否有任何现有的现代编程语言显式地将依赖注入作为一种语言功能,如果是,是否有任何示例说明这些编程语言如何使用其语法将程序依赖项与其具体实现分开? (请注意:我不是在寻找DI/IOC框架--我实际上是在寻找一种编程语言,该语言实际上内置了此功能)。
浏览 2
提问于2009-10-03
得票数 20
回答已采纳
1
回答
Kotlin能被定义为强类型语言吗?
、
从强类型语言的定义来看: 强类型编程语言是指每种类型的数据(如整数、字符、十六进制、填充十进制等)都预定义为编程语言的一部分,并且为给定程序定义的所有常量或变量必须用一种数据类型()来描述。 从kotlin文档中,我可以理解kotlin是一种静态类型的语言,因为变量的类型在编译时就知道了,但是强类型或弱类型又如何呢?我在谷歌上找不到任何明确的回应。据我所知,Kotlin应该和Java一样强类型,因为它可以编译成Java字节码,但我不能100%肯定。如果我在正确的道路上,请帮助我理解。
浏览 0
提问于2019-01-11
得票数 5
回答已采纳
7
回答
为什么动态类型经常与解释语言联系在一起?
、
、
、
、
简单的问题:我用编译语言(如C++/Java )和解释语言(如Python/Javascript )进行了大量的编程(专业的和个人的)。我个人发现,当我用静态类型语言编程时,我的代码几乎总是更健壮。但是,我遇到的几乎每种解释语言都使用动态类型(PHP、Perl、Python等)。我知道为什么编译语言使用静态类型(大多数时候),但我不明白在解释语言设计中对静态类型的反感。 为什么会出现这种陡峭的脱节?这是解释型语言的一部分吗?OOP?
浏览 1
提问于2009-09-08
得票数 44
回答已采纳
3
回答
有哪些类型级编程的例子?
、
、
、
我不明白“类型级编程”是什么意思,我也不能用Google找到合适的解释。 谁能提供一个演示类型级编程的示例?对范例的解释和/或定义将是有用和值得赞赏的。
浏览 2
提问于2014-06-30
得票数 36
回答已采纳
4
回答
有没有什么编程语言可以让你重新定义它的类型系统?
、
我正在寻找一种编程语言,它可以让你重新定义他们的类型系统,而不需要修改编译器。有没有什么东西可以让你这样做呢? 谢谢
浏览 0
提问于2010-09-30
得票数 4
1
回答
任何只支持泛型而不支持OOP的编程语言?
、
、
、
、
我正在写一篇关于OOP和Stepanov创建的泛型编程之间的紧张关系的论文。他对OOP进行了广泛的批评,并说与普通编程相比,OOP在技术上是有缺陷的。 现在我知道我们有很多支持OOP专用语言的编程语言,并且没有通用的支持,比如Google,这是一种现代语言,他们选择不实现泛型,因为它们的复杂性。我知道我们有很多支持Generics和OOP的语言,例如C++和Stepanov的著名的STL库。 我的问题是:我们是否有任何现代的编程语言或者完全不支持OOP的泛型? 编辑:我想补充一下,我试着四处看看,似乎找不到很多东西,所以我想我会在这里问。 补充一下,当我提到泛型和面向对象的编程时,我指的是:
浏览 0
提问于2013-12-15
得票数 3
回答已采纳
3
回答
定义某些类的语言特性是有一些具有特殊名称的方法。
、
、
、
这是一个编程语言概念问题,例如,类似于编程语言语用学的水平,由Scott提出。 在Python中,某些类型的对象的类被定义为具有特定名称的一些方法,例如, 描述符的类被定义为具有一个名为__get__、__set__或__delete__()的方法的类。 迭代器类被定义为一个具有一个名为__next__的方法的类。 问题: 在编程语言设计中,Python中的语言特性是什么?是鸭子打字吗? 语言特性在下面是如何工作的? 在C++、C#和Java中,描述符类和迭代器类被定义为某些特定类的子类,这是正确的吗?(类似于C#接口IDisposable) 在Python里,
浏览 2
提问于2017-09-17
得票数 0
回答已采纳
8
回答
为什么C#是一种函数式编程语言?
、
有人说,C#可以被看作是一种函数式编程语言,尽管它被广泛认为是一种面向对象的编程语言。 那么,是什么特性集使C#成为一种函数式编程语言? 我只能想到: 委托(即使没有匿名方法和lambda表达式) 闭包 还要别的吗?
浏览 8
提问于2008-12-26
得票数 34
回答已采纳
6
回答
泛型编程与元编程
、
、
到底有什么区别?这些术语似乎在某种程度上可以互换使用,但我读到了关于目标-c的维基百科条目,我偶然发现: 除了C的过程编程风格之外,C++还直接支持某些形式的面向对象编程、泛型编程和元编程。 参考C++。很明显他们不一样?
浏览 10
提问于2010-10-14
得票数 20
回答已采纳
1
回答
你能说出一种编程语言仅仅是通过它的语法来编译还是解释吗?
、
、
例如,有人能简单地通过查看X的语法就知道X编程语言是编译的而不是解释的吗? 也许在编译和解释的编程语言中有一个共同的主题,每个语言都是独一无二的?
浏览 1
提问于2019-12-11
得票数 0
3
回答
语言数据类型没有映射到附带的.NET框架的可能性?
、
、
、
有谁知道托管编程语言是在.NET上实现的,该语言包含没有映射到公共类型系统/FCL/BCL的专门数据类型,或者没有已发送的.NET等效的数据类型(例如,已发送的标准类型如System.String、System.Int32)? 这个问题可能来自于某个移植编译器的人(尽管我没有这么做)。 它是否像为其专用类型在BCL/FCL之外创建新数据类型的语言一样简单?如果是这样的话,这会妨碍编程语言之间的互操作性吗?否则,编程语言习惯于将所有内置数据类型映射到BCL/FCL中的数据类型,比如Visual和C#? 我可以想象,如果将某种晦涩的语言编译器移植到.NET,而它的一种隐式数据类型没有直接映射到已出
浏览 5
提问于2010-12-22
得票数 2
回答已采纳
5
回答
数据类型与OOP对象的比较
、
、
数据类型是一段代码吗?换句话说,它是软件吗?我说的是基本的数据类型,如整数、字符等。如果是这样的话,这是否表明OOP编程中的对象是数据类型的扩展?也就是说,程序员是否在创建对象时将数据类型提升到了另一个层次?
浏览 2
提问于2009-12-21
得票数 1
4
回答
创建没有指针别名的编程语言的可能性
、
、
、
我有一个问题要问所有的编程爱好者。指针一直存在于编程世界中。就像在C中一样,C++有一个显式的指针支持。在java中不存在显式指针支持,但Java系统内部使用指针。在现实世界中,有没有可能开发一种完全没有指针别名的编程语言?
浏览 2
提问于2012-01-30
得票数 2
回答已采纳
5
回答
为什么歧视联盟与函数式编程有关?
在多年的OO编程中,我理解了什么是受歧视的工会,但我从未真正地错过过它们。我最近一直在用C#进行一些函数式编程,现在我发现我一直希望自己有它们。这使我感到困惑,因为从表面上看,受歧视的工会的概念似乎完全独立于职能/OO二分法。 在函数式编程中,是否有什么东西能使受歧视的联盟比OO中更有用,还是通过强迫自己以“更好”的方式来分析问题,我只是提高了我的标准,现在要求建立一个更好的模型?
浏览 0
提问于2017-07-07
得票数 35
回答已采纳
3
回答
“静态输入”和“自由格式”对C++意味着什么?
在中,有人提到 C++是一种静态类型化、自由形式、多范式、编译的通用编程语言. 有人能解释一下“静态打字”和“自由表格”这两个词吗? 谢谢。
浏览 12
提问于2010-12-30
得票数 12
回答已采纳
4
回答
什么是与haskell / coq相对应的面向对象?
、
、
我有关于函数式程序设计的最新发展的详细资料。 我认为haskell是一种非常高级的编程语言。使用coq和agda,这变得更加复杂和先进。 使用“高级”和“高级”,我指的是许多不同的特性,它们只能在各自的语言中找到。 就像哈斯克尔 默认情况下,一切都是纯的和懒惰的。 支持高级概念,如GADT、Monad、函子等。 coq / agda 相依型系统 haskell和coq都被用于学术领域,这是一个很好的迹象,表明它们是“最先进的”。 然而,我不知道面向对象编程的类似发展是什么。 面向对象编程的一些最新发展是什么? 什么是最先进的OOP语言对应于haskell / coq? (我甚至在google上
浏览 0
提问于2011-11-06
得票数 7
回答已采纳
1
回答
整数和静态类型检查
、
、
、
看完这篇文章后: 我有一个问题: 在只有解释器(例如Basic)的编程语言中(如上面链接中的第二个答案中的照片所示),是否可以进行静态类型检查? 据我所知,每次执行程序时,解释器都会运行每一行命令。那么,在我们运行程序之前,如何能够静态地检查类型呢?
浏览 5
提问于2016-09-08
得票数 3
回答已采纳
1
回答
什么是DCI上下文中的“纯面向对象语言”?
、
在DCI讨论中,通常会提到纯面向对象的语言: 面向对象的编程语言--尤其是“纯的”语言--用对象或对象上的方法来表达一切。(当然,大多数编程语言都使用类来实现这一点。问题是,在对象框架之外,不应该存在任何东西。) 资料来源: 我试图从DCI的角度理解纯OO语言和非纯OO语言之间的区别。为了帮助将这些差异放到上下文中,最好有一个纯OO语言的示例,这样我就可以将它与基于类的语言(如java )的经验进行对比。 问题:什么语言是纯面向对象语言(从DCI的角度来看)?
浏览 7
提问于2013-12-17
得票数 1
回答已采纳
1
回答
在强大的编程语言中创建对象背后的基本原因是什么
在编程语言中创建对象的基本需求是什么?我接触过的几乎有3-4种具有对象创建功能的编程语言。以下是语言:- 1.C++ 2.java3.php4.js我的问题是,程序员建立对象概念的根本需求是什么,并在此之后发生了什么神奇的事情,现在几乎所有强大的编程语言都支持对象的这个功能
浏览 1
提问于2014-03-06
得票数 0
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
聊聊编程语言中的类型系统
C语言编程基本类型教 程
编程C语言进阶篇——构造类型:数组
单片机编程常用到的类型转换 C语言程序实现
想学好Java编程语言 要掌握常见的数据库类型
热门
标签
更多标签
云服务器
ICP备案
对象存储
实时音视频
云直播
活动推荐
运营活动
广告
关闭
领券