专栏首页一个会写诗的程序员的博客数论 代数 群论 范畴论 与 函数式编程 Haskell, Scala数论代数群论范畴论

数论 代数 群论 范畴论 与 函数式编程 Haskell, Scala数论代数群论范畴论

来自China Scala User Group 微信群的一段话,讲的很有意思,这里摘录一下:

数论

研究一个一个的数特性;Object常用术语: 1, 2, 3, "hello world"

代数

研究数上面的操作的特性;常用术语:+ ,-, * , /, mod, concat,

群论

把代数上面的操作,根据共通的特性,分成一个组(群)一个组(群)的来研究。群P

常用术语

Semigroup半群,Monoid幺半群,Group群,Lattice格,Bool布尔代数

备注:

   半群研究组合性;幺半群研究组合中的特殊值,群主要研究对称性。

范畴论

把很多代数群一起来研究,看看有各个代数群之间有什么共通的特性;

常用术语

Functor, Bifunctor, Profunctor, Monad, Comonad, Bimonad, MonoidK, SemigroupK,,...

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 基于NodeJS的全栈式开发(基于NodeJS的前后端分离)【转】

    随着不同终端(Pad/Mobile/PC)的兴起,对开发人员的要求越来越高,纯浏览器端的响应式已经不能满足用户体验的高要求,我们往往需要针对不同的终端开发定制的...

    一个会写诗的程序员
  • 人人都是产品经理 : 如何写出一份优秀的 PRD ? 精于心简于形 !

    一个好的prd框架结构应该至少包含以下内容:产品简介、产品概览、产品架构、产品原型、非功能性需求,如下图:

    一个会写诗的程序员
  • 跨境电子商务( Cross-Border Electronic Commerce )是什么?

    跨境电子商务是基于网络发展起来的,网络空间相对于物理空间来说是一个新空间,是一个由网址和密码组成的虚拟但客观存在的世界。网络空间独特的价值标准和行为模式深刻地影...

    一个会写诗的程序员
  • 可穿戴智能服装可能是你未来穿衣风格的风向标

    镁客网
  • 这是中国为什么投资印尼的原因

    印尼不仅拥有发展电子商务的巨大潜力,据预测印尼电子商务市场规模在2020年达到1300亿美元,并且这一市场还在不断的扩大。雅加达和爪哇岛的其他大城市仍然是核心...

    点滴科技资讯
  • 北大成功研制新一代微型化双光子荧光显微镜,大脑解码更上一层楼

    镁客网
  • Java管理扩展指南之MBean简介

    MBean是一个被管理的Java对象,就像Javabean组件一样,但是它遵从JMX规范的设计模式。MBean可以表示设备、应用或者任何需要被管理的资源。MBe...

    哲洛不闹
  • 教程 | BerryNet:如何在树莓派上实现深度学习智能网关

    选自Github 机器之心编译 参与:蒋思源 该项目在树莓派 3 上使用深度学习使其成为一个智能网关。该设备并不需要联网,所有的训练和调试等都在树莓派 3 本...

    机器之心
  • Flink的DataSource三部曲之三:自定义

    本文是《Flink的DataSource三部曲》的终篇,前面都是在学习Flink已有的数据源功能,但如果这些不能满足需要,就要自定义数据源(例如从数据库获取数据...

    程序员欣宸
  • Mac全栈开发-Markdown手册

    Headings from h1 through h6 are constructed with a # for each level:

    用户1065635

扫码关注云+社区

领取腾讯云代金券