会员
众包
新闻
博问
闪存
赞助商
HarmonyOS
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
Loading
学习笔记
管理
2022年6月12日
lazy ruler
摘要: lazy ruler streamRepeat :: a -> Stream a streamRepeat a = Cons a (streamRepeat a) streamToList :: Stream a -> [a] streamToList (Cons a xs) = a : strea
阅读全文
posted @ 2022-06-12 02:35 人中之人
阅读(46)
评论(0)
推荐(0)