Language

Introduction

Language

GitHub

Home
Language
Language
- Introduction
- Classification
  Classification
  - Introduction
  - Domain-specific-language
    Domain-specific-language
    
    Introduction
    
    martinfowler-Domain-Specific-Languages
    martinfowler-Domain-Specific-Languages
    
    Introduction
  - GPL-and-DSL
  - Official-and-dialect
  - Host-and-embeded-and-meta
- Language-and-computation
  Language-and-computation
  - Introduction
  - Language-for-structure
    Language-for-structure
    
    Introduction
    
    Zephyr-ASDL
    Zephyr-ASDL
    
    Introduction
    
    thegreenplace-Using-ASDL-to-describe-ASTs-in-compilers
    thegreenplace-Using-ASDL-to-describe-ASTs-in-compilers
    
    Introduction
    
    paper-The-Zephyr-Abstract-Syntax-Description-Language
    paper-The-Zephyr-Abstract-Syntax-Description-Language
    
    Introduction
  - Structure-of-language
    Structure-of-language
    
    Grammar
- Language-in-discipline
- Expressive-power
  Expressive-power
  - Introduction
- Language-agnostic
  Language-agnostic
  - Introduction
Formal-language
Formal-language
- Introduction
- Formal-and-formal-langugae
  Formal-and-formal-langugae
  - Introduction
- wikipedia-Formal-language
  wikipedia-Formal-language
  - Introduction
- Intermediate-language
  Intermediate-language
  - Introduction
- Formal-grammar
  Formal-grammar
  - Formal-grammar
    Formal-grammar
    
    Introduction
  - Production
    Production
    
    Introduction
  - Chomsky-hierarchy
    Chomsky-hierarchy
    
    Introduction
    
    Type-0
    Type-0
    
    Recursively-enumerable-language
    
    Type-1
    Type-1
    
    Context-sensitive-language
    
    Type-2
    Type-2
    
    Context-free-language
    
    Pushdown-automaton
    Pushdown-automaton
    
    Introduction
    
    Type-3
    Type-3
    
    Introduction
    
    对比分析
    对比分析
    
    Introduction
  - Parsing-Expression-Grammars
    Parsing-Expression-Grammars
    
    Introduction
- Summary-of-theory
  Summary-of-theory
  - Introduction
Formal-language-processing
Formal-language-processing
- Introduction
- Formal-language-processor
  Formal-language-processor
  - Introduction
- Pattern
  Pattern
  - Introduction
  - Composite-pattern
    Composite-pattern
    
    Introduction
  - Interpreter-pattern
    Interpreter-pattern
    
    Introduction
  - Translator-Pattern
    Translator-Pattern
    
    Introduction
Regular-language
Regular-language
- Introduction
- Regular-expression
  Regular-expression
  - Introduction
  - Regex-Engine
    Regex-Engine
    
    Introduction
    
    Thompson's-construction
    Thompson's-construction
    
    Introduction
    
    Powerset-construction
    Powerset-construction
    
    Introduction
Mathematical-logic
Mathematical-logic
Symbolic-computation
Symbolic-computation
- Introduction
- What-is-symbol
  What-is-symbol
  - Introduction
- Symbolic-computation
  Symbolic-computation
  - Introduction
  - risc-Studying-Symbolic-Computation
    risc-Studying-Symbolic-Computation
    
    Introduction
- Symbolic-programming
  Symbolic-programming
  - Introduction
  - utexas-CS-378-Symbolic-Programming
    utexas-CS-378-Symbolic-Programming
    
    Introduction
- Symbol-expression
  Symbol-expression
  - Introduction
- Expression-oriented-language
  Expression-oriented-language
  - Introduction Introduction
    Table of contents
    
    wikipedia Expression-oriented programming language
    
    Expression-oriented language and lambda-calculus
- Expression-problem
  Expression-problem
  - Introduction
  - Extended-visitor-pattern
    Extended-visitor-pattern
    
    Introduction
    
    eli.thegreenplace-The-Expression-Problem-and-its-solutions
    eli.thegreenplace-The-Expression-Problem-and-its-solutions
    
    Introduction
    
    Synthesizing-Object-Oriented-and-Functional-Design-to-Promote-Re-Use
    Synthesizing-Object-Oriented-and-Functional-Design-to-Promote-Re-Use
    
    Introduction
  - Object-Algebra
    Object-Algebra
    
    Introduction
- Computer-algebra
  Computer-algebra
  - Introduction
LaTeX
LaTeX
- Introduction
- LaTeX-under
  LaTeX-under
  - Introduction
Dyck-language
Dyck-language
- Introduction

Expression-oriented programming language

wikipedia Expression-oriented programming language

All functional programming languages are expression-oriented.

NOTE: 因为expression其实相当于是一个function。

ALGOL 68 and Lisp are examples of expression-oriented languages.

All functional programming languages are expression-oriented.

Expression-oriented language and lambda-calculus

lambda-calculus是一个非常强大的abstraction model，现代很多programming language的内容都是源自于它。本章描述的expression-oriented programming language其实和它有着非常深刻的渊源。