synchronization - F# lock function with System.Threading.Lock - Stack Overflow

.NET 9 introduced a new Lock object (System.Threading.Lock). The C# 13 compiler has also been made able to recognize when the lock keyword is used with such a class instance, producing the correct code.

What about the F# lock function? Does it also automatically recognise the new System.Threading.Lock?

Currently I am using is with a function

let lock9 (lock: System.Threading.Lock) (f: unit -> 't) = 
    let scope = lock.EnterScope()
    try f()
    finally scope.Dispose()

F# use or using cannot be currently used as scope does not implement IDisposable

.NET 9 introduced a new Lock object (System.Threading.Lock). The C# 13 compiler has also been made able to recognize when the lock keyword is used with such a class instance, producing the correct code.

What about the F# lock function? Does it also automatically recognise the new System.Threading.Lock?

Currently I am using is with a function

let lock9 (lock: System.Threading.Lock) (f: unit -> 't) = 
    let scope = lock.EnterScope()
    try f()
    finally scope.Dispose()

F# use or using cannot be currently used as scope does not implement IDisposable

• f#
• synchronization

Share Improve this question Follow edited Mar 2 at 22:20 Franco Tiveron asked Mar 2 at 22:10 Franco TiveronFranco Tiveron 2,93611 gold badge2727 silver badges4444 bronze badges

Add a comment  | 

1 Answer 1

Sorted by: Reset to default 4

There's an open issue in the F# language repository for this, so I think the answer is currently no. There are some suggestions in the comments for how to add support in your own codebase, if you want to.