Thsi has been mentioned before. One issue is that the CLI, and the .NET Framework don't have any notion of purity. So you'd be pretty limited in what you can do in pure code.

There is something called "Code Contracts" that's being added to .NET 4 (I think) to address some of the shortcomings of the .NET type system (like non-null references). F# could possibly pick up on some of those to help static analysis.

Having it fully throughout the system would require extending the type system to encompass purity. I doubt this will happen anytime soon.

By on 9/7/2009 9:54 AM ()

Thank you for this. I was not aware this had been raised before and am pleased that I'm not the only one who would like this feature. I'm not so sure lack of framework support would matter too much as it would be methods I wrote myself or in the FSharp-specific libraries that I would want to reason about.

I will look into code contracts.

Thanks again.

By on 9/7/2009 12:08 PM ()
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy
Built with WebSharper