[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [ProgSoc] Programming! Code!



> -----Original Message-----
> From: owner-progsoc@xxxxxxxxxxxxxxxxxx [mailto:owner-
> progsoc@xxxxxxxxxxxxxxxxxx] On Behalf Of Nigel Sheridan-Smith
> Sent: Thursday, 19 October 2006 8:16 PM
> To: 'ProgSoc List'
> Subject: RE: [ProgSoc] Programming! Code!
> 
> I'm sure a quick (compiled) test will confirm whether...
> 
> 	bool b1 = null;
> 	System.Boolean b2 = null;
> 
> ... is valid code. It appears the C# compiler rejects both.
> 

I just remembered this... its been around for a while.

http://research.microsoft.com/specsharp/

MS Research also has a bunch of other interesting research languages for
.NET, including data-driven (can't remember what it's called), concurrency
(C"omega", Polyphonic C#), functional (F#, SML.NET), etc.

A quick Google search also turned up Extensible C# (XC#), which has some
nice additions (code coverage and verification, assertions, obfuscation,
etc).

Cheers,

Nigel


-
You are subscribed to the progsoc mailing list. To unsubscribe, send a
message containing "unsubscribe" to progsoc-request@xxxxxxxxxxxxxxxxxxx
If you are having trouble, ask owner-progsoc@xxxxxxxxxxxxxxxxxx for help.