腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
使用
模板
Haskell
生成
带有
帮助
器
的
新
类型
包装
器
haskell
、
metaprogramming
、
template-haskell
我有一个非常简单
的
用例,其中我有一个基本
类型
,但为了在我
的
数据模型中
使用
各种记录
类型
,我希望每个记录都有该
类型
的
包装
版本: type UID = Integer myRecordID :: Integral a => a -> MyRecordID myRecordID = MyRecordID . fromInteger 有一些这样
的</em
浏览 14
提问于2021-10-10
得票数 1
2
回答
Haskell
中
的
多种
类型
列表
generics
、
haskell
、
types
、
functional-programming
、
polymorphism
假设我有一组记录,如下所示data B = B { b:: String } deriving (Show)bar = do push (B {b="y"})map foo l 我是否应该编写
模板
haskell
来
生成
浏览 1
提问于2012-10-13
得票数 2
回答已采纳
1
回答
haskell
生成
FFI导出
包装
器
代码
haskell
、
ffi
我正在用
haskell
编写一些代码,这些代码必须可以从C调用。
Haskell
中有没有工具或库可以简化需要导出
的
haskell
函数
的
FFI
包装
器
代码
的
编写。例如,给定要导出
的
haskell
函数
的
工具将根据需要注意(
生成
包装
器
代码)将
haskell
类型
映射到正确
的
Foreign.C
类型</
浏览 1
提问于2012-03-15
得票数 7
1
回答
选择什么样
的
数据结构来保证通用性和安全性?
data-structures
、
haskell
、
types
创建A
的
草案实例,如A{ x1 =“is is x1",.}从其他数据创建A
的
实例,另一个数据实例来自A
的
实例这有道理吗?有没有一个通用但安全
的
解决方案?如果我一次就从税务数据中创建一个表单,明年任何表单字段都会移动,例如,会有一个偏离
的
"0.0“,我将不
浏览 1
提问于2011-05-11
得票数 4
回答已采纳
1
回答
没有
模板
的
酸态便利
包装
器
?
haskell
、
acid-state
在中,所有示例都
使用
模板
Haskell
。然而,由于,我不是很热衷于
使用
它。我知道可以不
使用
模板
haskell
来
使用
acid-state,如下所示: 但是我想知道是否有任何方便
的
包装
器
或库来
帮助
更容易地
使用
acid状态(不
使用
模板
haskell
)?附注:我
的
目的是为web应用程序实现一个数据库
浏览 4
提问于2012-08-03
得票数 2
2
回答
Haskell
记录,更干净
的
方法?
haskell
、
record
我读过关于
Haskell
记录
的
一些问题,特别是,同一模块中
的
两个元素不能具有相同
的
名称。我知道你可以通过
使用
单独
的
模块来解决这个问题,但是我不想这样做,而是尝试了这种方法: x :: a -> X instance HasX D2 where(这只做gets,不做集合,我当然需要写更多
浏览 1
提问于2012-05-03
得票数 12
回答已采纳
2
回答
如何从
使用
模板
Haskell
生成
的
代码中创建第四个包?
haskell
、
tuples
、
template-haskell
我正在制作一个小包,它为元组定义
包装
器
,并从它们中添加实例,如 deriving (...)这将从2重复到,因此它看起来像
模板
Haskell
的
作业。
生成
的
代码始终与
Haskell
98兼容,因此我希望最终结果也是一个
Haskell
98兼容包。是否有可能
使用
模板
Haskell
<e
浏览 4
提问于2013-05-18
得票数 8
4
回答
在
Haskell
中派生任意函数
haskell
、
types
、
typeclass
、
derived-instances
在
Haskell
中
使用
派生实例时,是否可以为任意
类型
派生函数,或者我们是否仅限于特定
的
函数?
浏览 0
提问于2010-03-13
得票数 9
回答已采纳
1
回答
将
模板
实例化导出为C函数
c++
、
c
、
templates
、
c++11
、
shared-libraries
我正在为一个C库创建
Haskell
绑定。但是,我希望将库
的
调用约定调整为更适合
Haskell
的
方式,因此我创建了一个
模板
类,它具有一个静态方法,当您按以下方式
使用
它时,该方法将调用正确
的
方法: Wrap<decltype(&libraryFunction这很好,很明显,编译
器
已经为我
生成
了
包装
器
代码。我甚至可以
使用
&运算符获取该函数
的
地址,因
浏览 2
提问于2014-04-16
得票数 0
1
回答
用DuplicateRecordFields制作镜片
haskell
、
ghc
、
haskell-lens
您将如何
使用
新
的
DuplicateRecordFields来
生成
镜片? 我已经尝试过
使用
makeLenses,但是根本没有
生成
任何东西。我还尝试
使用
限定符导入构造函数,以防止字段和镜头之间
的
名称冲突,但这也没有
帮助
。
模板
haskell
是否存在一些与
新
扩展相关
的
未决问题(我在GHC bug跟踪
器
中找到了一张罚单,但它已经关闭),还是我遗漏了一些明显
浏览 1
提问于2016-10-03
得票数 5
回答已采纳
2
回答
为什么值类被限制为AnyVal?
scala
、
haskell
、
wrapper
、
primitive-types
、
newtype
据我所知,Scala中
的
值类只是将像Int或Boolean这样
的
原始
类型
包装
到另一个
类型
中,而不会引入额外
的
内存
使用
。因此,它们基本上被用作普通类
的
轻量级替代品。这让我想起了哈斯克尔
的
newtype符号,它也被用来将现有的
类型
包装
在
新
的
类型
中,从而在不消耗额外空间
的
情况下为一些数据引入了一个
新
的</em
浏览 2
提问于2012-12-09
得票数 4
回答已采纳
1
回答
在设计RPC库时,如何允许用户更改序列化格式?
haskell
我觉得
类型
类实例应该只在它们有一个有效
的
实现时才被定义,而序列化不是其中之一。拥有FromJSON实例是一件好事吗?我
的
库应该
使用
它吗?我担
浏览 6
提问于2018-12-14
得票数 1
2
回答
甚至更广义
的
新型派生
haskell
、
ghc
、
typeclass
、
newtype
当在某些类上下文中
使用
时,
新
类型
通常用于更改某些
类型
的
行为。例如,可以
使用
Data.Monoid.All
包装
器
来更改Bool用作Monoid时
的
行为。我目前正在编写这样一个
新
类型
的
包装
器
,它可以应用于很多不同
的
类型
。
包装
器
应该改变一个特定类实例
的
行为。但是,
浏览 6
提问于2012-10-01
得票数 9
2
回答
什么是C#相当于哈斯克尔
的
新
类型
?
c#
、
haskell
、
newtype
在
Haskell
中,有两种为
类型
提供别名
的
方法:type和newtype。type提供了一个
类型
同义词,这意味着
类型
检查
器
认为同义词与原始
类型
完全相同:hasAccess :: UserId -> Boollogin :: Int -> Booln
浏览 0
提问于2015-04-27
得票数 12
回答已采纳
1
回答
使用
ffi将c++数据
类型
导入
haskell
c++
、
haskell
、
types
、
ffi
我正在为一个c++库编写一个
haskell
包装
器
,尽管我可以将函数从库中导入到我
的
haskell
程序中,但我对如何导入c++数据
类型
一无所知。例如,我有一个函数,它接受某个.h文件中定义
的
video::E_DRIVER_TYPE EDT_OPENGL
类型
作为参数,正如我之前所说
的
,我知道如何
使用
ffi导入该函数 外部导入调用...
使用
适当
的
编译
器
损坏
的</
浏览 4
提问于2009-12-06
得票数 6
1
回答
“
模板
Haskell
+C”bug
的
解决方案?
haskell
、
ghc
、
template-haskell
我有以下情况: libHScharsetdetect-ae-1.0.a: unknown symbol `_ZTV15nsCharSetProber' (“未知符号”
的
实际名称因机器而异除了“不要
使用
模板</em
浏览 1
提问于2014-10-19
得票数 9
回答已采纳
3
回答
在
haskell
脚本中将表达式转换为描述其
类型
的
字符串?
haskell
、
ghc
、
ghci
我们都知道ghci中
的
:t提供了表达式
的
类型
:[1..] :: (Enum t, Num t) => [t]这有可能吗?
浏览 0
提问于2013-02-24
得票数 2
回答已采纳
2
回答
std::unique_ptr能被认为是单曲吗?
c++
、
functional-programming
、
monads
不幸
的
是,大多数关于这个主题
的
文章都
使用
Haskell
,而没有正确地解释表示法。然而,由于我主要是用C++编程,我希望不学习
新
的
编程语言就能理解monads .从我在web上收集到
的
信息来看,monad M是
类型
T
的
类型
构造函数,它至少提供以下操作: 用于将任意
类型
转换为T
的
转换
器
(在
H
浏览 0
提问于2019-07-22
得票数 4
回答已采纳
3
回答
有没有为不懂Lisp的人准备
的
Haskell
教程
模板
?
haskell
、
macros
、
metaprogramming
、
template-haskell
我想学习
模板
Haskell
,但我找到
的
所有教程要么假设你学习了lisp并知道什么是lisp宏,要么假设你知道一些cs理论术语--比如拼接、准引号等。-或者一些关于宏
的
理论结果。
Haskell
是我
的
第一个函数式语言,我学会了它,我可以经常用它编码,
使用
monads,应用,理解
类型
系统,等等……但我知道
的
不多(我也想学,但我太傻了……:P)关于它背后
的
理论上
的
cs
的
东西。因此,我忘记了
浏览 1
提问于2011-04-20
得票数 20
回答已采纳
2
回答
如何通过“TypeRep”指定值
类型
?
haskell
、
dynamic
、
types
、
polymorphism
、
generic-programming
我
的
目标是编写
带有
一些多态值
的
函数,并列出代表具体
类型
的
类型
。它返回具有相同值
的
新
列表,但已被抛出为通过typerep指定
的
具体
类型
。让我们有这样
的
值列表:启用["one", "two"]并启用-XOverloadedStrings。 每种
类型
分别为IsString a => a。:: Proxy String), typeRep (P
浏览 1
提问于2017-10-28
得票数 1
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
TypeScript 4.1发布,新增模板字面量类型
为什么Haskell是我们构建生产软件系统的首选
C+模版编程实现Haskell的函数模式匹配特性
Kotlin内联类-它们如何工作以及何时应该使用它们
Rust 治好了我的精神内耗
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券