我对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中这是可能的。