腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
SML
模块
系统
和
Haskell
的
Type
and
Typeclass
系统
在
性能
上有
什么
不同
?
haskell
、
module
、
sml
、
type-systems
我
在
试着理解这里
的
缺点在哪里。
SML
模块
系统
只是提供依赖类型,类似于Idris如何扩展
Haskell
类型
系统
,或者除了依赖类型
的
添加功能之外,还有其他功能吗?
在
现有的互联网文章中,关于
SML
模块
系统
的
信息对我来说要么很难找到,要么很难理解。这个问题
的
主要目的是让我确定ML
和
Haskell
类型
系统</em
浏览 36
提问于2014-06-04
得票数 11
回答已采纳
1
回答
是否有类似
Haskell
类型
系统
的
命令式语言?
object-oriented
、
programming-languages
、
haskell
、
type-systems
在过去
的
几年里,我尝试了几次学习
Haskell
,也许是因为我主要了解脚本语言,它
的
功能性一直困扰着我(monads似乎是做大量I/O
的
一个巨大
的
麻烦)。然而,我认为它
的
类型体系是完美的。通过阅读
Haskell
的
类型
和
类型(如这)
的
指南,我不知道为
什么
它们需要一种函数式语言,而且,它们似乎非常适合于一种工业级别的面向对象
的
语言(比如Java)。所有这些都引出了一个问题:有没
浏览 0
提问于2014-06-10
得票数 6
回答已采纳
1
回答
Haskell
和
ML
的
类型
系统
差异
haskell
、
type-conversion
、
ml
我想知道
Haskell
的
Type
系统
和
ML
的
完全
不同
。我不需要一般
的
差异,而只需要它们
的
类型
系统
上
的
差异。提前谢谢!
浏览 6
提问于2013-12-16
得票数 3
回答已采纳
1
回答
Monads
和
SML
模块
monads
、
sml
signature MAPPABLE = sig val fmap : ('a -> 'b) -> 'a mappable -> 'b mappable
type
'a mappable = 'a option case v of以下代码不起作用 let va
浏览 0
提问于2018-02-26
得票数 2
2
回答
Standard ML
的
模块
系统
和
OCaml
模块
系统
有
什么
区别(如果有的话)?
ocaml
、
sml
、
ml
我
的
问题是,Standard ML
的
模块
系统
和
OCaml
模块
系统
有
什么
不同
?是否拥有OCaml所有函数器、属性等
的
支持。
SML
有吗?
浏览 0
提问于2013-03-23
得票数 42
回答已采纳
2
回答
理解标准ml定义
的
必备知识
standards
、
definition
、
sml
谁能告诉我标准ML定义
的
背景理论是
什么
,发现非常有趣和美丽,我确实学了一些
sml
,但我想要更多,但不知道如何开始(理解TDSML) 提前3倍
浏览 0
提问于2012-09-06
得票数 1
回答已采纳
3
回答
haskells类型
系统
在哪方面比另一种静态类型语言
的
类型
系统
更有帮助
haskell
、
types
我使用
haskell
已经有一段时间了。我理解大多数/一些概念,但我仍然不明白,haskells类型
系统
到底允许我做
什么
,我不能在另一种静态类型
的
语言中做。我只是直观地知道
haskell
类型
系统
在任何可以想象
的
方式上都比C,C++或java中
的
类型
系统
更好,但我无法从逻辑上解释它,主要是因为对
haskell
和
其他静态类型语言之间
的
类型
系统
的</em
浏览 2
提问于2014-10-27
得票数 2
1
回答
模式匹配
和
类型
系统
之间有
什么
关系?
scala
、
pattern-matching
、
type-systems
在
scala
和
其他一些语言(
Haskell
,
SML
)中,我们可以使用模式匹配,例如:user match {} 感谢@Eran
的
回答。 我知道有很多语言不支持模式匹
浏览 5
提问于2014-06-22
得票数 4
1
回答
是否有可能在标准ML中支持高类型
的
类型?
sml
、
language-design
、
higher-kinded-types
例如,最后一次陈述是不能代表
的
:
type
Ground = Int
type
SecondOrderc = c Int -- ML do not allow :c OCaml只
在
模块
级别上支持更高级别的功能.有一些解释(
和
作者
的
评论)关于OCaml
的
哪些特点与更高类型
的
机会冲突。如果
浏览 5
提问于2019-11-10
得票数 3
回答已采纳
1
回答
Haskell
和
OCaml中
的
函数器有
什么
相似之处?
haskell
、
ocaml
在过去
的
一年左右,我一直
在
Haskell
中玩耍,实际上我开始“理解”它,直到Monads,镜头,
Type
Families,……一大堆。通过一点语法,我
在
寻找类似的更高级别的概念,例如functor。 我读了
Haskell
中
的
代码
和
函数器
的
结构,但我似乎不能理解它们现在是否
在
OCaml
和
OCaml中是相似的概念。简而言之,
Haskell
中
的
函数器对我来说主要是提升
浏览 0
提问于2013-05-03
得票数 44
回答已采纳
2
回答
是否可以像C++模板元编程一样,
在
OCaml中进行编译时执行?
ocaml
、
template-meta-programming
在
C++中,递归模板
和
常量值作为模板参数允许执行有趣
的
代码生成
和
编译时执行示例,例如。 是否可以使用参数多态性、函数器或其他概念在OCaml中做类似的事情?
浏览 0
提问于2011-10-08
得票数 2
回答已采纳
4
回答
哪个函数式语言对初学者有好处?
learning
、
functional-programming
可能重复: 函数编程语言
的
选择 我是一名C++程序员,希望学习一门功能语言,这是我
的
爱好,也是出于好奇。我并不是想成为一个专家,而是想了解一下函数式编程。这种语言应该是简单
的
学习,并有良好
的
教程
和
资源
的
初学者。有这样
的
语言吗?
浏览 0
提问于2011-10-18
得票数 11
回答已采纳
7
回答
功能语言
的
独特特征
haskell
、
f#
、
functional-programming
、
erlang
、
clojure
众所周知,所有函数语言都有一些基本属性,比如使用函数作为程序
的
基本构建块,从而产生所有的后果,比如使用递归而不是迭代。然而,也存在一些根本
的
差异。Lisp对Lisp代码和数据都使用单一表示形式,而ML没有ML代码
的
标准表示形式。Erlang有一个内置
的
基于演员
的
并发。哈斯克尔有单簧管。
Haskell
在
静态类型
系统
中区分纯函数
和
不纯函数;ML没有。 其他函数式语言(Clojure,F#,,任何其他语言)之间
的
区别是<e
浏览 20
提问于2009-01-27
得票数 19
回答已采纳
2
回答
OCaml显式类型签名
syntax
、
types
、
ocaml
、
type-inference
在
Haskell
中,显式声明函数
的
类型签名被认为是一个很好
的
实践,尽管它(通常)可以被推断出来。
在
OCaml中,这似乎是不可能
的
。(虽然我可以制作只提供签名
的
type
模块
。) 如果是,为
什么
?OCaml
的
类型
系统
似乎与
Haskell
并没有那么大
的</e
浏览 2
提问于2011-05-14
得票数 38
回答已采纳
1
回答
CoffeeScript / LiveScript和数据构造函数
coffeescript
、
livescript
我很少有
SML
的
经验。现在我想学习LiveScript,但是我仍然停留在数据类型上。那么,是否可以使用
SML
/
Haskell
/ OCaml中
的
数据构造函数来创建类型呢?如果不是,创建数据类型
的
首选方法是
什么
?
浏览 2
提问于2014-01-21
得票数 0
回答已采纳
1
回答
如何确定记忆不平衡?
linux
、
memory
、
performance-monitoring
在
一段时间内,我确定了某些服务器
的
低
性能
(低三倍)。 我开始理解为
什么
我发现一个服务器有
不同
的
内存
模块
(4GB,8GB,16 4GB)。这些
模块
的
等级、CAS
和
频率自然
不同
。在我看来,内存子
系统
应该在某个地方说内存
模块
不同
,频率
不同
,不能在内存子
系统
进入某种兼容性模式
的
组中使用这些
模块
浏览 0
提问于2017-04-25
得票数 0
3
回答
向
Haskell
添加ML样式
模块
的
主要理论困难是
什么
?
haskell
、
ocaml
、
sml
、
ml
、
type-systems
众所周知,
Haskell
风格
的
类型化
模块
和
ML风格
模块
为指定接口提供了
不同
的
机制。他们(可能)
在
权力上是对等
的
,但在实践中,每个人都有各自
的
优缺点。由于我
在
语言特性方面有点包容主义,我
的
问题是:向
Haskell
添加ML样式
模块
的
主要理论困难是
什么
?我感兴趣
的
答案有以下几点: 哪些现有的类型
浏览 3
提问于2011-04-17
得票数 60
回答已采纳
1
回答
为
什么
SML
和
OCaml被认为是ML
的
方言?ML
的
定义是
什么
?
programming-languages
、
ocaml
、
sml
ML
的
方言很多,其中
SML
和
OCaml是最流行
的
方言。
SML
和
OCaml有许多
不同
之处,但它们都被认为是ML
的
方言。所以, 我猜ML是
SML</
浏览 3
提问于2013-07-25
得票数 15
回答已采纳
2
回答
Haskell
与Python线程模型
python
、
haskell
、
multicore
基本上问题是:Python语言中
的
multiprocessing
模块
和
Haskell
中
的
并行性有
什么
不同
。例如:
在
Python中创建
的
线程是否映射到OS线程?如果是这样,如果线程数比核心数多怎么办?它们是否被多路复用到操作
系统
线程中?谁来调度这些线程?感谢您提供
的
所有信息:非常感谢您
的
文档/见解。
浏览 2
提问于2011-07-06
得票数 6
回答已采纳
3
回答
用于Linux
的
快速标准ML编译器或字节码解释器,带有读- interpreter循环?
compiler-construction
、
functional-programming
、
interpreter
、
sml
班上
的
学生也会使用MLton来生成好
的
二进制文件,但是MLton
的
编译速度很慢,有时学生需要一些他们可以交互
的
东西。我已经知道
的
是: 新泽西
的
标准ML有一个交互式
的
读-古-打印-循环,但是它
的
编译规则有点奇怪,而且有点慢。不过,它可能是主要
的
竞争者。最不幸
的
是,除了它
的
许多其他优良特性外,莫斯科ML还有一个交互式
的
帮助
系统
--但我不能让我
的
学
浏览 11
提问于2010-07-07
得票数 8
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
一文解决现代编程语言选择困难:响应式编程
为什么Haskell是我们构建生产软件系统的首选
《七周七语言:理解多种编程范型》读书笔记
Rust 治好了我的精神内耗
Clojure和Haskell——深度学习中的函数式语言之美
热门
标签
更多标签
活动推荐
运营活动
广告
关闭
领券