Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Cayenne_(programming_language)> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items 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 a lot of 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 html.
- Cayenne_(programming_language) wikiPageID "6528823".
- Cayenne_(programming_language) wikiPageRevisionID "563710323".
- Cayenne_(programming_language) hasPhotoCollection Cayenne_(programming_language).
- 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) type Abstraction100002137.
- Cayenne_(programming_language) type ArtificialLanguage106894544.
- Cayenne_(programming_language) type Communication100033020.
- Cayenne_(programming_language) type DependentlyTypedLanguages.
- Cayenne_(programming_language) type FunctionalLanguages.
- Cayenne_(programming_language) type Language106282651.
- Cayenne_(programming_language) type ProgrammingLanguage106898352.
- Cayenne_(programming_language) type ProgrammingLanguagesCreatedInThe1990s.
- Cayenne_(programming_language) type ProgrammingLanguage.
- Cayenne_(programming_language) type Software.
- Cayenne_(programming_language) type Work.
- Cayenne_(programming_language) type CreativeWork.
- Cayenne_(programming_language) type InformationEntity.
- 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 a lot of 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) sameAs Cayenne_(programming_language).
- Cayenne_(programming_language) wasDerivedFrom Cayenne_(programming_language)?oldid=563710323.
- Cayenne_(programming_language) isPrimaryTopicOf Cayenne_(programming_language).