訪問函數中的行變量

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 }