我理解大多数/一些概念，但我仍然不明白，haskells类型系统到底允许我做什么，我不能在另一种静态类型的语言中做。我只是直观地知道haskell类型系统在任何可以想象的方式上都比C，C++或java中的类型系统更好，但我无法从逻辑上解释它，主要是因为对haskell和其他静态类型语言之间的类
浏览 2提问于2014-10-27得票数 2
4回答
我喜欢那些能让我扩展语言语法的语言。同时，我所知道的所有语言都会让我扩展语法，它们的类型相对较重。是否有重量较轻的语言允许同样的语法扩展性？还是灵活的语法要求您能够定义新的数据类型(以及对这些类型的操作)？
基本上，我希望哈斯克尔在没有Haskell类型系统的情况下具有语法灵
浏览 0提问于2011-04-08得票数 1
1回答
在scala和其他一些语言(Haskell，SML)中，我们可以使用模式匹配，例如：user match {}
感谢@Eran的回答。
我知道有很
浏览 5提问于2014-06-22得票数 4
对于32位和64位系统上C语言和C++语言的数据类型的大小，我几乎没有什么基本问题。我也没能在网上得到一个令人信服的答案，我的问题是。对于C++语言来说，数据类型大小取决于，
浏览 1提问于2013-02-14得票数 2
是否有可能找出数据类型的大小(int、float、double、.)在Linux系统上，没有编写C程序？
在同一个Linux系统中，C语言和C++以及其他编程语言的结果会一样吗？
浏览 0提问于2014-02-14得票数 26
我一直在读一些开发人员的故事，他们说，一旦他们能够用Haskell、Ocaml、Elm甚至Rust等语言编写FP程序，就可以在没有错误的情况下编译，他们很确定这些程序能够正常工作。他们通常说，这主要是由于这些FP语言的类型系统。那么，FP语言(如Haskell、Elm等)的类型系统与Java、Delphi和C#等语言的类型<em
浏览 0提问于2017-04-19得票数 19
阅读，我不得不问:具体而言，是什么使Haskell的类型系统比其他语言的类型系统(C、C++、Java)更强大。显然，即使是Scala也不能执行与Haskell类型系统相同的功能。具体而言，是什么使Haskell的类型系统(辛德雷-米尔纳式推理)如此强大？你能举个例子吗？
浏览 4提问于2010-09-24得票数 38
这个问题似乎处理得相当好，例如：动态输入的假定生产力增益是多少？
等。然而，大多数问题和答案似乎都将静态类型化语言(如Java和C++ )与动态类型化语言(如Python和JavaScript )进行了比较。这似乎是一种不同的比较-- Java和C++是冗长的、非交互式的，而且由于其类型系统之外的原
浏览 0提问于2015-06-05得票数 6
8回答
Python类型安全吗？
、、、、
根据
同样的观点是由Jason和Jim在中提出的。注意，类型安全与语言是在编译时还是在运行时检查类型是独立的:C</
浏览 18提问于2017-09-24得票数 47
回答已采纳
1回答
我们可以说Java或C#是具有统一继承树/统一类型系统的面向对象语言吗？所谓统一继承树/统一类型系统，我的意思是每个类都隐式或显式地从一种类型派生？是否有任何面向对象的语言不遵循这个概念？
浏览 0提问于2014-01-28得票数 1
回答已采纳
6回答
我理解什么是动态和静态类型系统，以及鸭子类型是什么。但是我不明白你怎么能有一种支持鸭子输入的静态语言。据我所知，只有动态类型的语言才能支持鸭子类型。来自这个答案的StackOverflow解释道："Duck类型是与静态、动态、弱或强类型完全正交的。“它给出了一个来自C++的静态类型化语言</e
浏览 0提问于2014-08-11得票数 6
回答已采纳
4回答
我想知道，有没有可能将haskell强大的类型系统集成到像C这样的语言中，并且仍然能够进行有效的低级编程？
浏览 5提问于2011-03-13得票数 17
回答已采纳
19回答
20多年前，当我还在上大学的时候，C语言是我们的首选语言，因为当时它几乎是市面上唯一的通用编程语言。我们学会了使用C语言编程，它被用于系统编程、数据结构、操作系统以及几乎所有其他的东西。基于文本的控制台I/O是与计算机交互的主要方式。GUI很少见，web编程根本就不存在。
将时钟向前拨20+年。我们有太多专门的
浏览 4提问于2009-10-07得票数 14
回答已采纳
4回答
功能程序设计与类型系统
、、、
我学习各种功能语言已经有一段时间了，包括Haskell、Scala和Clojure。Haskell有一个非常严格和定义良好的静态类型系统.Scala也是静态类型的。而Clojure则是动态类型的。所以我的问题是
语言<
浏览 5提问于2010-07-01得票数 17
回答已采纳
6回答
有人能澄清一下C#是强类型语言还是弱类型语言？并解释为什么。
如果我有一个名为concat的函数，它可以接受任何对象，那么这就是弱类型吗？
浏览 1提问于2013-02-19得票数 4
2回答
简单问题：我最近开始用C语言编程，并且有一个简单的问题。
C编程语言在其"char“类型(例如ASCII )中使用什么字符集，还是依赖于软件/操作系统？
浏览 1提问于2015-10-05得票数 2
1回答
c++中的变体、存在多态性
、、、、
我正在进行关于类型系统的研究。在这项工作中，我将研究变体、结构子类型、通用多态性和存在多态性在流行语言中的用法。功能语言，如heskell，ocaml，提供了这样的功能。但我想知道像C++这样的流行语言是否提供了上述功能。这意味着C++是如何实现的
variantsstructural subtypinguniversal polymorphismexistent
浏览 2提问于2012-03-23得票数 1
回答已采纳
这一索赔 by 阿列克斯·布罗姆菲尔德声明：这是有效的索赔吗？我了解到，在运行时使用反射或加载类，Java会有点像这样--但是，“渐进式输入”的概念能扩展到大量语言吗？
浏览 0提问于2013-12-28得票数 20
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
