1. Joe Hummel, PhD @joehummel joe@joehummel.net http://www.joehummel.net/downloads.html the compiler is at your service SDC Meetup, Sept 2014

2.  Joe Hummel, PhD  Professor:U. of Illinois, Chicago  Consultant:Joe Hummel, Inc.  Trainer:Pluralsight  Microsoft MVP C++  Chicago-based, one daughter adopted from China (now 12!)  Avid sailor SDC Meetup Sept 2014 2 Project Roslyn

3. SDC Meetup Sept 2014 3 Project Roslyn

4.  What is Project Roslyn?  The ".NET Compiler Platform"  Replacement of existing.NET compilers with new ones  csc for C#  vbc for VB.NET SDC Meetup Sept 2014 4 Project Roslyn 000101010 101010101 010101010 csc

5.  Why is this a big deal?  Risky  if they get this wrong, folks can't build their apps  if they get this wrong, MSFT can't build their apps SDC Meetup Sept 2014 5 Project Roslyn

6.  What's the benefit?  Faster turnaround on new features  inside and outside MSFT  Grow the Visual Studio ecosystem  MUCH easier to build new tools  MUCH easier to extend Visual Studio, C# and VB  MUCH easier to try out new ideas SDC Meetup Sept 2014 6 Project Roslyn

7.  Status  preview release  open source!  http://roslyn.codeplex.com http://roslyn.codeplex.com SDC Meetup Sept 2014 7 Project Roslyn

8.  Open source?  Yes, open source!  Apache license 2.0  You are free to GIT, fork, modify, rebuild, deploy  Anders did this on stage @ Build 2014 SDC Meetup Sept 2014 8 Project Roslyn

9. SDC Meetup Sept 2014 9 Project Roslyn

10.  C# and VB compilers were black boxes  predefined switches only way to interact… SDC Meetup Sept 2014 10 Project Roslyn csc > csc.exe main.cs /o /warn:4

11. SDC Meetup Sept 2014 11 Project Roslyn

12.  The compilers are now white boxes  You can:  obtain information about a program  modify a program syntactically / semantically  impact the compilation process  change the compiler itself! 12 SDC Meetup Sept 2014 Project Roslyn csc Roslyn

13. 13 SDC Meetup Sept 2014 Project Roslyn csc "Call me every time you see an identifier…" (because I'm renaming all global variables) "Emit this code instead…" (I'm targeting specific HW) // translate resource strings: foreach(Project p) foreach(Document d) foreach(Resource r) replace (r, r'); // translate resource strings: foreach(Project p) foreach(Document d) foreach(Resource r) replace (r, r'); Roslyn

14.  What can we do with this capability?  Infinite possibilities:  better tools — refactoring, analysis, …  better enforcement of coding standards  add scripting support to your app  target new platforms  language research — DSLs, …  compiler research …… SDC Meetup Sept 2014 14 Project Roslyn ? ?

15. SDC Meetup Sept 2014 15 Project Roslyn

16.  Front-end vs. Back-end  Front-end deals with syntax ― "grammar"  Back-end deals with semantics ― "meaning" SDC Meetup Sept 2014 16 Project Roslyn

17. SDC Meetup Sept 2014 17 Project Roslyn Source language Parsing Assembly language Lexical Analysis Compiler Semantic Analysis High-level Optimizer Code Gen Low-level Optimizer tokens IRIR'IR'' IR''' // comment if (x>100) x = 100; // comment if (x>100) x = 100; if, (, x, >, 100, ), x, =, … syntax errors semantic errors

18.  Roslyn Intermediate Representation (IR)  Abstract Syntax Tree (AST)  Symbol Table SDC Meetup Sept 2014 18 Project Roslyn + GCD program 0"int", type, … 1"void", type, … 2… 3"getint", funct, type: 0, … 4"putint", funct, type: 1, … 5"i", var, type: 0, … 6"j", var, type: 0, … ……

19.  How to learn Roslyn AST?  Use the Roslyn Syntax Visualizer!  Open a project  Open a source file  View menu… >> Other Windows >> Roslyn Syntax Visualizer SDC Meetup Sept 2014 19 Project Roslyn

20. SDC Meetup Sept 2014 20 Project Roslyn

21.  Roslyn is BIG  There are many APIs…  There is the source code itself… SDC Meetup Sept 2014 21 Project Roslyn +

22.  Start small  Let’s create a simple diagnostic that warns about empty catch blocks… SDC Meetup Sept 2014 22 Project Roslyn

23.  Step 1:  Create new project… >> Roslyn >> Diagnostic with Code Fix  Name >> EmptyCatchDiagnostic SDC Meetup Sept 2014 23 Project Roslyn

24.  Step 2:  Create Syntax Node Analyzer to detect empty catches SDC Meetup Sept 2014 24 Project Roslyn public class DiagnosticAnalyzer : ISyntaxNodeAnalyzer {. public ImmutableArray SyntaxKindsOfInterest { get { return ImmutableArray.Create( SyntaxKind.CatchClause ); } } // only called for things of interest: public void AnalyzeNode(SyntaxNode node,...) { var catchBlock = node as CatchClauseSyntax; if (catchBlock.Block.Statements.Count == 0) // empty! { var diagnostic = Diagnostic.Create(...); // create warning: addDiagnostic(diagnostic); // display: } public class DiagnosticAnalyzer : ISyntaxNodeAnalyzer {. public ImmutableArray SyntaxKindsOfInterest { get { return ImmutableArray.Create( SyntaxKind.CatchClause ); } } // only called for things of interest: public void AnalyzeNode(SyntaxNode node,...) { var catchBlock = node as CatchClauseSyntax; if (catchBlock.Block.Statements.Count == 0) // empty! { var diagnostic = Diagnostic.Create(...); // create warning: addDiagnostic(diagnostic); // display: }

25.  Step 3:  Create Code Fix Provider to optionally correct problem… SDC Meetup Sept 2014 25 Project Roslyn internal class CodeFixProvider : ICodeFixProvider {. // only called for things of interest: public async Task GetFixesAsync(Document document,...) { var root = await document.GetSyntaxRootAsync(cancellationToken); var token = root.FindToken(span.Start); // catch keyword: if (!token.IsKind(SyntaxKind.CatchKeyword)) // sanity check: return null; var catchBlock = (CatchClauseSyntax)token.Parent; var throwStmt = SyntaxFactory.ThrowStatement(); var newStmts = new SyntaxList ().Add(throwStmt); var newBlock = SyntaxFactory.Block().WithStatements(newStmts); var newCatchBlock = SyntaxFactory.CatchClause(). WithBlock(newBlock). WithAdditionalAnnotations(Formatter.Annotation); var newRoot = root.ReplaceNode(catchBlock, newCatchBlock); return new[] { CodeAction.Create("throw", document.WithSyntaxRoot(newRoot)) }; } internal class CodeFixProvider : ICodeFixProvider {. // only called for things of interest: public async Task GetFixesAsync(Document document,...) { var root = await document.GetSyntaxRootAsync(cancellationToken); var token = root.FindToken(span.Start); // catch keyword: if (!token.IsKind(SyntaxKind.CatchKeyword)) // sanity check: return null; var catchBlock = (CatchClauseSyntax)token.Parent; var throwStmt = SyntaxFactory.ThrowStatement(); var newStmts = new SyntaxList ().Add(throwStmt); var newBlock = SyntaxFactory.Block().WithStatements(newStmts); var newCatchBlock = SyntaxFactory.CatchClause(). WithBlock(newBlock). WithAdditionalAnnotations(Formatter.Annotation); var newRoot = root.ReplaceNode(catchBlock, newCatchBlock); return new[] { CodeAction.Create("throw", document.WithSyntaxRoot(newRoot)) }; }

26.  Step 4:  Run!  A.vsix installer is built  A new instance of VS is started  The.vsix is installed  Open a project and test… SDC Meetup Sept 2014 26 Project Roslyn

27. SDC Meetup Sept 2014 27 Project Roslyn

28.  Install Roslyn preview on top of VS 2013…  That supports seems to be gone  Roslyn preview ships as part of VS “14” CTP 3  So just install VS 14, or  Run pre-built VS 14 VM available in Azure VM gallery  See http://roslyn.codeplex.com/ for more detailshttp://roslyn.codeplex.com/ SDC Meetup Sept 2014 28 Project Roslyn

29. SDC Meetup Sept 2014 29 Project Roslyn

30.  Thank you for attending!  Joe Hummel, PhD  Email: joe@joehummel.netjoe@joehummel.net  Materials: http://www.joehummel.net/downloads.htmlhttp://www.joehummel.net/downloads.html  For more information on Roslyn:  Docs / FAQ:  http://roslyn.codeplex.com/documentation http://roslyn.codeplex.com/documentation  Build 2014 on Channel 9  The Future of C#  https://channel9.msdn.com/Events/Build/2014/2-577 https://channel9.msdn.com/Events/Build/2014/2-577 SDC Meetup Sept 2014 30 Project Roslyn