我理解大多数/一些概念，但我仍然不明白，haskells类型系统到底允许我做什么，我不能在另一种静态类型的语言中做。我只是直观地知道haskell类型系统在任何可以想象的方式上都比C，C++或java中的类型系统更好，但我无法从逻辑上解释它，主要是因为对haskell和其他静态类型语言之间的类型系统的差异缺乏深入的了解有人能给我举个例子
浏览 2提问于2014-10-27得票数 2
4回答
我喜欢那些能让我扩展语言语法的语言。同时，我所知道的所有语言都会让我扩展语法，它们的类型相对较重。是否有重量较轻的语言允许同样的语法扩展性？还是灵活的语法要求您能够定义新的数据类型(以及对这些类型的操作)？我知道可以使用类型系统</em
浏览 0提问于2011-04-08得票数 1
1回答
在scala和其他一些语言(Haskell，SML)中，我们可以使用模式匹配，例如：user match {}
是否有“动态类型系统”语言支持模式匹配？我知道有很多语言不支持模式匹配，比如c&#
浏览 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#等语言的类型系统有什么不同呢？我熟悉后者，并且知道当函数签名和参数类型不
浏览 0提问于2017-04-19得票数 19
阅读，我不得不问:具体而言，是什么使Haskell的类型系统比其他语言的类型系统(C、C++、Java)更强大。显然，即使是Scala也不能执行与Haskell类型系统相同的功能。具体而言，是什么使Haskell的类型系统(辛德雷-米尔纳式推理)如此强大？你能举个例子吗？
浏览 4提问于2010-09-24得票数 38
这个问题似乎处理得相当好，例如：动态输入的假定生产力增益是多少？我更感兴趣的是使用像Swift或Haskell这样的静态语言<
浏览 0提问于2015-06-05得票数 6
8回答
Python类型安全吗？
、、、、
根据
同样的观点是由Jason和Jim在中提出的。注意，类型安全与语言是在编译时还是在运行时检查类型是独立的:C在编译时检查，而不是类型安全；Python在运行时检查，并且<em
浏览 18提问于2017-09-24得票数 47
回答已采纳
1回答
使用任何现有的语言类型系统实现任何像图灵机那样强大的计算模型。当然欢迎您使用需要编译器选项才能激活的可选类型系统特性。例如，在实现脑盘中有一个C++模板元编程
浏览 0提问于2012-03-30得票数 4
1回答
我们可以说Java或C#是具有统一继承树/统一类型系统的面向对象语言吗？所谓统一继承树/统一类型系统，我的意思是每个类都隐式或显式地从一种类型派生？是否有任何面向对象的语言不遵循这个概念？
浏览 0提问于2014-01-28得票数 1
回答已采纳
6回答
我理解什么是动态和静态类型系统，以及鸭子类型是什么。但是我不明白你怎么能有一种支持鸭子输入的静态语言。据我所知，只有动态类型的语言才能支持鸭子类型。来自这个答案的StackOverflow解释道："Duck类型是与静态、动态、弱或强类型完全正交的。“它给出了一个来自C++的静态类型化语言鸭子输入的例子，但我不是C++程序员，我不理解它。我想解释一下静态<
浏览 0提问于2014-08-11得票数 6
回答已采纳
19回答
20多年前，当我还在上大学的时候，C语言是我们的首选语言，因为当时它几乎是市面上唯一的通用编程语言。我们学会了使用C语言编程，它被用于系统编程、数据结构、操作系统以及几乎所有其他的东西。我们有太多专门的语言。例如，PHP很适合web编程。用C语言编写web应用程序是疯狂的，但同样地，用PHP进行系统编程也是疯狂的。
我不再用C编写代码了。可以说，我不了解该
浏览 4提问于2009-10-07得票数 14
回答已采纳
2回答
简单问题：我最近开始用C语言编程，并且有一个简单的问题。
C编程语言在其"char“类型(例如ASCII )中使用什么字符集，还是依赖于软件/操作系统？
浏览 1提问于2015-10-05得票数 2
4回答
功能程序设计与类型系统
、、、
我学习各种功能语言已经有一段时间了，包括Haskell、Scala和Clojure。Haskell有一个非常严格和定义良好的静态类型系统.Scala也是静态类型的。而Clojure则是动态类型的。所以我的问题是
语言的“功能”水平与语言类型系统<
浏览 5提问于2010-07-01得票数 17
回答已采纳
这一索赔 by 阿列克斯·布罗姆菲尔德声明：这是有效的索赔吗？我了解到，在运行时使用反射或加载类，Java会有点像这样--但是，“渐进式输入”的概念能扩展到大量语言吗？
浏览 0提问于2013-12-28得票数 20
回答已采纳
1回答
c++中的变体、存在多态性
、、、、
我正在进行关于类型系统的研究。在这项工作中，我将研究变体、结构子类型、通用多态性和存在多态性在流行语言中的用法。功能语言，如heskell，ocaml，提供了这样的功能。但我想知道像C++这样的流行语言是否提供了上述功能。这意味着C++是如何实现的
variantsstructural subtypinguniversal polymorphismexistential多态性.
浏览 2提问于2012-03-23得票数 1
回答已采纳
嗯，用C编程语言定义的size_t、uintptr_t、intptr_t和ptrdiff_t类型确实让我感到困惑。我注意到，在使用平面内存模式的32位系统上，上述四种类型的实际大小是：在使用平面内存模式的64位系统上，上述四种类型的实际大小是：
sizeof(size_t) = sizeof(uintptr_t)
浏览 4提问于2016-04-03得票数 2
6回答
有人能澄清一下C#是强类型语言还是弱类型语言？并解释为什么。
如果我有一个名为concat的函数，它可以接受任何对象，那么这就是弱类型吗？
浏览 1提问于2013-02-19得票数 4
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
