InfoQ

News

Review: C# Annotated Standard

Posted by Jonathan Allen on Oct 25, 2008 07:16 PM

Community
.NET
Topics
Language Design
Tags
C#

When Microsoft, along with HP and Intel, offered the C# Standard to ECMA in 2000, it was a major break in tradition. Up until that point, all programming languages developed by Microsoft were controlled solely in-house. While documentation was certainly provided, the general populace never got the in-depth to really explore the nooks and crannies of the language, let alone write their own compiler.

An unfortunate side effect of being a standard is that it is written like one. Often the standard will say a compiler may do something but is not required to. While this is fine at a conceptual level, it makes it harder than necessary to what the Microsoft C# compiler actually does.

This where the book by Jagger, Perry, and Sestoft comes into play. They take the C# 2.0 standard and fill in the blanks. This book is full of detailed information on how the Microsoft choose to implement its C# compiler. And though possibly dated, it also includes the same information on Mono's C# compiler.

The real value of this book comes from its discussion of edge cases. For example, the standard includes a section on the FGAB problem. Specifically if F(G<A, B>(7)) should be interpreted as F having the arguments G<A, B> and 7 or the arguments (G<A) and (B>7). While not much of an issue in C# 2, this far more important now that passing functions to other functions is becoming common. The authors build on the standard both by clarifying the rather esoteric text and by describing how the compilers actually handle it. (Both Microsoft and Mono simply fail to parse it in this case.)

If any complaints are to be made about this book, it is that it tends to be very dry and technical. While they do include a lot of background information about how the language came to be, it never quite gets to the conversational level we find in Framework Design Guidelines.

Annotated C# Standard by Jon Jagger, Nigel Perry, and Peter Sestoft is currently in print and also available via Google Book Search.

No comments

Watch Thread Reply

Educational Content

Bindings, Platforms, and Innovation

This presentation focuses on the Internet and separating myth from fact, history from the future, and the mundane from the imaginative. Bob Frankston presents a vision of what could and should be.

Orchestrating Long Running Activities with JBoss / JBPM

This article explores the use of JBoss and jBPM to implement design solutions that effectively address the issue of orchestrating long running activities.

Neo4j - The Benefits of Graph Databases

This presentation covers the use of graph databases as an optimal solution for data that is difficult to fit in static tables, rapidly evolving data or data that has a lot of optional attributes.

Realistic about Risk: Software development with Real Options

This session introduces Real Options and shows how it can help in running your project. Real Options is a decision-making process that can be used to manage risk.

Communication Flexibility Using Bindings

This article discusses the use of bindings on services and references (including the instance of non-configured bindings) as the means to implement SCA communications in a Web and SOA environment.

Writing DSLs in Groovy

After a short introduction to DSLs, Scott Davis plays with the keyboard showing how to approach the creation of a DSL by typing working snippets of Groovy code that get executed.

Scaling Agile with C/ALM (Collaborative Application Lifecycle Management)

IBM Rational and InfoQ present, Scaling Agile with C/ALM, an eBook showing organizations how to become “finely tuned software delivery machines” by enabling team integration and scaling.

Concurrent Programming with Microsoft F#

Amanda Laucher presents a real life enterprise application written in F#. She shows actual code snippets, explaining design decisions and suggesting how to use some of the F# constructs.