访问函数中的行变量

Question

我对ML中的行多态性的理解是我们可以访问函数中的行变量。

fun f {x : real, y : real, R} = {x = 2 * x, y = 2 * y, R}; 
=> (* f : {x : real, y : real, _ : ..a} -> {x : real, y : real, _ : ..a} *) 

f {x = 2.0, y = 3.0, z = 4.0}; 
=> (* it = {x = 4.0, y = 6.0, z = 4.0}; *) 

只是好奇，如果这可能在PureScript中。

Answer 1

我假设你想update记录的一些属性，而无需丢弃其它性能：

f :: forall r. { x :: Int, y :: Int | r } -> { x :: Int, y :: Int | r } 
f r = r { x = r.x * 2, y = r.y * 2 }