Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Free
Faster access than browser!
 

Ur (programming language)

Index Ur (programming language)

Ur also called Ur/Web is a Free and 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. [1]

29 relations: Ajax (programming), Code injection, Common Gateway Interface, Database, Dynamic web page, FastCGI, Form (HTML), Free software, Front and back ends, Functional programming, Garbage collection (computer science), Haskell (programming language), HTML, Marshalling (computer science), Massachusetts Institute of Technology, Metaprogramming, ML (programming language), Monad (functional programming), Open-source model, Parsing, POSIX, Reactive programming, Server (computing), SQL, Standard ML, Type safety, Web browser, Web development, Web server.

Ajax (programming)

Ajax (also AJAX; short for "Asynchronous JavaScript And XML") is a set of Web development techniques using many Web technologies on the client side to create asynchronous Web applications.

New!!: Ur (programming language) and Ajax (programming) · See more »

Code injection

Code injection is the exploitation of a computer bug that is caused by processing invalid data.

New!!: Ur (programming language) and Code injection · See more »

Common Gateway Interface

In computing, Common Gateway Interface (CGI) offers a standard protocol for web servers to execute programs that execute like console applications (also called command-line interface programs) running on a server that generates web pages dynamically.

New!!: Ur (programming language) and Common Gateway Interface · See more »

Database

A database is an organized collection of data, stored and accessed electronically.

New!!: Ur (programming language) and Database · See more »

Dynamic web page

A server-side dynamic web page is a web page whose construction is controlled by an application server processing server-side scripts.

New!!: Ur (programming language) and Dynamic web page · See more »

FastCGI

FastCGI is a binary protocol for interfacing interactive programs with a web server.

New!!: Ur (programming language) and FastCGI · See more »

Form (HTML)

A webform, web form or HTML form on a web page allows a user to enter data that is sent to a server for processing.

New!!: Ur (programming language) and Form (HTML) · See more »

Free software

Free software or libre software is computer software distributed under terms that allow users to run the software for any purpose as well as to study, change, and distribute it and any adapted versions.

New!!: Ur (programming language) and Free software · See more »

Front and back ends

In software engineering, the terms front end and back end refer to the separation of concerns between the presentation layer (front end), and the data access layer (back end) of a piece of software, or the physical infrastructure or hardware.

New!!: Ur (programming language) and Front and back ends · See more »

Functional programming

In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.

New!!: Ur (programming language) and Functional programming · See more »

Garbage collection (computer science)

In computer science, garbage collection (GC) is a form of automatic memory management.

New!!: Ur (programming language) and Garbage collection (computer science) · See more »

Haskell (programming language)

Haskell is a standardized, general-purpose compiled purely functional programming language, with non-strict semantics and strong static typing.

New!!: Ur (programming language) and Haskell (programming language) · See more »

HTML

Hypertext Markup Language (HTML) is the standard markup language for creating web pages and web applications.

New!!: Ur (programming language) and HTML · See more »

Marshalling (computer science)

In computer science, marshalling or marshaling is the process of transforming the memory representation of an object to a data format suitable for storage or transmission, and it is typically used when data must be moved between different parts of a computer program or from one program to another.

New!!: Ur (programming language) and Marshalling (computer science) · See more »

Massachusetts Institute of Technology

The Massachusetts Institute of Technology (MIT) is a private research university located in Cambridge, Massachusetts, United States.

New!!: Ur (programming language) and Massachusetts Institute of Technology · See more »

Metaprogramming

Metaprogramming is a programming technique in which computer programs have the ability to treat programs as their data.

New!!: Ur (programming language) and Metaprogramming · See more »

ML (programming language)

ML (Meta Language) is a general-purpose functional programming language.

New!!: Ur (programming language) and ML (programming language) · See more »

Monad (functional programming)

In functional programming, a monad is a design pattern that defines how functions, actions, inputs, and outputs can be used together to build generic types, with the following organization.

New!!: Ur (programming language) and Monad (functional programming) · See more »

Open-source model

The open-source model is a decentralized software-development model that encourages open collaboration.

New!!: Ur (programming language) and Open-source model · See more »

Parsing

Parsing, syntax analysis or syntactic analysis is the process of analysing a string of symbols, either in natural language, computer languages or data structures, conforming to the rules of a formal grammar.

New!!: Ur (programming language) and Parsing · See more »

POSIX

The Portable Operating System Interface (POSIX) is a family of standards specified by the IEEE Computer Society for maintaining compatibility between operating systems.

New!!: Ur (programming language) and POSIX · See more »

Reactive programming

In computing, reactive programming is a declarative programming paradigm concerned with data streams and the propagation of change.

New!!: Ur (programming language) and Reactive programming · See more »

Server (computing)

In computing, a server is a computer program or a device that provides functionality for other programs or devices, called "clients".

New!!: Ur (programming language) and Server (computing) · See more »

SQL

SQL (S-Q-L, "sequel"; Structured Query Language) is a domain-specific language used in programming and designed for managing data held in a relational database management system (RDBMS), or for stream processing in a relational data stream management system (RDSMS).

New!!: Ur (programming language) and SQL · See more »

Standard ML

Standard ML (SML; "Standard Meta Language") is a general-purpose, modular, functional programming language with compile-time type checking and type inference.

New!!: Ur (programming language) and Standard ML · See more »

Type safety

In computer science, type safety is the extent to which a programming language discourages or prevents type errors.

New!!: Ur (programming language) and Type safety · See more »

Web browser

A web browser (commonly referred to as a browser) is a software application for accessing information on the World Wide Web.

New!!: Ur (programming language) and Web browser · See more »

Web development

Web development is a broad term for the work involved in developing a web site for the Internet (World Wide Web) or an intranet (a private network).

New!!: Ur (programming language) and Web development · See more »

Web server

Web server refers to server software, or hardware dedicated to running said software, that can serve contents to the World Wide Web.

New!!: Ur (programming language) and Web server · See more »

Redirects here:

Ur/Web.

References

[1] https://en.wikipedia.org/wiki/Ur_(programming_language)

OutgoingIncoming
Hey! We are on Facebook now! »