[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.