程式語言 (Programming Language)

分類

Type Theory

Generic and Metaprogramming

Compiler Construction

Runtime Systems

  • Virtual Machines

  • Garbage Collection

  • Foreign Function Interface

設計

Error Handling

  • Exceptions

    • C++

    • Java

    • Python

  • Return Value

    • Haskell

    • Rust

Asynchronous

  • async/await

    • C#

    • JavaScript

    • Python

    • Rust

  • implicit concurrent runtime (green-threading)
    • CSP (communicating sequential processes)

      • Go

    • Actor model

      • Erlang

  • Monadic transformations on lazily evaluated code
    • do notation

      • Haskell

Testing

  • example-based testing

  • property-based testing

主題列表

  • Type Inference

  • Hoare Logic

  • Lambda Calculus

  • Curry-Howard correspondence

  • Object-Oriented Programming

  • Logic programming

  • Tail Recursion

  • Dependent Type

  • Refinement Type

  • Gradual Typing

  • Type Theory

  • Pattern Matching

  • Homotopy Type Theory

程式語言案例探討

參考