Jump to content

Rosetta Code:Village Pump/SpecificationLanguages: Difference between revisions

Rosetta Code:Village Pump/SpecificationLanguages (view source)

Revision as of 17:56, 1 September 2014

741 bytes removed ,  9 years ago
old duplicate topic, not sure if redirection or deletion would be better
No edit summary
(old duplicate topic, not sure if redirection or deletion would be better)
 
Line 1:
#REDIRECT [[Rosetta_Code:Village_Pump/Specification_Languages]]
{{Vptopic
|topic=SpecificationLanguages
|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"? - [[User:Wmeyer|Wmeyer]] ([[User talk:Wmeyer|talk]]) 13:33, 1 August 2013 (UTC)
Anonymous user
Retrieved from "https://rosettacode.org/wiki/Special:MobileDiff/233739"
Cookies help us deliver our services. By using our services, you agree to our use of cookies.
More information