遇到难题了

假设我现在有一个list a =【1，2，3】
rotate函数 rotate 2 a返回【3，1，2】
list b = rotate 2 a
我现在要有一个函数decode a 返回a
同时我还要 decode b 也返回 a
也就是原来的list
这个有可能实现吗

这个函数式编程能做到吗，在没有side effect的情况下我该怎么知道原来的list是什么样子的呢

decode都没限制吗？那很多就是了

有没有可能写一个函数encode 对一个list进行编码再写一个函数decode解码
无论我怎么rotate这个list
decode都能返回初始的list呢

方法1: State monad，不过大概你不会喜欢；
方法2: 手动传参，太丑了pass
方法3: 如果a是局部的，用闭包，但是拓展性差
方法4: 用ST monad，但是会让你的类型签名变复杂，慎用
方法5（推荐）：仔细思考你的需求的根源，然后改变思路，因为这种依赖状态的行为不FP

下载贴吧APP
看高清直播、视频！

分享到: