Microsoft previews Roslyn: .NET Compiler-as-a-Service infrastructure

http://msdn.microsoft.com/en-us/roslyn

by lmkg • 15 years ago

46 27 15 years ago

msdn.microsoft.com

I image keeping my development tool in Redmond ensure I keep paying fees but what does this do for developers?

contextfree2• 15 years ago

This has nothing to do with tools running on a server. The "compiler as a service" phrase they were using apparently misled people into thinking it had something to do with "software as a service", which is why they aren't using it anymore. It's about allowing external programs to plug into the compiler pipeline and reuse its syntactic and semantic analysis capabilities.

bjg• 15 years ago

As mentioned in the link, there are two presentations you can view.

Interesting demo during BUILD: http://channel9.msdn.com/Events/BUILD/BUILD2011/TOOL-816T

You can skip to 35:40ish

Cool presentation from MSR: http://research.microsoft.com/apps/video/?id=152281

You can skip to around 5:00

mullr2• 15 years ago

The build video is somewhat amusing to me. The crowd was WAY into the REPL demo, wherein they showed things that any dynamic language has been doing for decades, all the while trumpeting the "power of static typing". There IS power in static typing, but by the time you're in the REPL you don't need much of it.

skrebbel• 15 years ago

I was equally confused about this for a while. With SaaS in practice being "runs on the vendor's servers", I think "CaaS" is a badly chosen name.

I think it's ridiculous to thumb down the parent just because he misunderstood this.

Jupe• 15 years ago

I think this is quite interesting. The ability to treat code as data is an incredibly powerful concept. I don't know exactly what Roslyn does, but I see a lot of potential:

1. Measuring code complexity. I've often felt that code complexity can be gauged several ways, and one is the number of "if" statements (or select..case). Being able to query the code base of an extremely large solution is a big step in that direction.

2. Being able to "query" the call stack - how do I get from this line to the base constructor of my "user" object. Rather than stepping through the debugger, it could be a query of the code base to find the path from here to there.

3. Detecting bit-rot. Finding any method class that's simply never used could be another "query" of the code base. Yes, proper test-coverage would help detect this, but not every production system has unit tests.

4. I've worked on projects in the past where we really wanted to add guid tracing to the preamble of each function to dynamically trace the code at run time. If Roslyn supports "update" queries of the code, it might be easy to add such a feature across the whole code base (or perhaps only classes that inherit from some known base class).

Managing a code base like this (rather than grepping/searching) is a powerful concept. Perhaps we could see a LINQ for source code some day?

SeveredCross3• 15 years ago

I agree with all of your points, though the only one I can address is the LINQ for source code quip and amend it somewhat to an already possible "LINQ for codebases." It should, in theory, be just a few weekends worth of work to use Mono.Cecil (https://github.com/jbevain/cecil) to provide a nice queryable API to inspect an (already compiled) codebase. I'm sure some nice static evaluation tools could be written based on this that nobody's thought of yet.

That said, being able to inspect the source-code pre-compilation is a whole other level above and beyond—as a fan of the compile-time safety that statically-typed languages provide, any opportunity to eliminate bugs and complexity before the code makes it to a customer is a welcome one, and if Roslyn is good, it could be huge.

solutionyogi3• 15 years ago

Roslyn will be good. It has to be because from what I understand, the MS team themselves will use Roslyn in Visual Studio and other products. Roslyn isn't just a public API for others to analyze code. It will be the foundation on which .NET framework languages will depend upon.

See Eric Lippert (Member of the Roslyn team, C# Principal) notes here:

http://blogs.msdn.com/b/ericlippert/archive/2011/10/19/the-r...

vogonj• 15 years ago

as someone who's tried to use Mono.Cecil, it kind of sucks if you're not already developing on the Mono toolchain (among other things, there's no interoperability between System.Reflection types and Mono.Cecil types, and even if you're on Mono, I don't think you can "vivisect" running Assemblies.) Microsoft has a product called FxCop (http://msdn.microsoft.com/en-us/library/bb429476(VS.80).aspx) which does style analysis and linting -- however, the code analysis is all embedded in the FxCop binary and undocumented.

suffice to say, I'm psyched about Roslyn -- more about code transformations than correctness aids.

viggity• 15 years ago

I wrote a static code analysis tool with Cecil (you can write linq statements against your assemblies). And it is free. www.nitriq.com

solutionyogi3• 15 years ago

Great points. Resharper already does some of this.

1. ReSharper has a plugin to analyze cyclomatic complexity. http://confluence.jetbrains.net/display/ReSharper/Cyclomatic...

2. ReSharper has Call Tracking and Value Tracking.

http://www.jetbrains.com/resharper/features/code_analysis.ht...

3. Once again, if you are not shipping code to outside customers, you can use Solution Wide Analsys to find out unused code.

http://www.jetbrains.com/resharper/features/code_analysis.ht...

4. PostSharp helps you with your Aspect oriented programming.

http://www.sharpcrafters.com/postsharp/features

ReSharper is already very powerful, imagine if they don't have to write their own lexer and parser and can use the lexer/parser used by the C# compiler. I think they can build more useful features and users are isolated from bugs in their lexing/parsing.

I think this is an amazing development and I can't wait for this to go live so that there will be many products like Resharper helping us analyze and improve our code.

Relevant SO thread: What would you do with Compiler as a Service.

http://stackoverflow.com/questions/4222524/what-would-you-do...

euroclydon• 15 years ago

Yes, but who will help us analyze and improve our use of compiler as a service?

rbanffy2• 15 years ago

> The ability to treat code as data is an incredibly powerful concept.

It was innovative too, in the late 50's...

rbanffy2• 15 years ago

It's an old saying, "Those who do not know Lisp are doomed to reimplement it."

lmkg• 15 years ago

So I read Eric Lippert's blog post on Roslyn[1], where he says the motivation for the project was because other teams within Microsoft were re-implementing parts of the C# compiler piecemeal, so it made sense to expose those parts as an API. You know what that reminds me of? Steve Yegge's Platform rant. Specifically, the part where Bezos made Amazon convert all of their existing development infrastructure into services, that other units can make use of. That's what Roslyn is, on a much smaller scale: refactoring an application (the compiler) to be services-oriented platform.

http://blogs.msdn.com/b/ericlippert/archive/2011/10/19/the-r...

mullr2• 15 years ago

Not really, no. It's more like a compiler as a library with a nice API.

barrkel• 15 years ago

Libraries can be platforms too.

Platforms are a mode of operating when providing, on an ongoing basis, something that third parties use. There are several "promises" around platforms: a promise not to break compatibility, a promise not to coopt client software features, and - oddly enough - a promise to be incomplete, so that third parties have opportunities to build.

scott_s• 15 years ago

The authors certainly see it in this way: The transition to compilers as services dramatically lowers the barrier to entry for creating code focused tools and applications.

From http://msdn.microsoft.com/en-us/hh500769

I agree with the parent. Yegge's platform rants is what I thought of, too.

contextfree2• 15 years ago

Not only that, but iirc the project Steve Yegge is actually working on at Google is something along the same lines - a code analysis platform (for the JVM I think?)

equark• 15 years ago

If Rosyln is written in C# does this mean Roslyn can run on Mono?

duncan_bayne• 15 years ago

Interesting. Some years ago my business partner and I wrote a server in Ruby on Rails that used Mono to compile customised .NET assemblies on the fly. Worked very nicely for our problem domain but was ultimately scuppered by CAS workarounds.

Microsoft previews Roslyn: .NET Compiler-as-a-Service infrastructure

Related Stories