functional-programming - 实现懒惰和记忆
问题描述
懒惰是《纯函数式数据结构》一书中的基石,但没有清楚地描述他是如何获得它的,至少对我来说是这样。我以为我只需要写:
datatype 'a susp = $ of 'a
fun force ($x) = x
fun plus (x, y) = $case (x, y) of ($m, $n) => m + n
但后来我得到了错误:
- use "ch4.sml";;
[opening ch4.sml]
ch4.sml:3.20 Error: syntax error: inserting ORELSE
[unexpected exception: Compile]
uncaught exception Compile [Compile: "syntax error"]
raised at: ../compiler/Parse/main/smlfile.sml:19.24-19.46
../compiler/TopLevel/interact/evalloop.sml:45.54
../compiler/TopLevel/interact/evalloop.sml:306.20-306.23
../compiler/TopLevel/interact/interact.sml:65.13-65.16
我尝试将功能修改为
fun plus (x, y) = $(print "Evaluating...\n"; force x + force y)
但是用plus ($4, $5)
评估它调用它并没有记住它,因为它返回$ 9
而不是它两次都$ plus(force $4, force $5)
打印。Evaluating...
- plus ($4, $5);;
Evaluating...
val it = $ 9 : int susp
- plus ($4, $5);;
Evaluating...
val it = $ 9 : int susp
我也想获取关键字lazy
,但我不确定 SML New Jersey 是否支持这个,它是由 Chris Okasaki 实现的,还是手动脱糖的。关键字在我的编辑器中突出显示,但在编写时
fun lazy plus ($x, $y) = $ (x + y)
我知道这lazy
是带有两个参数的函数,plus
并且($x, $y)
由类型给出:
val lazy = fn : 'a -> int susp * int susp -> int susp
我的问题归结为如何在 SML New Jersey 中获得懒惰和记忆?
解决方案
您需要启用惰性并添加一些括号($
书中有特殊的解析规则):
Standard ML of New Jersey v110.83 [built: Thu May 31 09:04:19 2018]
- Control.lazysml := true;
[autoloading]
[ ... boring details ...]
[autoloading done]
val it = () : unit
- open Lazy;
[autoloading]
[autoloading done]
opening Lazy
datatype 'a susp = $ of 'a
- fun plus (x, y) = $(case (x, y) of ($m, $n) => m + n);
val plus = fn : int susp * int susp -> int susp
- val x = plus($4, $5);
val x = $$ : int susp
- fun force ($x) = x;
val force = fn : 'a susp -> 'a
- force x;
val it = 9 : int
- fun lazy plus ($x, $y) = $ (x + y);
val plus = fn : int susp * int susp -> int susp
val plus_ = fn : int susp * int susp -> int
请注意,这不会记忆plus
。
推荐阅读
- performance - 估计系统可以处理的负载/并发命中量
- python - 根据另外两列的值填充一个pandas列
- loops - 查找用户给定的单个元素的立方体。(Vue.js)
- c# - 用 Jest 和 Enzyme 反应单元测试
- android - Android ACTION_REQUEST_IGNORE_BATTERY_OPTIMIZATIONS 是否允许后台服务?
- android - Android ViewModel 在第一次调用时不加载数据
- vue.js - 如何在 nuxt js 中添加动态路由前缀?
- c - 在c中我找不到使用二元探索的三次方程解
- active-directory - Active Directory - 更改用户密码时丢失连接
- javascript - Vuejs无法获取数组中的数据