Loading [MathJax]/jax/output/CommonHTML/config.js

开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >Coyoneda和Haskell中的派生函子

问Coyoneda和Haskell中的派生函子
EN

Stack Overflow用户

提问于 2016-06-06 01:15:22

回答 1查看 404关注 0票数 6

在学习了基于MacLane，Awodey和Spivak书籍的范畴理论之后，我试图理解Haskell中的自由/操作monad。

我们可以通过使用Data.Functor.Coyoneda将数据类型转换为函数式，然后使用Control.Monad.Free从数据类型中获得monad，这是基于名为Yoneda引理的数学背景。

但我并不完全理解函子可以由GHC中的派生函子扩展自动生成，而不是依赖于Yoneda引理。

与Data.Functor.Coyoneda相比，在GHC中使用派生函数有什么限制吗？

语音识别特惠，低至14.9元！

提供业界非常具有性价比的语音识别服务，超高识别准确率，适用多场景

EN

回答 1

Stack Overflow用户

发布于 2016-06-06 02:20:13

问得好！

Coyoneda和DeriveFunctor做不同的事情。Coyoneda创建了一个新的、独立的数据类型，该数据类型恰好是任何参数选择的Functor。DeriveFunctor只是为类型生成样板代码，而这些类型本身就是函数式的。您只能为可以手动编写此类实例的类型派生Functor实例。

以newtype Pred a = Pred (a -> Bool)为例(有点人为的)：没有instance Functor Pred，因为Pred的a参数是逆变量，所以DeriveFunctor不能帮助您。另一方面，Coyoneda Pred之所以是Functor，是因为Coyoneda f对于任何f都是一个Functor，尽管它不是一个非常有用的any。

顺便说一句，Freer monad是作为Free对Coyoneda的应用而出现的。

票数 8

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/37648366

复制

相关文章

多个checkbox复选框触发点击事件

jquery https java 网络安全

形如上面这种有list输出到前台的一组复选框，怎么点击其中一个可以触发jquery事件呢？

全栈程序员站长

2022/08/05

1.9K0

python for循环多个参数处理_python for循环嵌套

java https 网络安全 python

实际上，“使用for循环遍历数组的最简单方法”(Python类型被命名为“list”BTW)是第二种方法，即for item in somelist:

全栈程序员站长

2022/09/22

2.3K0

python循环(更新中)

---title: python循环tags: 笔记categories: 笔记author: 喵雨date: 2022-06-23 10:56:42coverImg:---while 循环'''循环：whilefor'''# 用while打印1-10之间的数字# 初始值n = 1# 结束条件while n <= 10: print(n) n += 1# 打印1-50之间能被3整除的数字m = 1while m <= 50: if m % 3 == 0: print('---

meowrain

2022/06/23

1K0

Hive一次更新多个分区数据方案

场景订单数据之类的业务表，因为有状态要更新，比如订单状态，物流状态之类的，需要同步很久之前的数据到Hive. 如何同步时在Hive中进行操作一次更新多个分区内的数据? Hive 操作设置Hive动

awwewwbbb

2022/09/16

9590

多个单细胞样本数据的循环读取

data list sample stringr

上一期我们介绍了Seurat对象的构建方法，对于少数样本的数据时，我们可以采取将读取代码复制多遍以运行，如下所示。

小汪Waud

2023/02/16

2.2K0

Python中一个for循环循环多个变量

首先，熟悉一个函数zip，如下是使用help(zip)对zip的解释。 Help on built-in function zip in module __builtin__: zip(...) zip(seq1 [, seq2 [...]]) -> [(seq1[0], seq2[0] ...), (...)] Return a list of tuples, where each tuple contains the i-th element from each of the argument sequences. The returned list is truncated

卡尔曼和玻尔兹曼谁曼

2019/01/22

5.1K0

Django批量更新多个属性

数据库 model 数据

有时候我们需要同时（一次性）更新某个用户的多条属性。 1. 用户model如下： class User(models.Model): UID = models.CharField('员工uid', max_length=200,) name = models.CharField('员工名字', max_length=200,) mobile = models.CharField('手机号', max_length=200,) mail = models.EmailField(u'邮箱', max_lengt

BigYoung小站

2020/05/04

2.1K0

使用复选框控制条件格式

我们可以使用条件格式来实现。选择A2:C20，单击功能区“开始”选项卡“样式”组中的“条件格式——新建规则”。在“新建格式规则”对话框中，选择“使用公式确定要设置格式的单元格”，在“为符合此公式的值设置格式”中输入：

fanjy

2022/03/09

2.4K0

for 循环中实现多个点击事件原

(adsbygoogle = window.adsbygoogle || []).push({});

tianyawhl

2019/04/04

8780

使用VBA给复选框批量命名

vba 工作基础

如下图1所示，使用列G中单元格的内容给复选框命名，并且当选取复选框中，在列E中相应的单元格显示其状态。

fanjy

2022/03/09

1.7K0

django使用多个数据库

数据库 sql django 腾讯云开发者社区 https

通过官方文档https://docs.djangoproject.com/zh-hans/3.1/topics/db/multi-db/和csdnhttps://blog.csdn.net/songfreeman/article/details/70229839的这两篇文章可以进行多数据库的设置。但是设置后可能会出现问题，由于我连接的数据库是通过inspactdb的方法得到的model。于是在migrate的时候出现了问题，会提示 1146, “Table xxx doesn’t exist” 。后来发现问题可能出在路由表上，按照DATABASE_APPS_MAPPING映射之后，django默认的表如果要写入可能会找不到数据库。而源代码里的映射关系并不包含新加入的app，例如grappelli等。

obaby

2023/02/22

4980

Python3中for循环多个变量详解

for循环 python3 变量对象函数

Python的 for 循环中，使用多个变量可以应用于列表或字典，但它不适用于一般错误。

程序新视界

2023/05/03

1.7K0

【安全更新】微软11月安全更新多个产品高危漏洞

windows 网络安全安全 linux DevOps 解决方案

北京时间11月11日，微软发布11月安全更新补丁，修复了112个安全问题，涉及Microsoft Windows、Microsoft Office、Microsoft Exchange Server、Visual Studio、Windows Defender等广泛使用的产品，其中包括远程代码执行和权限提升等高危漏洞类型。

绿盟科技安全情报

2020/11/16

9880

Flutter：使用复选框进行下拉多选

flutter ios android

本文向您展示了在 Flutter 中使用复选框实现下拉多选的两种不同方法。在第一种方法中，我们将从头开始构建多选。在第二种方法中，我们将使用第三方包快速完成工作。

徐建国

2022/03/30

3.4K0

Flutter：使用复选框进行下拉多选

Laravel 使用多个数据库连接

https java 网络安全

发布者：全栈程序员栈长，转载请注明出处：https://javaforall.cn/105853.html原文链接：https://javaforall.cn

全栈程序员站长

2022/08/09

1.5K0

django使用多个数据库实现

数据库 django 迁移 app 路由

　　在开发 Django 项目的时候，很多时候都是使用一个数据库，即 settings 中只有 default 数据库，但是有一些项目确实也需要使用多个数据库，这样的项目，在数据库配置和使用的时候，就比较麻烦一点。

Se7eN_HOU

2023/04/28

6550

django使用多个数据库实现

【安全更新】微软5月安全更新多个产品高危漏洞通告

windows 网络安全安全 linux windows server

5月12日，微软发布5月安全更新补丁，修复了55个安全漏洞，涉及Windows、Microsoft Office、Exchange Server、Visual Studio Code、Internet Explorer等广泛使用的产品，其中包括远程代码执行和权限提升等高危漏洞类型。

绿盟科技安全情报

2021/05/14

1.3K0

【安全更新】微软4月安全更新多个产品高危漏洞通告

windows 网络安全安全 windows server linux

4月14日，微软发布4月安全更新补丁，修复了114个安全漏洞，涉及Windows、Office、Edge (Chromium-based) 、Visual Studio Code、Exchange Server、Visual Studio、Azure等广泛使用的产品，其中包括远程代码执行和权限提升等高危漏洞类型。

绿盟科技安全情报

2021/04/26

8430

【安全更新】微软4月安全更新多个产品高危漏洞通告

点击加载更多

相似问题

同步-异步阻塞，非阻塞I/O

15

非阻塞I/O问题

31

阻塞和非阻塞I/O之间的灰色地带？

10

Kotlin:用非阻塞I/O阻塞协同线

21

何时使用非阻塞I/O？

20

活动推荐

腾讯云BI 特惠专场

添加站长进交流群

领取专属 10元无门槛券

AI混元助手 在线答疑

关注 腾讯云开发者公众号

洞察 腾讯核心技术

剖析业界实践案例