Rosetta Code:Village Pump/Specification Languages

From Rosetta Code
Revision as of 14:51, 1 August 2013 by rosettacode>Wmeyer (What about specification language? (2nd try))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Specification Languages
This is a particular discussion thread among many which consider Rosetta Code.

Summary

What languages can be included in Rosetta Code?

Discussion

I was wondering if RC is strictly about programming languages or whether specification languages could be interesting, too? More specifically, I'm thinking of specification languages that allow to "solve" their models, i.e. create example instantiations automatically. Those languages are relatively well-suited to implement logic puzzles like Zebra puzzle. Some of these languages have pretty interesting semantics and syntax, for example Alloy.

So, is it programming languages only, or do we tolerate languages that are only "somewhat executable"? - Wmeyer (talk) 14:51, 1 August 2013 (UTC)