FP中保持纯函数编程ST 1

最新推荐文章于 2024-05-23 10:36:18 发布
最新推荐文章于 2024-05-23 10:36:18 发布
阅读量382 收藏
点赞数
分类专栏： 从FP中理解scala
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/u013571243/article/details/50708135
版权

在FP中最重要的是保持引用的透明性,所以必须纯函数式子编程,在Haskell和scalaz(参考haskell的版本),使用了ST MONAD来方式来确保副作用的安全使用

 

它使用 S => (S,A)的技巧(很多人把它归为欺骗的技巧'),将可变变量(A)的引用透明化,同时ST确保在组合中(flatmap) tranform monad,确保同一时刻只有一个状态改变,所以确保了read,write等的安全

 

这个让我想起两个知识点 Lazy 和 state,ST的作风很像STATE MONAD,当然这些都是我的见解

 

具体可以看看

 

点击打开链接
杨过悔
关注
专栏目录
浅析 FP：JavaScript 中的纯函数
xionghnly的博客
03-30 420
前言纯函数是一个常见的概念，在日常工作中也经常会遇到，它其实非常简单，今天我们来了解一下它的好处以及为什么要使用它。两个特点一个函数，如果符合以下两个特点，那么它就可以称之为纯函数：...
FP中保持纯函数编程ST 2
u013571243的专栏
02-21 293
这里还有作者的一篇文章,配合上一章觉得刚刚好 https://apocalisp.wordpress.com/2011/12/19/towards-an-effect-system-in-scala-part-2-io-monad/
FP-20 基于STL的编程
qq_51393126的博客
05-27 339
Lecture 20 基于STL的编程 什么是STL？ 除了从C标准库保留下来的一些功能外，C++还提供了一个基于模板实现的标准模板库（Standard Template Library，简称STL）。 STL基于模板实现了一些面向序列数据的表示及常用的操作。 STL支持了一种抽象的编程模式。 隐藏了一些低级的程序元素，如数组、链表、循环等。 STL包含什么？ 容器类模板 容器用于存储序列化的数据，如：向量、队列、栈、集合等。 算法（函数）模板 算法用于对容器中的数据元素进行一些常用操作，
c语言中巧算自然数编程,C/C++语言程序设计-中国大学mooc-题库零氪
weixin_35765226的博客
05-18 1989
第一周：函数(一)1.1 函数定义随堂测验1、C语言是由( )构成。A、主程序和子程序B、主函数和子函数C、一个主函数和若干功能函数D、主函数和子程序2、以下说法中正确的是( )。A、C语言程序总是从第一个的函数开始执行B、在C语言程序中,要调用的函数必须在main()函数中定义C、C语言程序总是从main()函数开始执行D、C语言程序中的main()函数必须放在程序的开始部分3、以下对C语言函数...
Linux网络编程常用函数总结
weixin_64302349的博客
10-09 199
Linux系统编程函数总结
文件IO编程及相关函数简介（1）
qq_45946988的博客
03-11 165
介绍了IO操作中所用到的系统IO操作函数和标准IO操作函数
ASN.1简介及OpenSSL中ASN.1接口使用举例
网络资源是无限的
06-02 8926
ASN.1(Abstract Syntax Notation One)是一套标准，是描述数据的表示、编码传输、解码的灵活的记法。它提供了一套正式、无歧义和精确的规则以描述独立于特定计算机硬件的对象结构。OpenSSL的编码方法就是基于该标准。ASN.1是一种结构化的数字对象描述语言，它包括两部分：数据描述语言和数据编码规则。ASN.1的数据描述语言允许用户自定义基本的数据类型，并可以通过简单的数据类型组成更复杂的数据类型。 ASN.1是ISO和ITU-T的联合标准，它本身只定义了表示信息的抽象句法，但是没
函数式编程与面向对象编程[3]:Scala的OOP-FP混合式编程与抽象代数理论
热门推荐
AI天才研究院
05-05 3万+
代数的普遍性在于，它将各种各样的相关的、不相关的事物放在一起比较，然后从这些个性的事物中提炼出共性的东西来，比如等价关系。从欧式空间（长度，夹角）到内积空间（模，不严格的夹角）再到赋范空间（范，完全抛弃夹角）也是如此，不断的改良（抽象、提炼），一改再改，但最终改到不能再改时，就完成了一个革命——甚至连范数（最熟悉因而最不愿抛弃的度量或度规）也抛弃了，从不严格的距离发展到不确定的距离（邻域δ，就像前面提到的无穷小量一样不确定），得到了里程碑式的“拓扑空间”的概念——有史以来最广泛最深刻的革命！
C++ (week4)：Linux系统编程1：文件
最新发布
Edward2022的博客
05-23 1060
Linux文件操作：文件指针FILE*、目录流DIR*、文件描述符fd。 【Linux系统编程：文件、进程、线程、网络】
解析PHP中ob_start()函数的用法
12-18
在PHP编程中，`ob_start()` 是一个非常重要的输出控制函数，它用于开启输出缓冲机制。这个函数的主要作用是将脚本的输出暂时存储在内存中，而不是立即发送到浏览器。这种机制允许开发者在需要的时候对输出进行处理，...
php发送post请求函数分享
12-18
在PHP编程中，发送POST请求通常用于向服务器传递复杂的数据，如表单数据或JSON对象。`do_post_request`函数是实现这一功能的一个自定义函数，它利用PHP的流(Stream)函数来创建HTTP请求。接下来，我们将深入探讨这个...
使用Rust实现函数式编程：构建模块化与响应式应用
"Hands-On Functional Programming in Rust 1st Edition 是一本深入介绍如何在Rust编程语言中应用函数式编程的书籍。通过本书，读者将了解Rust如何支持基本的函数式编程原则，并掌握利用这些原则构建高效、可扩展...
Linux下目录编程(读取、创建、拷贝)
12-04 428
一、前言 之前有几篇文章介绍了Linux下文件编程，那么目录和文件编程类似，也有一套函数，可以打开，读取、创建目录等。创建目录、文件除了命令以外(mkdir、touch)，都有对应的函数实现相同功能。 使用较多的就是遍历目录的功能，比如: 音乐播放器需要循环播放指定目录下所有音频文件，视频播放器需要遍历指定目录查找所有的视频文件加入到播放列表等等。 目录操作相关函数如下: #include <sys/types.h> #include <dirent.h> DIR *opendir(
从side-effect认识纯函数
u013571243的专栏
06-22 1731
纯函数: 不改变“外界的值或者说是状态”,对于同一参数都会有同一结果。在java中我们最常用的具有side-effect的非纯函数就是println 还有一个常用的side effect的函数就是Random,Random每次依靠不同的state来产生不同的值 cala> val rng = new java.util.Random rng: java.util.Random = java.
如何理解 Free Monad？
u013571243的专栏
02-19 1175
FP中有个比较拗口的monad  : Free 这里转自知乎的一个答案:   夏梓耀，理想主义码农，非战斗人员请迅速撤离 凉宫礼、Alex RENG、king zin 等人赞同 菜鸟来回答一下  Free最大的价值在于Monadic for-comprehension和Interpreter，前者只要描述算法，后者随意解释，可类比为接口和实现。 Free 可以
FP所渗透的范畴论
u013571243的专栏
07-02 953
 范畴论编辑 范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论。有些人开玩笑地称之为“一般化的抽象废话”。范畴论出现在很多数学分支中，以及理论计算机科学和数学物理的一些领域。[1]  中文名 范畴论 提出者 塞缪尔·艾伦伯格和桑德斯·麦克兰恩 提出时间 1945 应用学科 数学
scala之递归
u013571243的专栏
06-23 768
scala中提供递归的优化 如下面的例子中是一个很常见的求和递归 scala> def getSum(list:List[Int]):Int = { | if(list == Nil) 0 | else list.head + getSum(list.tail) | } 这是一个经典的头递归 递归可分为头递归和尾递归 对于两者的区分请看 点击打开链接 很
monoid之含义
u013571243的专栏
06-22 715
monoid在代数里面 The prefix "mon-" means "one" 主要三个特性 1.包含一种类型A 2.接受两个参数A的F,进行操作后并返回类型A 3.标识该类型的身份值(我把它理解为进行OP操作类型的底) 所以它的trait trait Monoid[A] { def op(a1: A, a2: A): A def zero: A } 例如 val string
函数类型的数据结构
u013571243的专栏
06-22 624
scala的数据多采用val,所以在数据处理方面采用sharing data的方式处理数据最后才返回结果,例如 val a = List(A("a",false),A("b",true),A("c",true),A("e",false),A("f",true))中吧true的数据连接起来 case class A(s:String,b:Boolean) object Test exte
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值