Haskell：Data Functor和Control Functor

于 2022-10-12 16:07:23 发布
阅读量116 收藏
点赞数
分类专栏： 函数式编程和Haskell 文章标签： Haskell 函数式编程
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/WinterShiver/article/details/127284809
版权

https://www.tweag.io/blog/2020-01-16-data-vs-control/
Data Functor和Control Functor是两个不同的概念，只是在Haskell中有所混淆。
这两者从定义上，可以通过线性函数来区别。
从功能上，Data Functor只能做值的容器，Control Functor表示的是一个值在被执行副作用时的中间状态。Data Functor可以是Applicative，Control Functor可以是Applicative和Monad.
从范畴论的角度来看，Control functors are the enriched functors of the category of linear functions, while data functors are the regular functors.

WinterShiver
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Haskell 函数式编程 Functional programming with Haskell
禅与计算机程序设计艺术
08-06 772
1.1 什么是函数式编程？函数式编程（Functional Programming）是一种基于“函数”思想的编程范型。其基本特征包括：函数的抽象、递归定义、引用透明性、自动求值等。它是一种声明式编程风格，在计算机科学领域里属于一门重要的技术方向。1.2 为什么要学习函数式编程？更简洁的代码：函数式编程更加关注数据的处理过程，而不是直接执行指令，因此代码会更易于理解和维护。可并行计算：采用函数式编程可以有效地利用多核CPU或分布式集群进行并行计算，提高运行效率。
函数编程中functor和monad的形象解释
diaoju3333的博客
06-05 180
函数编程中functor和monad的形象解释 函数编程中Functor函子与Monad是比较难理解的概念，本文使用了形象的图片方式解释了这两个概念，容易理解与学习，分别使用Haskell和Swift两种语言为案例。 虽然Swift并不是一个函数式语言，但是我们可以用更多点代码来完成与Haskell同样的结果。Swift的代码见on GitHub. 这里是一个简单的值: ...
图解 Functor , Applicative 和 Monad
weixin_33951761的博客
12-27 280
英文原文链接 原文是站在Haskell方面写的，其中涉及到一些Haskell 中的方法。这些方法对于JavaScript开发者可能不太容易理解，所以可以去看JavaScript版本 上面的链接都需要梯子，想要看国内的文章，可以去这里 下面是一个值： 我们都知道怎么运用一个函数到这个值上面： 备注：图中(+3)表示的是一个进行加3操作的函数。 很简单。让我们扩展一下，任何...
「学习总结-Haskell-6」Haskell 重要编程模式——Functor,Applicative,Monad
02-05 247
Haskell 重要编程模式——Functor,Applicative Functor,Monad Table of Contents 1 Haskell 基本知识2 Haskell 重要数据结构-List3 Haskell 常用数据结构4 Haskell 类型5 Haskell 重要概念——函数6 Haskell 重要编程模式——Functor,Applicat...
[Haskell] CIS 194: Homework 9-12
treblez's blog
03-26 901
文章目录functors functors 先介绍了一下kinds就是type的type haskell的类型系统中，type就是不相交的值的集合，type class就是集合的集合 而Maybe则是一个*->*类型的type constructor Prelude> :k [] [] :: * -> * Prelude :k [] Int [] Int :: * Prelude> :k [Int] -- special syntax for [] Int [Int] :: * P
函数式编程Haskell初探
LiuKairui的博客
06-28 946
转变思维🤔. 从思考How(怎么编写指令)到思考What(我们要解决的问题是什么). 最初我以为函数式编程就是思考如何用函数(数学)的方式描述问题. 但逐渐发现函数式编程的重点是如何操作函数去描述函数. 总之, 他值得一学!😎 ...
怎样理解Functor与Monad
weixin_34138056的博客
07-03 353
1. 复合函数操作符 Prelude> :t (.) (.) :: (b -> c) -> (a -> b) -> a -> c Prelude> (.) ((+) 5) ((*) 2) 4 13 　　 所以(.)操作符的作用，是将4作为参数传递给((*) 2)函数，再将结果传递给((+) 5)函数。 这就是数学里面的复合函数： ...
【Haskell】函子 · 应用函子 · 单子
陈戏猿
08-29 973
Haskell有三宝：函子，应用函子和单子。这三个抽象非常强大，可能也难以理解。其次这三个抽象引入了很多奇奇怪怪又可可爱爱的符号，这也是它们难以掌握的原因之一。本文会尽量以人能理解的方式层层递进地介绍函子、应用函子和单子的概念，并解释为什么会有这样的抽象。
Real World Haskell - Chapter 10. Code Case Study: Parsing a Binary Data Format
03-25 431
<br /> <br /> <br /> <br /> <br />Chapter 10. Code Case Study: Parsing a Binary Data Format<br /> <br />Grayscale Files<br /> <br />(==>) 函数会创建一个闭包，如“(+5)”就是一个闭包。<br /> <br />functor 可以使得我们的代码更tidy，更expressive 。<br />functor 可以避免去复制代码。<br />functor 有助于避免代码
learning_haskell:学习Haskell和Yesod
05-11
学习Haskell 学习Haskell和Yesod 资源
Haskell:Haskell 类 2014
07-10
下载资源推荐文本：为 语法指南： Hoogle，Google for Haskell： Hackage，Haskell 库： 在线IDE： 笔记我建议您为 Haskell 使用基于 Unix 的操作系统。 、Mac OS、Debian 等。Haskell 平台安装在 Ubuntu 分区的实验...
Haskell：Haskell脚本
02-20
哈斯克尔Haskell脚本
haskell:PubNub Haskell SDK
04-30
PubNub Haskell客户 建造 $ cabal configure $ cabal install --only-dependencies $ cabal build 运行示例 构建完成后，您可以运行示例的可执行文件。 $ dist/build/hello_world/hello_world Just ...
haskell：Recursos de Haskell
02-02
Haskell自由档案库 瓜德诺昂哈斯克尔 定义，实用的函数，系统的构造函数和函数。 不实际的实际。 康乃狄克州女性皮肤病概论介绍，伊斯库达和。 Tambiénse incluyen 。 介绍Haskell 洛斯底里诺斯（Losprimeros）...
Haskell：实现二叉树及其前序、中序、后序遍历和层序遍历
WinterShiver
12-23 2123
Haskell：实现二叉树及其前序、中序、后序遍历和层序遍历 用函数式编程语言实现数据结构，是非常返璞归真的一件事情。我目前持续关注这一话题，将会在近期推出一部分关于Haskell实现各种数据结构的文章。 -- BinaryTree.hs -- 定义类：二叉树 -- 方法：主要是前序、中序、后序、层序遍历 -- 心得：函数定义时老老实实用括号，不然会出问题；函数使用时可以用$符号 -- fu...
MacOS/Ubuntu/WindowsWSL配置Haskell环境
WinterShiver
11-25 948
本文在Ubuntu安装Haskell环境管理工具stack和cabal，对其他Linux/Windows WSL也适用。 安装并配置stack 访问这里 https://docs.haskellstack.org/en/stable/README/#how-to-install 获得stack的安装方法 curl -sSL https://get.haskellstack.org/ | sh 执行这条指令安装stack，需要sudo 安装好后测试 chong@DESKTOP-6EQ6H57:~$ st.
Haskell：用foldr定义foldl
WinterShiver
11-29 944
Haskell：用foldr定义foldl 文章目录Haskell：用foldr定义foldl基础知识类型推导恒等证明Q&A总结 基础知识 fold操作是把一个列表聚合成一个值的过程,而在此基础上有foldl和foldr两种对称的实现。两个函数的一种定义如下： foldl :: Foldable t => (b -> a -> b) -> b -> t a -...
Haskell：写一个漂亮的快排
WinterShiver
06-28 922
写快速排序几乎是很多人被Haskell圈粉的第一瞬间，然而可能很多人一开始的实现并不是最优的。此处记录了我的心路历程。 文章目录最初的实现使用filter只需要filter一次优雅地解决问题 最初的实现 quick_sort :: Ord a => [a] -> [a] quick_sort [] = [] quick_sort [x] = [x] quick_sort xs = quick_sort [xs !! i | i <- [0..len-1], xs !! i <= .
haskell中的data和type有什么区别
最新发布
04-28
在 Haskell 中，`data` 和 `type` 都用于定义新的类型，但它们有一些区别： 1. `data` 用于定义新的代数数据类型，而 `type` 用于定义类型别名（type synonyms）或类型函数（type functions）。 2. `data` 可以定义多个构造子（constructor），每个构造子可以包含多个参数，每个参数可以是任何类型，它们可以是递归的。而 `type` 只能定义一个类型别名或类型函数，其右侧只能是一个类型表达式（type expression）。 3. `data` 定义的类型可以进行模式匹配（pattern matching），而 `type` 定义的类型别名或类型函数不能进行模式匹配。 在简单的情况下，`data` 和 `type` 可以互换使用，但在复杂的情况下，它们的区别变得更加显著。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值