Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Cayenne_(programming_language)> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples per page.
- Cayenne_(programming_language) abstract "Cayenne is a functional programming language with dependent types.The basic types are functions, products, and sums. Functions and products use dependent types to gain additional power.There are very few building blocks in the language, but much syntactic sugar to make it more readable. The syntax is largely borrowed from Haskell.There is no special module system, because with dependent types records (products) are powerful enough to define modules.The main aim with Cayenne is not to use the types to express specifications (although this can be done), but rather to use the type system to give type to more functions. An example of a function that can be given a type in Cayenne is printf.The Cayenne implementation is written in Haskell, and it also translates to Haskell.".
- Cayenne_(programming_language) wikiPageExternalLink Cayenne.pdf.
- Cayenne_(programming_language) wikiPageID "6528823".
- Cayenne_(programming_language) wikiPageLength "1942".
- Cayenne_(programming_language) wikiPageOutDegree "10".
- Cayenne_(programming_language) wikiPageRevisionID "637653029".
- Cayenne_(programming_language) wikiPageWikiLink Category:Articles_with_example_code.
- Cayenne_(programming_language) wikiPageWikiLink Category:Dependently_typed_languages.
- Cayenne_(programming_language) wikiPageWikiLink Category:Discontinued_programming_languages.
- Cayenne_(programming_language) wikiPageWikiLink Category:Functional_languages.
- Cayenne_(programming_language) wikiPageWikiLink Category:Programming_languages_created_in_the_1990s.
- Cayenne_(programming_language) wikiPageWikiLink Dependent_type.
- Cayenne_(programming_language) wikiPageWikiLink Functional_programming.
- Cayenne_(programming_language) wikiPageWikiLink Haskell_(programming_language).
- Cayenne_(programming_language) wikiPageWikiLink Syntactic_sugar.
- Cayenne_(programming_language) wikiPageWikiLink Type_system.
- Cayenne_(programming_language) wikiPageWikiLinkText "Cayenne (programming language)".
- Cayenne_(programming_language) wikiPageWikiLinkText "Cayenne programming language".
- Cayenne_(programming_language) wikiPageWikiLinkText "Cayenne".
- Cayenne_(programming_language) hasPhotoCollection Cayenne_(programming_language).
- Cayenne_(programming_language) wikiPageUsesTemplate Template:Logic-stub.
- Cayenne_(programming_language) wikiPageUsesTemplate Template:Prog-lang-stub.
- Cayenne_(programming_language) subject Category:Articles_with_example_code.
- Cayenne_(programming_language) subject Category:Dependently_typed_languages.
- Cayenne_(programming_language) subject Category:Discontinued_programming_languages.
- Cayenne_(programming_language) subject Category:Functional_languages.
- Cayenne_(programming_language) subject Category:Programming_languages_created_in_the_1990s.
- Cayenne_(programming_language) hypernym Language.
- Cayenne_(programming_language) type Language.
- Cayenne_(programming_language) type ProgrammingLanguage.
- Cayenne_(programming_language) type Software.
- Cayenne_(programming_language) type Work.
- Cayenne_(programming_language) type CreativeWork.
- Cayenne_(programming_language) type Thing.
- Cayenne_(programming_language) type Q386724.
- Cayenne_(programming_language) type Q7397.
- Cayenne_(programming_language) type Q9143.
- Cayenne_(programming_language) comment "Cayenne is a functional programming language with dependent types.The basic types are functions, products, and sums. Functions and products use dependent types to gain additional power.There are very few building blocks in the language, but much syntactic sugar to make it more readable.".
- Cayenne_(programming_language) label "Cayenne (programming language)".
- Cayenne_(programming_language) sameAs m.0g90qh.
- Cayenne_(programming_language) sameAs Q5055293.
- Cayenne_(programming_language) sameAs Q5055293.
- Cayenne_(programming_language) wasDerivedFrom Cayenne_(programming_language)?oldid=637653029.
- Cayenne_(programming_language) isPrimaryTopicOf Cayenne_(programming_language).