Rosetta Code

Rosetta Code:Village Pump/SpecificationLanguages: Difference between revisions

Project page Discussion

Rosetta Code:Village Pump/SpecificationLanguages (view source)

Revision as of 17:56, 1 September 2014

662 bytes removed ,  9 years ago
old duplicate topic, not sure if redirection or deletion would be better
(What about specification languages?)
 
(old duplicate topic, not sure if redirection or deletion would be better)
 
(2 intermediate revisions by one other user not shown)
Line 1:
#REDIRECT [[Rosetta_Code:Village_Pump/Specification_Languages]]
{{Vptopic
|topic=Specification Languages
|summary=What languages can be included in Rosetta Code?
}}
 
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 [https://en.wikipedia.org/wiki/Alloy_(specification_language) Alloy].
 
So, is it programming languages only, or do we tolerate languages that are only "somewhat executable"?
Anonymous user
Retrieved from "https://rosettacode.org/wiki/Special:MobileDiff/233736...233739"