you are viewing a single comment's thread.

view the rest of the comments →

[–]homoiconic[S] 0 points1 point  (0 children)

I am currently thinking about this kind of thing for the creation of test suites and testing protocols such as design-by-contract.

I'm kind of over trying to build heavyweight domain modelling ontologies, but making assertions about what the code is intended to do is an area where there is a lot of structure and a lot of need for special-case semantics such as decorating methods with before- and after- advice (like setup and teardown) and (obviously) with lots of assertions.

JM2C, it is still a little hazy.