Programming Languages

Explore Programming Languages through related topics and the articles other pages reference most.

Most referenced in this topic

Ranked by links from other AI Wiki pages.

Explore articles

Browse subtopics (17)

Articles that also belong to these categories. Counts cover all of Programming Languages.

Showing 1-23 of 23 articles

Actor model

The actor model is a mathematical model of concurrent computation whose universal primitive is the actor: an autonomous, isolated entity that owns private state and communicates with other actors only by…

AI InfrastructureComputer Science

Clojure

Clojure is a dynamic, general-purpose, functional programming language and a modern dialect of Lisp, created by Rich Hickey and first released on October 16, 2007.

AI History

Common Lisp

Common Lisp is the ANSI-standardized dialect of the Lisp family and was, from the late 1980s through the early 1990s, the dominant programming language of symbolic AI research.

AI HistoryComputer Science

Common Lisp Object System (CLOS)

The Common Lisp Object System (CLOS, often pronounced "see-loss" or "kloss") is the object-oriented programming facility built into ANSI Common Lisp, organized around generic functions and multiple dispatch…

Dask

Dask is an open-source Python library for parallel and distributed computing that scales the familiar APIs of libraries such as NumPy, pandas, and scikit-learn to process larger-than-memory datasets.

AI InfrastructureData Science

Emacs Lisp

Emacs Lisp (often shortened to Elisp) is the dialect of Lisp used as the extension and scripting language of GNU Emacs.

Gradio

Gradio is an open-source Python library that lets developers build interactive web interfaces for machine learning models, APIs, and arbitrary Python functions in a few lines of code.

Developer ToolsMachine Learning

Homoiconicity

Homoiconicity is a property of a programming language in which the program itself is represented as an ordinary data structure of the language, so that code can be read, generated, and transformed at runtime…

Computer Science

JavaScript

JavaScript (often abbreviated JS) is a high-level, dynamically typed, multi-paradigm programming language that, alongside HTML and CSS, forms one of the three core technologies of the World Wide Web.

Software Development

Lambda Calculus

Lambda calculus (often written λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.

Computer ScienceMathematics

Lean (Theorem Prover)

Lean is an open source interactive theorem prover and dependently typed functional programming language created by Leonardo de Moura, first launched at Microsoft Research Redmond in 2013.

Mathematics

Lisp

Lisp (historically LISP, an acronym for "LISt Processor") is a family of programming languages, specified in 1958 by John McCarthy at the Massachusetts Institute of Technology

AI HistoryComputer Science

Multiple dispatch

Multiple dispatch (also called multimethods) is a programming-language feature in which the implementation of a function or method is selected at run time from the types of all of its arguments

Computer Science

Prolog

Prolog (a contraction of the French PROgrammation en LOGique) is a logic programming language, first implemented in 1972 by Alain Colmerauer's group at the Université d'Aix-Marseille, that is strongly…

Artificial IntelligenceComputer Science

Racket (programming language)

Racket is a general-purpose, multi-paradigm programming language in the Lisp family and a direct descendant of Scheme.

Scheme

Scheme is a minimalist, multi-paradigm programming language and a dialect of Lisp, created in 1975 by Guy L. Steele Jr. and Gerald Jay Sussman at the MIT Artificial Intelligence Laboratory.

AI HistoryComputer Science

TypeScript

TypeScript is an open-source, statically typed programming language developed by Microsoft that extends JavaScript by adding optional static type annotations, interfaces, generics, and other features oriented…

MicrosoftSoftware Development