Support for Spec#

Hello all

I just noticed that I'm having a VERY hard time to write just a few lines of
code without using ReSharper - it's just too useful to program without it...
in fact, I just installed the very interesting Spec# compiler from MS
Research, which is basically C# with extensions for contract-based
programming (which I find a very important addition to a modern programming
language, and I was very disappointed to see that no such feature was added
to the 2.0-version of C# nor to the 3.0 specs; see also:
http://www.research.microsoft.com/specsharp/ ).

Anyways, since Spec# is basically C# with some additions, I thought that
maybe it would be possible to at least enable the same ReSharper support as
it is already available for C#? Especially the syntax coloring (is mostly
the same), refactoring and code navigation (Ctrl-N etc.) would be very nice
things to have; the Intellisense probably not, since the Spec# also has new
features in intellisense which would not be supported by ReSharper.

I don't know about the internals, but if it is just enabling a few settings
to make ReSharper work on Spec# projects also, this would be a very cool
thing. I realize that Spec# is a research project and that not many people
are using it (or even aware of it), still if it does require very little to
make it work, it may be worth enabling it (of course, on an unsupported
basis).

Cheers,

Arsène von Wyss


2 comments
Comment actions Permalink

Arsène,

I am afraid that the changes needed to support Spec# in ReSharper are
far from trivial, and I do not think we will have enough resources in
the company for this job, unless there is a strong market demand for this.

However, we have plans for ReSharper OpenAPI which will allow to extend
ReSharper to support different languages, and we will be willing to
support third-party developers wishing to implement their favorite
language. So far we already have F# in the pipeline :)

Cheers,
Dmitry



Arsène von Wyss wrote:

Hello all

I just noticed that I'm having a VERY hard time to write just a few lines of
code without using ReSharper - it's just too useful to program without it...
in fact, I just installed the very interesting Spec# compiler from MS
Research, which is basically C# with extensions for contract-based
programming (which I find a very important addition to a modern programming
language, and I was very disappointed to see that no such feature was added
to the 2.0-version of C# nor to the 3.0 specs; see also:
http://www.research.microsoft.com/specsharp/ ).

Anyways, since Spec# is basically C# with some additions, I thought that
maybe it would be possible to at least enable the same ReSharper support as
it is already available for C#? Especially the syntax coloring (is mostly
the same), refactoring and code navigation (Ctrl-N etc.) would be very nice
things to have; the Intellisense probably not, since the Spec# also has new
features in intellisense which would not be supported by ReSharper.

I don't know about the internals, but if it is just enabling a few settings
to make ReSharper work on Spec# projects also, this would be a very cool
thing. I realize that Spec# is a research project and that not many people
are using it (or even aware of it), still if it does require very little to
make it work, it may be worth enabling it (of course, on an unsupported
basis).

Cheers,

Arsène von Wyss



--
Dmitry Lomov
Senior Software Developer
JetBrains Inc.
http://www.jetbrains.com
"Develop With Pleasure!"

0
Comment actions Permalink

Please add me to the needing Spec# support as well. Thanks!

Billy McCafferty

0

Please sign in to leave a comment.