Discussion of proposal 2015-007 (Addition of Ref module).

Question

Discussion of proposal 2015-007 (Addition of Ref module).

rossberg-old opened this issue 9 years ago · comments

This issue is for discussion of proposal 2015-007 (Addition of Ref module).

Matthew Fluet · Answer 1 · Sun Aug 16 2015 22:41:19 GMT+0800 (China Standard Time)

Should the type of exchange be:

val exchange : 'a ref * ‘a -> ‘a

rather than

val exchange : 'a ref * ‘a ref -> ‘a

Andreas Rossberg · Answer 2 · Sun Aug 16 2015 22:47:09 GMT+0800 (China Standard Time)

Yes, indeed. Fixed, thanks.

eduardoleon · Answer 3 · Sat Jul 02 2016 23:10:26 GMT+0800 (China Standard Time)

Could you include in the proposal two types of reference cell? Thread-unsafe (what SML already has) and thread-safe (requiring atomic modifications). The signature for both implementations should be exactly the same.