Comments on: Lambda Functions for Design By Contract http://aabs.wordpress.com/2007/10/20/lambda-functions-for-design-by-contract/ Closed weekends and holidays. Sat, 05 Jul 2008 04:10:26 +0000 http://wordpress.org/?v=MU By: Andrew Matthews http://aabs.wordpress.com/2007/10/20/lambda-functions-for-design-by-contract/#comment-20393 Andrew Matthews Sun, 10 Feb 2008 22:38:22 +0000 http://aabs.wordpress.com/2007/10/20/lambda-functions-for-design-by-contract/#comment-20393 Hi Brian, I'd be very keen to see a sample of you code. Storing the lambdas elsewhere wouldn't help with the DBC issue, that I blogged about elsewhere, of not being able to reference private properties and fields. But still, I'd like to see how you did it. Andrew Hi Brian,

I’d be very keen to see a sample of you code. Storing the lambdas elsewhere wouldn’t help with the DBC issue, that I blogged about elsewhere, of not being able to reference private properties and fields. But still, I’d like to see how you did it.

Andrew

]]> By: Brian Abbott http://aabs.wordpress.com/2007/10/20/lambda-functions-for-design-by-contract/#comment-20391 Brian Abbott Sun, 10 Feb 2008 02:09:19 +0000 http://aabs.wordpress.com/2007/10/20/lambda-functions-for-design-by-contract/#comment-20391 I did it in a delegate that's declared outside of the class/type. I have some prototype code somewhere that, last I checked, I *believed* worked. Not difficult, since... it was passing it around as a type... (I know, cheap hack, lambda was my original desire/intent, it just looks cool not to mention your functionality is right there although, not ver reusable but... it probably shouldnt be). I dont think my implementation/use case would be considered DBC it's more of a way to do custom execution between the same properties of two implementations of an interface (maybe that's DBC?). This allows everything to be done via generics in the differant vertical/horizontal components and then these guys (the attached delegates) + regular copy operations are cached to be executed at runtime... i'm not sure if this is a good or bad idea overall but, the net effect is that transitioning a 1000 property object becomes one line of code with some parameters to specifiy the operation (copy, create, etc) type. IDK, people seem to not like that fact that now things are executing that they cant see. I think it will work but, any input/cause for concern on such a design would be more than welcomed! -Brian Abbott I did it in a delegate that’s declared outside of the class/type. I have some prototype code somewhere that, last I checked, I *believed* worked. Not difficult, since… it was passing it around as a type… (I know, cheap hack, lambda was my original desire/intent, it just looks cool not to mention your functionality is right there although, not ver reusable but… it probably shouldnt be).

I dont think my implementation/use case would be considered DBC it’s more of a way to do custom execution between the same properties of two implementations of an interface (maybe that’s DBC?). This allows everything to be done via generics in the differant vertical/horizontal components and then these guys (the attached delegates) + regular copy operations are cached to be executed at runtime… i’m not sure if this is a good or bad idea overall but, the net effect is that transitioning a 1000 property object becomes one line of code with some parameters to specifiy the operation (copy, create, etc) type.

IDK, people seem to not like that fact that now things are executing that they cant see. I think it will work but, any input/cause for concern on such a design would be more than welcomed!

-Brian Abbott

]]> By: Complex Assertions using C# 3.0 « The Wandering Glitch 2 http://aabs.wordpress.com/2007/10/20/lambda-functions-for-design-by-contract/#comment-20302 Complex Assertions using C# 3.0 « The Wandering Glitch 2 Thu, 17 Jan 2008 03:26:21 +0000 http://aabs.wordpress.com/2007/10/20/lambda-functions-for-design-by-contract/#comment-20302 [...] on 16/01/2008. Recently I attempted to implement a declarative predicate checking system to allow design by contract (DBC) within C# [...] [...] on 16/01/2008. Recently I attempted to implement a declarative predicate checking system to allow design by contract (DBC) within C# [...]

]]> By: Andrew Matthews http://aabs.wordpress.com/2007/10/20/lambda-functions-for-design-by-contract/#comment-17236 Andrew Matthews Fri, 26 Oct 2007 09:18:08 +0000 http://aabs.wordpress.com/2007/10/20/lambda-functions-for-design-by-contract/#comment-17236 type safety is my concern. previous systems I've produced have compiled strings into C# but it's not what I'm after for this. type safety is my concern. previous systems I’ve produced have compiled strings into C# but it’s not what I’m after for this.

]]> By: Peter Wone http://aabs.wordpress.com/2007/10/20/lambda-functions-for-design-by-contract/#comment-17229 Peter Wone Fri, 26 Oct 2007 05:36:42 +0000 http://aabs.wordpress.com/2007/10/20/lambda-functions-for-design-by-contract/#comment-17229 How's this different from passing a script as the value of an attribute, retrieving the script at runtime and executing it? I mean apart from all the syntactic sugar. How’s this different from passing a script as the value of an attribute, retrieving the script at runtime and executing it? I mean apart from all the syntactic sugar.

]]> By: johnny fry http://aabs.wordpress.com/2007/10/20/lambda-functions-for-design-by-contract/#comment-16975 johnny fry Sat, 20 Oct 2007 15:18:56 +0000 http://aabs.wordpress.com/2007/10/20/lambda-functions-for-design-by-contract/#comment-16975 I would maybe try, instead of the attribute, putting something in the static initializer. In situations where I have had the need for some kind of runtime metadata-ish needs and Attributes are not an option (you can't have a generic attribute either - MyFancyAttribute). I would maybe try, instead of the attribute, putting something in the static initializer.

In situations where I have had the need for some kind of runtime metadata-ish needs and Attributes are not an option (you can’t have a generic attribute either - MyFancyAttribute).

]]>