Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q18711761> ?p ?o }
Showing triples 1 to 59 of
59
with 100 triples per page.
- Q18711761 subject Q7134862.
- Q18711761 subject Q8590743.
- Q18711761 abstract "Ur also called Ur/Web is an open source functional programming language specific for web development, created by Adam Chlipala at the Massachusetts Institute of Technology that from a single program produces server code, browser client code and SQL code specific for the chosen database backend.Ur supports a powerful kind of metaprogramming based on row types.Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization. Ur/Web supports construction of dynamic web applications backed by SQL databases. The signature of the standard library is such that well-typed Ur/Web programs "don't go wrong" in a very broad sense. Not only do they not crash during particular page generations, but they also may not: Suffer from any kinds of code injection attacks Return invalid HTML Contain dead intra-application links Have mismatches between HTML forms and the fields expected by their handlers Include client-side code that makes incorrect assumptions about the "AJAX"-style services that the remote web server provides Attempt invalid SQL queries Use improper marshaling or unmarshaling in communication with SQL databases or between browsers and web serversThis type safety is just the foundation of the Ur/Web methodology. It is also possible to use metaprogramming to build significant application pieces by analysis of type structure.The Ur/Web compiler also produces very efficient object code that does not use garbage collection.The implementation of all this is open source.SQL syntax templates embedded in the language facilitate the handling of tables.Although the syntax is based on Standard ML the language includes concepts from Haskell with additional type manipulation.Ajax call/response is serialized through a monad called transaction (corresponds to Haskell's IO) and its marshalling and decoding is encapsulated in the rpc function.The browser client side includes functional reactive programming facilities using the (source a) type and a signal monad.Template:Quote box".
- Q18711761 influencedBy Q34010.
- Q18711761 influencedBy Q860654.
- Q18711761 latestReleaseVersion "20150819 release".
- Q18711761 license Q39162.
- Q18711761 wikiPageExternalLink ur.
- Q18711761 wikiPageExternalLink Libraries_and_FFI_bindings.
- Q18711761 wikiPageExternalLink Special:AllPages.
- Q18711761 wikiPageExternalLink basis.urs.
- Q18711761 wikiPageExternalLink ur.
- Q18711761 wikiPageExternalLink tests.
- Q18711761 wikiPageWikiLink Q11288.
- Q18711761 wikiPageWikiLink Q134471.
- Q18711761 wikiPageWikiLink Q1397631.
- Q18711761 wikiPageWikiLink Q14658.
- Q18711761 wikiPageWikiLink Q14773417.
- Q18711761 wikiPageWikiLink Q1579914.
- Q18711761 wikiPageWikiLink Q1650567.
- Q18711761 wikiPageWikiLink Q193076.
- Q18711761 wikiPageWikiLink Q194152.
- Q18711761 wikiPageWikiLink Q264364.
- Q18711761 wikiPageWikiLink Q287539.
- Q18711761 wikiPageWikiLink Q2920753.
- Q18711761 wikiPageWikiLink Q322202.
- Q18711761 wikiPageWikiLink Q34010.
- Q18711761 wikiPageWikiLink Q373671.
- Q18711761 wikiPageWikiLink Q386275.
- Q18711761 wikiPageWikiLink Q39162.
- Q18711761 wikiPageWikiLink Q4354073.
- Q18711761 wikiPageWikiLink Q44127.
- Q18711761 wikiPageWikiLink Q47607.
- Q18711761 wikiPageWikiLink Q49108.
- Q18711761 wikiPageWikiLink Q597330.
- Q18711761 wikiPageWikiLink Q6368.
- Q18711761 wikiPageWikiLink Q661075.
- Q18711761 wikiPageWikiLink Q7134862.
- Q18711761 wikiPageWikiLink Q736866.
- Q18711761 wikiPageWikiLink Q8513.
- Q18711761 wikiPageWikiLink Q8590743.
- Q18711761 wikiPageWikiLink Q860654.
- Q18711761 wikiPageWikiLink Q8811.
- Q18711761 designer "Adam Chlipala".
- Q18711761 influencedBy Q34010.
- Q18711761 influencedBy Q860654.
- Q18711761 latestReleaseVersion "20150819".
- Q18711761 license "open source".
- Q18711761 name "Ur, Ur/Web".
- Q18711761 type Language.
- Q18711761 type Language.
- Q18711761 type ProgrammingLanguage.
- Q18711761 type Thing.
- Q18711761 type Q315.
- Q18711761 type Q34770.
- Q18711761 type Q9143.
- Q18711761 comment "Ur also called Ur/Web is an open source functional programming language specific for web development, created by Adam Chlipala at the Massachusetts Institute of Technology that from a single program produces server code, browser client code and SQL code specific for the chosen database backend.Ur supports a powerful kind of metaprogramming based on row types.Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization.".
- Q18711761 label "Ur (programming language)".
- Q18711761 name "Ur, Ur/Web".