Haskell：Data Functor和Control Functor

最新推荐文章于 2023-08-06 01:43:23 发布
最新推荐文章于 2023-08-06 01:43:23 发布
阅读量171 收藏
点赞数
CC 4.0 BY-SA版权
分类专栏： 函数式编程和Haskell 文章标签： Haskell 函数式编程
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/WinterShiver/article/details/127284809
本文探讨了Haskell中的DataFunctor与ControlFunctor的区别。DataFunctor主要用于值的容器，而ControlFunctor则表示带有副作用的中间状态。两者的范畴论背景也有所不同。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

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.

28、Haskell 中的函子与测试实践
ww90123的博客
06-16 32
本文深入探讨了 Haskell 中函子的使用及其在实际项目中的应用，包括类型定义中的约束问题、fmap 的中缀使用技巧、灵活实例的实现，以及如何为 Parse 类型编写 Functor 实例。同时，结合 QuickCheck 进行基于属性的测试，确保代码的正确性和健壮性，并通过 HPC 工具提升测试覆盖率。文章还展示了如何利用函子优化 PGM 解析器的实现，并提供了完整的测试策略。
23、Haskell编程：代数数据类型、效应、单子与并行计算
最新发布
milk8的博客
07-11 10
本文深入探讨了 Haskell 编程语言的核心概念，包括代数数据类型的定义与使用、效应的纯函数式处理方式、单子在上下文计算中的作用，以及并行计算的实现机制。通过丰富的代码示例和练习，帮助读者全面理解 Haskell 的函数式编程思想及其实际应用。
函数编程中functor和monad的形象解释
weixin_34248118的博客
06-05 102
函数编程中functor和monad的形象解释   函数编程中Functor函子与Monad是比较难理解的概念，本文使用了形象的图片方式解释了这两个概念，容易理解与学习，分别使用Haskell和Swift两种语言为案例。 虽然Swift并不是一个函数式语言，但是我们可以用更多点代码来完成与Haskell同样的结果。Swift的代码见on GitHub. 这里是一个简单的值: 如果我们应用一个函数...
图解 Functor , Applicative 和 Monad
weixin_33951761的博客
12-27 341
英文原文链接 原文是站在Haskell方面写的，其中涉及到一些Haskell 中的方法。这些方法对于JavaScript开发者可能不太容易理解，所以可以去看JavaScript版本 上面的链接都需要梯子，想要看国内的文章，可以去这里 下面是一个值： 我们都知道怎么运用一个函数到这个值上面： 备注：图中(+3)表示的是一个进行加3操作的函数。 很简单。让我们扩展一下，任何...
「学习总结-Haskell-6」Haskell 重要编程模式——Functor,Applicative,Monad
02-05 373
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 975
文章目录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】函子 · 应用函子 · 单子
陈戏猿
08-29 1672
Haskell有三宝：函子，应用函子和单子。这三个抽象非常强大，可能也难以理解。其次这三个抽象引入了很多奇奇怪怪又可可爱爱的符号，这也是它们难以掌握的原因之一。本文会尽量以人能理解的方式层层递进地介绍函子、应用函子和单子的概念，并解释为什么会有这样的抽象。
函数式编程Haskell初探
LiuKairui的博客
06-28 1163
转变思维🤔. 从思考How(怎么编写指令)到思考What(我们要解决的问题是什么). 最初我以为函数式编程就是思考如何用函数(数学)的方式描述问题. 但逐渐发现函数式编程的重点是如何操作函数去描述函数. 总之, 他值得一学!😎 ...
Haskell 函数式编程 Functional programming with Haskell
AI天才研究院
08-06 928
1.1 什么是函数式编程？函数式编程（Functional Programming）是一种基于“函数”思想的编程范型。其基本特征包括：函数的抽象、递归定义、引用透明性、自动求值等。它是一种声明式编程风格，在计算机科学领域里属于一门重要的技术方向。1.2 为什么要学习函数式编程？更简洁的代码：函数式编程更加关注数据的处理过程，而不是直接执行指令，因此代码会更易于理解和维护。可并行计算：采用函数式编程可以有效地利用多核CPU或分布式集群进行并行计算，提高运行效率。
验证选择：基于Applicative和Selective仿函数的轻量级纯验证
02-04
在编程领域，特别是函数式编程语言如Haskell中，验证是一个关键的概念，用于确保数据的正确性和一致性。本文将深入探讨“验证选择”，一个基于Applicative和Selective仿函数的轻量级纯验证方法。理解这一主题对于...
Haskell编程笔记：深入理解核心概念
在Haskell的学习过程中，我们通常会遇到各种概念和术语，比如'λ演算'（Lambda Calculus）、'纯函数'（Pure Function）、'惰性求值'（Lazy Evaluation）、'高阶函数'（Higher-Order Functions）、'柯里化'（Currying...
Haskell：实现二叉树及其前序、中序、后序遍历和层序遍历
WinterShiver
12-23 2269
Haskell：实现二叉树及其前序、中序、后序遍历和层序遍历 用函数式编程语言实现数据结构，是非常返璞归真的一件事情。我目前持续关注这一话题，将会在近期推出一部分关于Haskell实现各种数据结构的文章。 -- BinaryTree.hs -- 定义类：二叉树 -- 方法：主要是前序、中序、后序、层序遍历 -- 心得：函数定义时老老实实用括号，不然会出问题；函数使用时可以用$符号 -- fu...
MacOS/Ubuntu/WindowsWSL配置Haskell环境
WinterShiver
11-25 1223
本文在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 1121
Haskell：用foldr定义foldl 文章目录Haskell：用foldr定义foldl基础知识类型推导恒等证明Q&A总结 基础知识 fold操作是把一个列表聚合成一个值的过程,而在此基础上有foldl和foldr两种对称的实现。两个函数的一种定义如下： foldl :: Foldable t => (b -> a -> b) -> b -> t a -...
Haskell：写一个漂亮的快排
WinterShiver
06-28 1119
写快速排序几乎是很多人被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：二元函数求偏导数
WinterShiver
01-29 1060
Haskell：二元函数求偏导数 问题 对于已知的二元函数f = f(x, y)，且有一个对一元函数求导的函数diff = diff(f)可用。 问题：如何利用diff函数求f函数对于第一个、第二个参数的偏导数？ 解答 首先确定上面提到函数的函数类型： f :: Double -> Double -> Double diff :: (Double -> Double -> ...
Haskell：写一个漂亮的归并排序
WinterShiver
11-24 922
Haskell：写一个漂亮的归并排序 引言 依然是Haskell写漂亮系列，这次通过实现一个归并排序程序并改进，来体现函数式编程的魔力及编程技巧。 第一版代码 merge_sort :: Ord a => [a] -> [a] merge_sort [] = [] merge_sort [x] = [x] merge_sort xs = merge_two (merge_sort le...
Haskell：在Monad中使用guard函数（守卫函数）
WinterShiver
06-07 863
这篇文章讲的并不是guard语法，而是MonadPlus中的guard函数。 一句话总结文章的内容：guard表达式在Monad环境中进行条件判断，起到filter的作用。 MonadPlus和guard MonadPlus的定义：1. 在这里，我们只用到MonadPlus的幺半群和左零元性质，不涉及MonadPlus进一步发展中的一些问题2。 首先，MonadPlus是Monad3，而幺半群性质即mzero和mplus构成MonadPlus集合上的幺半群。 class (Monad m) => .
Haskell do notation 的正经定义
WinterShiver
06-01 808
永远在用do，永远记不得do作为一个语法糖，对应的真实语法是什么。写一篇博文记一下。 -- | ---------------------------------------------------- -- | (1) do { m1 } ==> m1 -- | (2) do { m1; m2 } ==> m1 >> do { m2 } -- | (3) do { let s1; m1 s1 } ==> let s1 in do { m1 s1 } -- | (3’) do {
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值