August 2006

8 posts

Persistent Performance

There are a number of tricks that I discovered for getting performance out of persistent, immutable data structures. I also recently noticed this MSDN post on Persistent data structures. Persistent Arrays and Hashtables Persistent versions of arrays and hashtables do exist with similar constant-time behavior. They won’t be as fast since they
Read more » Aug 22, 2006, 11:10PM
.NET , Functional Programming , Immutability

Closures in Java Vs C# (Non-Local Gotos, Custom Syntax)

Sun is looking to add closures into an upcoming version of the Java language. Partial closures are already supported through the heavyweight inner classes feature. Interestingly, full closures were available in a prerelease version of Java and then removed due to user feedback. I spoke to Gilad Bracha at the Lang.Net
Read more » Aug 19, 2006, 4:20PM
.NET , C#

Powers Of Ten

The New York Times recently included an interesting graphic,“Separated at Birth,” which compares the image of the universe to that of a mouse’s neurons. The graphic strangely suggests that the universe may wrap around itself as we delve more into the infinite or the infinitesimal. This notion is captured nicely
Read more » Aug 16, 2006, 5:31AM

Big Lists

As part of my goal of programming in a more functional programming style in C#, I have been looking at scalable, immutable representations of lists. Some may feel bothered by the log(n) allocations required for each operation to a persistent data structure. However, an operation can be arbitrarily complex like a
Read more » Aug 14, 2006, 9:12PM
.NET , Functional Programming , Immutability

Floating-Point Numbers

Working with floating-point numbers can be a pain. I have written several posts on floating-point arithmetic including Numbers in .NET, Floating Point Arithmetic I and II. There is a good article on “What Every Computer Scientist Should Know About Floating-Point Arithmetic.” There’s also another great article which describes what, I believe,
Read more » Aug 14, 2006, 5:32AM

Miguel and Avalon

Joe Beda has a post “Avalon marks the end of the American Dream,” quoting Miguel de Icaza in the latter’s post “A J2EE Moment of Zen:” Avalon is the J2EE of GUI APIs. Miguel’s post originated from a conversation I had with him yesterday at the Lang.NET Symposium. It seems
Read more » Aug 3, 2006, 4:02PM

Research Pipeline

On the last day of the Lang.NET Symposium, I sat through an interesting lecture on F# with Don Syme. Don Syme is a researcher at Microsoft Research’s Cambridge office. He and Andrew Kennedy previously researched and designed generics years before its eventual incorporation into the Whidbey version (2.0) of the .NET
Read more » Aug 3, 2006, 1:35AM


At the Lang.NET Symposium, I met up a member of the Spec# research team, Mike Barnett, shared with him information about the tool I was working on, and gave him my contact information. As I suspected earlier, Rustan Leino, who previously worked at HP/Compaq on ESC/Java, joined Microsoft to work on
Read more » Aug 1, 2006, 1:05AM
.NET , NStatic





Net Undocumented is a blog about the internals of .NET including Xamarin implementations. Other topics include managed and web languages (C#, C++, Javascript), computer science theory, software engineering and software entrepreneurship.

Social Media