User loginNavigation 
MultiArtifact LanguagesLately I've been wondering about a trend in software development: We seem to be grappling not so much with algorithm specification, but rather with the organization of large systems developed by large teams. As such, documentation and testing become almost as relevant as the source code itself. I was wondering whether there were any good languages for writing (1) source code, (2) documentation, and (3) unit tests all in the same location, and in an elegant way? I'm thinking something like this: (define (factorial n) (returns "the mathematical factorial of n.") (if (> n 0) (* n (factorial ( n 1))) 1) (suchthat (and (= (factorial 0) 1) (= (factorial 5) 120)))) And it would translate into (1) a function that computed the factorial, (2) a unit test for that function, and (3) this documentation (or something similar): Factorial (n): Returns the mathematical factorial of n. Examples: Factorial (0) = 1 (passed), Factorial (5) = 120 (passed). My initial thought is that it would have to be some sort of Lisptype macro system, but that's just a guess. Any thoughts would be appreciated. By Spencer Tipping at 20080718 05:17  LtU Forum  previous forum topic  next forum topic  other blogs  5617 reads

Browse archives
Active forum topics

Recent comments
5 weeks 6 days ago
10 weeks 1 day ago
11 weeks 5 days ago
11 weeks 5 days ago
14 weeks 3 days ago
19 weeks 18 hours ago
19 weeks 20 hours ago
19 weeks 3 days ago
19 weeks 3 days ago
22 weeks 2 days ago