Haskell在线运行

版本:
运行结果
教程手册
代码仓库
极速运行
交互输入
极速运行模式,更高效的运行,点击编辑器上方的运行按钮即刻体验吧。
以下是用户最新保存的代码
这是一个小程序 发布于:2021-10-12 22:01 haskell 测试 发布于:2021-09-23 22:38 [更多]
显示目录

Zippers



Zippers

Haskell中的Zippers 基本上是指向数据结构的某个特定位置的指针,例如树.

让我们考虑具有5个元素 [45,7,55,120,56] 的树,它们可以表示为完美的二叉树.如果我想更新此列表的最后一个元素,那么我需要遍历所有元素以在更新它之前到达最后一个元素.对吗?

但是,如果我们能够以这样的方式构造我们的树,即具有 N 元素的树是 [(N -1),N] 的.然后,我们不需要遍历所有不需要的(N-1)元素.我们可以直接更新第N个元素.这正是Zipper的概念.它聚焦或指向树的特定位置,我们可以在不更遍历整个树的情况下更新该值.

在下面的示例中,我们在List中实现了Zipper的概念.以同样的方式,可以在树或文件数据结构中实现Zipper.

data List a = Empty | Cons a (List a) deriving (Show, Read, Eq, Ord)
type Zipper_List a = ([a],[a])    

go_Forward :: Zipper_List a -> Zipper_List a   
go_Forward (x:xs, bs) = (xs, x:bs)   

go_Back :: Zipper_List a -> Zipper_List a   
go_Back (xs, b:bs) = (b:xs, bs)    

main = do 
   let list_Ex = [1,2,3,4] 
   print(go_Forward (list_Ex,[]))       
   print(go_Back([4],[3,2,1]))

编译并执行上述程序时,它将产生以下输出 :

([2,3,4],[1]) 
([3,4],[2,1])

这里我们关注整个字符串的元素而前进或后退.

由JSRUN为你提供的Haskell在线运行、在线编译工具
        JSRUN提供的Haskell在线运行,Haskell 在线运行工具,基于linux操作系统环境提供线上编译和线上运行,具有运行快速,运行结果与常用开发、生产环境保持一致的特点。

title

使用此草稿 删除草稿

  • 00:23
注册登录后可减少验证码的弹出,点击前往 注册 | 登录

皮肤:

运行模式:

嵌入代码 iframe嵌入:


服务器已安装大部分常用的第依赖库,但仍可能存在一些未被安装的库, 可以通过本窗口立即安装所需依赖库。


请输入依赖库的名称:

请选择语言: