Daniel Robinson

← F# Language Design User Voice

My feedback

  1. Allow opening of static classes (matching the C# design)

    31 votes
    Vote
    Sign in
    (thinking…)
    Password icon
    Signed in as (Sign out)
    Close
    Close
    You have left! (?) (thinking…)
    3 comments  ·  F# Language  ·  Flag idea as inappropriate…  ·  Admin →
    Daniel Robinson supported this idea  · 

  2. Support isNull when querying the built-in SQL type providers

    5 votes
    Vote
    Sign in
    (thinking…)
    Password icon
    Signed in as (Sign out)
    Close
    Close
    You have left! (?) (thinking…)
    1 comment  ·  F# Language  ·  Flag idea as inappropriate…  ·  Admin →
    Daniel Robinson commented  · 

    Even better IMO, optimize comparison operators' handling of null so isNull isn't needed (anywhere).

  3. Update records to allow embeddable records

    22 votes
    Vote
    Sign in
    (thinking…)
    Password icon
    Signed in as (Sign out)
    Close
    Close
    You have left! (?) (thinking…)
    3 comments  ·  F# Language  ·  Flag idea as inappropriate…  ·  Admin →
    Daniel Robinson supported this idea  · 

  4. Allow [<DefaultValue>] on member val auto-properties

    6 votes
    Vote
    Sign in
    (thinking…)
    Password icon
    Signed in as (Sign out)
    Close
    Close
    You have left! (?) (thinking…)
    4 comments  ·  F# Language  ·  Flag idea as inappropriate…  ·  Admin →
    Daniel Robinson commented  · 

    Reed, an equivalent translation of your C# to F# would be:

    member val Records = Unchecked.defaultof<_> with get, set

  5. Allow all declarations to be mutually referential and the compiler takes files in any order

    39 votes
    Vote
    Sign in
    (thinking…)
    Password icon
    Signed in as (Sign out)
    Close
    Close
    You have left! (?) (thinking…)
    29 comments  ·  F# Language  ·  Flag idea as inappropriate…  ·  Admin →
    Daniel Robinson supported this idea  · 
    Daniel Robinson commented  · 

    Kevin, would the files in Solution Explorer re-order automatically based on #load's?

    Daniel Robinson commented  · 

    If we go the #include/#load route, I hope VS will still require dependency order. My 2 cents.

    Daniel Robinson commented  · 

    I'm confused. Isn't being able to view file dependencies at a glance, based on file order, a good thing for the same reason types are required to be defined in order?

  6. Wildcard self identifiers

    9 votes
    Vote
    Sign in
    (thinking…)
    Password icon
    Signed in as (Sign out)
    Close
    Close
    You have left! (?) (thinking…)
    6 comments  ·  F# Language  ·  Flag idea as inappropriate…  ·  Admin →
    planned  ·  Adminfsharporg-lang (F# Software Foundation Language Group, F# Software Foundation) responded

    I’m marking this as approved in principle for F# 4.×. you are invited to submit a quality and tested implementation would be needed, to be submitted to http://github.com/Microsoft/visualfsharp.

    See http://fsharp.github.io/2014/06/18/fsharp-contributions.html for details about contributing to the F# language and core library

    FWIW I’ve actually taken a look at this once or twice and it was surprisingly invasive to implement. But by all means give it a go and ask if you need help.

    Don Syme
    BDFL F# Language/Core Library Evolution

    Daniel Robinson commented  · 

    Richard, here's one use: http://stackoverflow.com/a/5356224/162396

    Daniel Robinson commented  · 

    Thanks for the invitation. I hope to be able to contribute to the F# tools eventually, but my schedule won't allow it at present. Hopefully someone else will be willing to take this on.

    Daniel Robinson commented  · 

    Forgot the link to the old VS UserVoice item: https://visualstudio.uservoice.com/forums/121579-visual-studio/suggestions/3745318-allow-wildcard-self-identifiers

    Daniel Robinson shared this idea  · 

  7. Allow negative indices in indexing and slicing like python

    39 votes
    Vote
    Sign in
    (thinking…)
    Password icon
    Signed in as (Sign out)
    Close
    Close
    You have left! (?) (thinking…)
    5 comments  ·  F# Language  ·  Flag idea as inappropriate…  ·  Admin →
    Daniel Robinson supported this idea  · 

  8. Enable a compiler-warning when a recursive algorithm is not tail-recursive

    311 votes
    Vote
    Sign in
    (thinking…)
    Password icon
    Signed in as (Sign out)
    Close
    Close
    You have left! (?) (thinking…)
    23 comments  ·  F# Language  ·  Flag idea as inappropriate…  ·  Admin →
    planned  ·  Adminfsharporg-lang (F# Software Foundation Language Group, F# Software Foundation) responded

    I am generally in favour of addressing this in F# 4.x+. I would want seq { .. } and async { … } tailcalls to also be addressed.

    A more detailed design is needed and some trialling would be great. Jack’s work is a great start. However, this is not an easy piece of work to do in a non-invasive way and my own experiments in this area have not yet led to something I feel confident to include in the F# language design.

    An implementation and testing would need to be provided by someone in the F# community (possibly including Microsoft or Microsoft Research, though not limited to them).

    Currently, initial implementations of approved language design can be submitted as pull requests to the appropriate branch of https://github.com/Microsoft/visualfsharp. See http://fsharp.github.io/2014/06/18/fsharp-contributions.html for info on how to contribute to the F# language/core library design

    I encourage you to consider continue…

    Daniel Robinson supported this idea  · 

  9. Syntax for turning properties into functions

    457 votes
    Vote
    Sign in
    (thinking…)
    Password icon
    Signed in as (Sign out)
    Close
    Close
    You have left! (?) (thinking…)
    under review  ·  37 comments  ·  F# Language  ·  Flag idea as inappropriate…  ·  Admin →
    Daniel Robinson supported this idea  · 

Feedback and Knowledge Base

(thinking…)