AI and the Origins of the Functional Programming Language Style

  title={AI and the Origins of the Functional Programming Language Style},
  author={Mark Priestley},
  journal={Minds and Machines},
  • M. Priestley
  • Published 1 September 2017
  • Computer Science
  • Minds and Machines
The Lisp programming language is often described as the first functional programming language and also as an important early AI language. In the history of functional programming, however, it occupies a rather anomalous position, as the circumstances of its development do not fit well with the widely accepted view that functional languages have been developed through a theoretically-inspired project of deriving practical programming languages from the lambda calculus. This paper examines the… 

Design and Implementation of Amharic-based IDE with High-Level Programming Language

  • Fitsum Gizachew
  • Computer Science
    EAI Endorsed Transactions on Creative Technologies
  • 2022
The study illustrates the possibilities of constructing a programming language environment using native language by developing a prototype, further additional keywords, and grammar will enhance the study.

The Mathematical Origins of Modern Computing

Techniques for planning large-scale manual computation were directly translated to the task of programming the new machines, and specific mathematical practices, such as the use of tables in calculation, profoundly affected the design of programs.

Sans-Papiers as First-Class Citizens

This text demonstrates how traces of the problem of how exactly a formalism should admit functions as first-class citizens can be found across disciplinary boundaries, from the early foundational crisis to the advent of contemporary programming languages.

Evolution of artificial intelligence languages, a systematic literature review

This review provides information on the year of implementation, development team, capabilities, limitations and applications of each of the AI programming languages discussed to guide practitioners and researchers in AI to make the right choice of languages to implement their novel AI methods.

The Business Machine in Biology—The Commercialization of AI in the Life Sciences

Through a collaboration between Edward Feigenbaum and the geneticist Joshua Lederberg, Nobel Laureate in Medicine, AI became deeply connected to the life sciences and, in the long term, these systems had a transformative effect on biology.



Logic and the development of programming languages, 1930-1975

The picture that emerges is that formal logic was deliberately employed by programming designers to provide a model for a theoretical understanding of programming languages and the process of program development, which led to a flourishing research programme in the 1960s and 1970s.

Conception, evolution, and application of functional programming languages

The foundations of functional programming languages are examined from both historical and technical perspectives, and current research areas—such as parallelism, nondeterminism, input/output, and state-oriented computations—are examined with the goal of predicting the future development and application of functional languages.

Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

A new class of computing systems uses the functional programming style both in its programming language and in its state transition rules; these systems have semantics loosely coupled to states—only one state transition occurs per major computation.

History of programming languages I

These proceedings of the ACM SIGPLAN History of Programming Languages (HOPL) conference are a record, in the words of those who helped make the history, of a baker's dozen of the languages that set

Recursive functions of symbolic expressions and their computation by machine, Part I

A programming system called LISP (for LISt Processor) has been developed for the IBM 704 computer by the Artificial Intelligence group at M.I.T. The system was designed to facilitate experiments with

Programming language semantics and closed applicative languages

This paper proposes axioms to define a sequence of language-classes; the most general is that of "programming language", the most restricted has some simple and attractive properties. Here "language"

Application of extensible languages to specialized application languages

  • J. Sammet
  • Computer Science, Linguistics
    International Symposium on Extensible Languages
  • 1971
This chapter discusses specialized application languages, sometimes called special purpose languages, which have already been developed for such diverse fields as civil engineering, electrical engineering, computer assisted instruction, systems programming, equipment checkout, movie animation, etc.

The History of FORTRAN I, II and III

  • J. Backus
  • Computer Science
    Annals of the History of Computing
  • 1979
This article discusses attitudes about "automatic programming," the economics of programming, and existing programming systems, all in the early 1950s. It describes the formation of the FORTRAN

Programming paradigms for dummies: what every programmer should know

This chapter gives an introduction to all the main programming paradigms, their underlying concepts, and the relationships between them. We give a broad view to help programmers choose the right

An overview of programming languages for specialized application areas

  • J. Sammet
  • Computer Science, Linguistics
    AFIPS '72 (Spring)
  • 1971
The purpose of this paper is to provide some of the background and perspective on the existence, classifications, and general characteristics of those languages which are oriented toward a specialized application area.