会员服务
泛函 · Haskell · 样例 · 讲稿 · 编程语言 ·
10 月 10 日
Accessible bridge between category theory and functional programming
翻译：暂无翻译
Fethi Kadhi
Fethi Kadhi
from arxiv, in French language, Conference SMT 2023

Monadic programming presents a significant challenge for many programmers. In light of category theory, we offer a new perspective on the use of monads in functional programming. This perspective is clarified through numerous examples coded in Haskell.


翻译：暂无翻译
0
下载
关闭预览

相关内容

【CVPR 2022】一个完全无监督的框架，从噪声和部分测量中学习图像，Robust Equivariant Imaging: a fully unsupervised framework for learning to image
【CVPR 2022】一个完全无监督的框架，从噪声和部分测量中学习图像，Robust Equivariant Imaging: a fully unsupervised framework for learning to image
专知会员服务
23+阅读 · 2022年3月3日
牛津大学最新《计算代数拓扑》笔记书，107页pdf
牛津大学最新《计算代数拓扑》笔记书，107页pdf
专知会员服务
42+阅读 · 2022年2月17日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
77+阅读 · 2020年7月26日
【AI应用】Facebook-利用神经网络求解高等数学方程, Using neural networks to solve advanced mathematics equations
【AI应用】Facebook-利用神经网络求解高等数学方程, Using neural networks to solve advanced mathematics equations
专知会员服务
33+阅读 · 2020年1月15日
【WSDM2020】超越统计关系：将知识关系整合到多标签音乐风格分类的风格关联中（附pdf）
专知会员服务
16+阅读 · 2019年11月23日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
机器学习相关资源(框架、库、软件)大列表
机器学习相关资源(框架、库、软件)大列表
专知会员服务
39+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
学习自然语言处理路线图
学习自然语言处理路线图
专知会员服务
137+阅读 · 2019年9月24日
Github项目推荐 | 股市预测的机器学习/深度学习模型/资源集锦
Github项目推荐 | 股市预测的机器学习/深度学习模型/资源集锦
AI研习社
32+阅读 · 2019年4月18日
Github项目推荐 | 语义分割、实例分割、全景分割和视频分割的论文和基准列表
Github项目推荐 | 语义分割、实例分割、全景分割和视频分割的论文和基准列表
AI研习社
31+阅读 · 2019年4月5日
meta learning 17年：MAML SNAIL
meta learning 17年：MAML SNAIL
CreateAMind
11+阅读 · 2019年1月2日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
开放知识图谱
28+阅读 · 2018年6月11日
论文浅尝 | 知识图谱问答中的层次类型约束主题实体识别
论文浅尝 | 知识图谱问答中的层次类型约束主题实体识别
开放知识图谱
10+阅读 · 2018年5月14日
论文浅尝 | 利用 RNN 和 CNN 构建基于 FreeBase 的问答系统
论文浅尝 | 利用 RNN 和 CNN 构建基于 FreeBase 的问答系统
开放知识图谱
11+阅读 · 2018年4月25日
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
科技创新与创业
17+阅读 · 2017年11月17日
Layer Normalization原理及其TensorFlow实现
Layer Normalization原理及其TensorFlow实现
深度学习每日摘要
32+阅读 · 2017年6月17日
Musielak-Orlicz-Sobolev 空间中的迹嵌入及其应用
国家自然科学基金
1+阅读 · 2015年12月31日
复多项式的核拓扑熵
国家自然科学基金
0+阅读 · 2015年12月31日
基于格值逻辑的语言真值α-群锁语义归结自动推理研究
国家自然科学基金
0+阅读 · 2015年12月31日
非局部边值问题的特征值及其应用
国家自然科学基金
0+阅读 · 2015年12月31日
随机二阶锥互补问题理论与算法研究及其应用
国家自然科学基金
0+阅读 · 2015年12月31日
动态Gr？bner 基与GVW算法
国家自然科学基金
0+阅读 · 2014年12月31日
Biot模型基于有限元离散的多重网格算法研究
国家自然科学基金
1+阅读 · 2014年12月31日
复杂多元数据的半参数统计推断
国家自然科学基金
4+阅读 · 2014年12月31日
Poisson流形上的修正Hamilton方法
国家自然科学基金
0+阅读 · 2014年12月31日
仿拓扑群中的三空间问题
国家自然科学基金
0+阅读 · 2014年12月31日
Component based model order reduction with mortar tied contact for nonlinear quasi-static mechanical problems
Arxiv
0+阅读 · 11月14日
Fourier analysis of spatial point processes
Arxiv
0+阅读 · 11月14日
The local limit theorem for complex valued sequences: the parabolic case
Arxiv
0+阅读 · 11月13日
Imputation-based randomization tests for randomized experiments with interference
Arxiv
0+阅读 · 11月13日
Restoration algorithms and system performance evaluation for active imagers
Arxiv
0+阅读 · 11月13日
Consistent model selection for estimating functional interactions among stochastic neurons with variable-length memory
Arxiv
0+阅读 · 11月12日
Emergent functional dynamics of link-bots
Arxiv
0+阅读 · 11月12日
Towards a criteria-based approach to selecting human-AI interaction mode
Arxiv
0+阅读 · 11月11日
Transformers represent belief state geometry in their residual stream
Arxiv
0+阅读 · 11月11日
Augmentation for small object detection
Augmentation for small object detection
Arxiv
11+阅读 · 2019年2月19日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
泛函
Haskell
样例
讲稿
编程语言
相关VIP内容
【CVPR 2022】一个完全无监督的框架，从噪声和部分测量中学习图像，Robust Equivariant Imaging: a fully unsupervised framework for learning to image
【CVPR 2022】一个完全无监督的框架，从噪声和部分测量中学习图像，Robust Equivariant Imaging: a fully unsupervised framework for learning to image
专知会员服务
23+阅读 · 2022年3月3日
牛津大学最新《计算代数拓扑》笔记书，107页pdf
牛津大学最新《计算代数拓扑》笔记书，107页pdf
专知会员服务
42+阅读 · 2022年2月17日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
77+阅读 · 2020年7月26日
【AI应用】Facebook-利用神经网络求解高等数学方程, Using neural networks to solve advanced mathematics equations
【AI应用】Facebook-利用神经网络求解高等数学方程, Using neural networks to solve advanced mathematics equations
专知会员服务
33+阅读 · 2020年1月15日
【WSDM2020】超越统计关系：将知识关系整合到多标签音乐风格分类的风格关联中（附pdf）
专知会员服务
16+阅读 · 2019年11月23日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
机器学习相关资源(框架、库、软件)大列表
机器学习相关资源(框架、库、软件)大列表
专知会员服务
39+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
学习自然语言处理路线图
学习自然语言处理路线图
专知会员服务
137+阅读 · 2019年9月24日
热门VIP内容
相关资讯
Github项目推荐 | 股市预测的机器学习/深度学习模型/资源集锦
Github项目推荐 | 股市预测的机器学习/深度学习模型/资源集锦
AI研习社
32+阅读 · 2019年4月18日
Github项目推荐 | 语义分割、实例分割、全景分割和视频分割的论文和基准列表
Github项目推荐 | 语义分割、实例分割、全景分割和视频分割的论文和基准列表
AI研习社
31+阅读 · 2019年4月5日
meta learning 17年：MAML SNAIL
meta learning 17年：MAML SNAIL
CreateAMind
11+阅读 · 2019年1月2日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
开放知识图谱
28+阅读 · 2018年6月11日
论文浅尝 | 知识图谱问答中的层次类型约束主题实体识别
论文浅尝 | 知识图谱问答中的层次类型约束主题实体识别
开放知识图谱
10+阅读 · 2018年5月14日
论文浅尝 | 利用 RNN 和 CNN 构建基于 FreeBase 的问答系统
论文浅尝 | 利用 RNN 和 CNN 构建基于 FreeBase 的问答系统
开放知识图谱
11+阅读 · 2018年4月25日
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
基于位置注意力机制模型和带标签数据来提升槽填充（EMNLP outstanding paper）
科技创新与创业
17+阅读 · 2017年11月17日
Layer Normalization原理及其TensorFlow实现
Layer Normalization原理及其TensorFlow实现
深度学习每日摘要
32+阅读 · 2017年6月17日
相关论文
Component based model order reduction with mortar tied contact for nonlinear quasi-static mechanical problems
Arxiv
0+阅读 · 11月14日
Fourier analysis of spatial point processes
Arxiv
0+阅读 · 11月14日
The local limit theorem for complex valued sequences: the parabolic case
Arxiv
0+阅读 · 11月13日
Imputation-based randomization tests for randomized experiments with interference
Arxiv
0+阅读 · 11月13日
Restoration algorithms and system performance evaluation for active imagers
Arxiv
0+阅读 · 11月13日
Consistent model selection for estimating functional interactions among stochastic neurons with variable-length memory
Arxiv
0+阅读 · 11月12日
Emergent functional dynamics of link-bots
Arxiv
0+阅读 · 11月12日
Towards a criteria-based approach to selecting human-AI interaction mode
Arxiv
0+阅读 · 11月11日
Transformers represent belief state geometry in their residual stream
Arxiv
0+阅读 · 11月11日
Augmentation for small object detection
Augmentation for small object detection
Arxiv
11+阅读 · 2019年2月19日
相关基金
Musielak-Orlicz-Sobolev 空间中的迹嵌入及其应用
国家自然科学基金
1+阅读 · 2015年12月31日
复多项式的核拓扑熵
国家自然科学基金
0+阅读 · 2015年12月31日
基于格值逻辑的语言真值α-群锁语义归结自动推理研究
国家自然科学基金
0+阅读 · 2015年12月31日
非局部边值问题的特征值及其应用
国家自然科学基金
0+阅读 · 2015年12月31日
随机二阶锥互补问题理论与算法研究及其应用
国家自然科学基金
0+阅读 · 2015年12月31日
动态Gr？bner 基与GVW算法
国家自然科学基金
0+阅读 · 2014年12月31日
Biot模型基于有限元离散的多重网格算法研究
国家自然科学基金
1+阅读 · 2014年12月31日
复杂多元数据的半参数统计推断
国家自然科学基金
4+阅读 · 2014年12月31日
Poisson流形上的修正Hamilton方法
国家自然科学基金
0+阅读 · 2014年12月31日
仿拓扑群中的三空间问题
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top