BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Topics

Choose your language

InfoQ Homepage News The "use" Binding In F# and How It Should Be Applied To C# and VB

The "use" Binding In F# and How It Should Be Applied To C# and VB

Bookmarks

F# is a functional language that runs on the CLR. Despite being a research language, it has several claims to fame including being the first .NET language to support generics.

In a recent post about F# 1.9.2, Don Syme talked about the "use" binding. Essentially it isn't that interesting, it just provide support for the Using construct so familiar to C# and VB developers. In fact, "use" itself is not much more powerful than the "using" function that can be so easily written in F#.

As a possible future enhancement, Don Syme mentioned that the "use" binding could be applied at the class level. If it were done that way, then the IDisposable pattern could be automatically implemented by the compiler.

Before we move on, lets take a moment to look at the IDisposable pattern. Below is the code snippet that ships with Visual Basic.

Class ResourceClass
    Implements IDisposable

    Private disposed As Boolean = False        ' To detect redundant calls

    ' IDisposable
    Protected Overridable Sub Dispose(ByVal disposing As Boolean)
        If Not Me.disposed Then
            If disposing Then
                ' Free other state (managed objects).
            End If
            ' Free your own state (unmanaged objects).
            ' Set large fields to null.
        End If
        Me.disposed = True
    End Sub

#Region " IDisposable Support "
    ' This code added by Visual Basic to correctly implement the disposable pattern.
    Public Sub Dispose() Implements IDisposable.Dispose
        ' Do not change this code.  Put cleanup code in Dispose(ByVal disposing As Boolean) above.
        Dispose(True)
        GC.SuppressFinalize(Me)
    End Sub

    Protected Overrides Sub Finalize()
        ' Do not change this code.  Put cleanup code in Dispose(ByVal disposing As Boolean) above.
        Dispose(False)
        MyBase.Finalize()
    End Sub
#End Region

End Class

As you can see, there is quite a bit of overhead. Even if the class doesn't have any unmanaged resources of its own, allowing the removal of the Finalize method, there is still a lot going on. And ultimately it is still flawed because there is no error handling, which can become a major problem down the road.

This is where the impact of research languages can really be felt. By taking this idea from F# and applying it to VB and C#, we would reduce all of this boilerplate code to a single partial method that handles the unmanaged objects.

Rate this Article

Adoption
Style

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

  • First .Net language to support Generics

    by Eirik Mangseth,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    What year was F# created? Eiffel (www.eiffel.com) was one of the first languages to
    be released on the .Net platform and Eiffel had support for generics long before .Net came on the market.

    EM

  • Re: First .Net language to support Generics

    by Jonathan Allen,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    I did mis-speak. F# was the first to use ".NET Generics" as defined by the CLR.

    Eiffel does have its own implementation of generics. According to the Eiffel documentation,

    The CLR does not support generics at all, so that the following Eiffel for .NET classes:


    This leads me to believe that Eiffel hasn't implemented .NET generics yet.

  • Re: Just Do It Please!

    by Jonathan Allen,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    You can post suggestions to Microsoft at connect.microsoft.com

    I have taken the liberty of making a suggestion to the VB team.

    connect.microsoft.com/VisualStudio/feedback/Vie...

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

BT