Tomas Petricek

My feedback

  1. 7 votes
    Vote
    Sign in
    (thinking…)
    Password icon
    Signed in as (Sign out)
    You have left! (?) (thinking…)
    2 comments  ·  F# Language  ·  Flag idea as inappropriate…  ·  Admin →

    Updating to planned to indicate this is approved in general terms. A detailed design and implementation would be needed.

    Implementations of approved language design can now be submitted as pull requests to the appropriate branch of http://github.com/Microsoft/visualfsharp. See http://fsharp.github.io/2014/06/18/fsharp-contributions.html for information on contributing to the F# language and core library.

    Don Syme, F# Language and Core Library Evolution

    Tomas Petricek shared this idea  · 
  2. 30 votes
    Vote
    Sign in
    (thinking…)
    Password icon
    Signed in as (Sign out)
    You have left! (?) (thinking…)
    5 comments  ·  F# Language  ·  Flag idea as inappropriate…  ·  Admin →

    Updating to planned to indicate this is approved in general terms. A detailed design and implementation would be needed.

    Implementations of approved language design can now be submitted as pull requests to the appropriate branch of http://github.com/Microsoft/visualfsharp. See http://fsharp.github.io/2014/06/18/fsharp-contributions.html for information on contributing to the F# language and core library.

    Don Syme, F# Language and Core Library Evolution

    Tomas Petricek commented  · 

    Just for a reference, I imagine that the definition would look like this:

    type R =
    static member plot([<Params>] args:IDictionary<string, obj>) = (...)

    I suppose one subtle thing here is to make sure that the type information propagates correctly through the type inference - so when you define it as taking `obj`, the arguments will need to be boxed, but when you define the dictionary as containing just `float` values, the optional arguments would presumably be restricted to floats.

    Tomas Petricek shared this idea  · 
  3. 19 votes
    Vote
    Sign in
    (thinking…)
    Password icon
    Signed in as (Sign out)
    You have left! (?) (thinking…)
    2 comments  ·  F# Language  ·  Flag idea as inappropriate…  ·  Admin →
    Tomas Petricek commented  · 

    The F# Formatting library (http://tpetricek.github.io/FSharp.Formatting/metadata.html) already partly lets you do this. It is not integrated with the compiler, so it won't work nicely in Visual Studio - but if someone added transformation that generates standard XML comments from the Markdown that we already parse, it would work nicely at least for libraries. There is even an open issue for this: https://github.com/tpetricek/FSharp.Formatting/issues/44

    I think this is quite close - and with the transformation, you could document libraries with Markdown perfectly. But further integration with compiler would make it even nicer.

  4. 453 votes
    Vote
    Sign in
    (thinking…)
    Password icon
    Signed in as (Sign out)
    You have left! (?) (thinking…)
    38 comments  ·  F# Language  ·  Flag idea as inappropriate…  ·  Admin →
    Tomas Petricek commented  · 

    I would be quite interested in the use cases that you have in mind for this? Restricted macro functionality is already available with quotations, type providers & reflection, so I'd like to know what interesting use cases are left :-)

Feedback and Knowledge Base