Comments

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

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

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

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:

var line = -1;
Console.WriteLine("Printing at line {0}!", [CallerLine] line = 0);

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 .

@where:Seems to be available now

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!

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!

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.

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/

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!