Great video! Juan Chen has done some really impressive work. In particular, she formalized a big chunk of the Sparc instruction set. Yes, typed machine language

Greg Morrisett's papers are worth reading. I found "TALx86: A Realistic Typed Assembly Language" to be the most accessible (http://www.cs.cornell.edu/talc/papers.html).

Unfortunately none of the research compilers or languages (including Cyclone) evolved into something 'real'. Maybe Microsoft will release "Verified C#" with Visual Studio 2011???

Thanks for putting these two on, really cool to see!

Have you looked at that paper? The notation used makes it almost impenetrable. I appreciate the ideas but I couldn't make sense of it when I was learning Haskell ... Maybe after Erik's category theory lectures it will make sense to me.

Great video - thanks for posting. I would really like to see more detailing the relationship between derivatives and the lambda-calculus. Greg even mentioned he has some code that illustrates the concept - could you post a link?

Even for people with a CS background, this is a great lecture. I didn't realize there were other kinds of computing models (Pointer machines, Kolmogarov machines). He also gave some great algorithm examples that you can't computer (buckets-of-rain) or that
are too slow (real arithmetic).

Great start to a very promising series, thank you!

## Comments

## From the Archives: Erik Meijer and Mark Shields - Compiling MSIL to JS

@Charles: can you tell us what project <beep> was? It's mentioned at the end as the project that RX and this work came out of.

Thanks for posting!

## LINQ - Composability Guaranteed

Topics for the next episode - TeX! I'd bet money Brian and Erik are TeX freaks from way back ...

## Checking In: Larry Osterman - 26 Years of Programming at Microsoft and Counting

Great interview! I went to my local library and checked out "Writing Efficient Programs" - can't wait to see how it still applies.

I was SO glad EriK asked about the TeXBook. It was disappointing that Larry only worked with it for a summer though - TeX is a mind blow.

I suspect Erik is a TeX freak - am I right? Maybe he'd do a deep dive on it

## Writing modern C++ code: how C++ has evolved over the years

Memory safe??? I'm very intrigued. C++ burned me years ago. I would love to see that times have changed.

## Future directions for C# and Visual Basic

I am so excited to see the Rosyln CTP. The demo Anders gives really impresses.

Caller Info attributes: pretty neat. Immediately I want to know why "CallerType" is missing. "CallerMemberName" just begs for it?

Another question: Will the attributes be available anywhere but optional parameters? Why not allow them on any assignment? Then I can write:

I know I can create wrapper method but it seems like ceremony.

Don't get me wrong tho, I am thrilled to see these features. Maybe I'm just bikeshedding .

## Future directions for C# and Visual Basic

@where:Seems to be available now

## Chris Hawblitzel and Juan Chen: Introduction to Typed Assembly Language (TAL)

Great video! Juan Chen has done some really impressive work. In particular, she formalized a big chunk of the Sparc instruction set. Yes, typed machine language

Greg Morrisett's papers are worth reading. I found "TALx86: A Realistic Typed Assembly Language" to be the most accessible (http://www.cs.cornell.edu/talc/papers.html).

Atsushi Ohori wrote a paper that treats typed machine languages as proof systems. Very abstract but impressive too: "A Proof Theory for Machine Code" (http://www.pllab.riec.tohoku.ac.jp/~ohori/research/LogicalMachineRevOct2005.pdf)

.Unfortunately none of the research compilers or languages (including Cyclone) evolved into something 'real'. Maybe Microsoft will release "Verified C#" with Visual Studio 2011???

Thanks for putting these two on, really cool to see!

## C9 Lectures: Greg Meredith - Monadic Design Patterns for the Web - Introduction to Monads

This is good stuff. On future slides can you use green or yellow instead of red? It doesn't show up very well ...

Thanks for posting this!

## C9 Lectures: Dr. Ralf LĂ¤mmel - Advanced Functional Programming - Evolution of an Interpreter

Have you looked at that paper? The notation used makes it almost impenetrable. I appreciate the ideas but I couldn't make sense of it when I was learning Haskell ... Maybe after Erik's category theory lectures it will make sense to me.

## E2E: Whiteboard Jam Session with Brian Beckman and Greg Meredith - Monads and Coordinate Systems

Greg mentions Conor McBride and his work on derivatives of data types. Conor has a page giving the papers and history here:

http://strictlypositive.org/calculus/

## E2E: Whiteboard Jam Session with Brian Beckman and Greg Meredith - Monads and Coordinate Systems

Great video - thanks for posting. I would really like to see more detailing the relationship between derivatives and the lambda-calculus. Greg even mentioned he has some code that illustrates the concept - could you post a link?

Good stuff as always!

## C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 1 of n

Even for people with a CS background, this is a great lecture. I didn't realize there were other kinds of computing models (Pointer machines, Kolmogarov machines). He also gave some great algorithm examples that you can't computer (buckets-of-rain) or that are too slow (real arithmetic).

Great start to a very promising series, thank you!