Similar to CEK機械

• 

  SECDマシン

  SECD machine
  
• 

  関数型プログラミング

  Functional programming
  
• 

  Catamorphism

  Catamorphism
  
• 

  Frenetic

  Frenetic (programming language)
  
• 

  F代数

  F-algebra
  
• 

  GNU Guix

  GNU Guix
  
• 

  Nix (パッケージ管理システム)

  Nix (package manager)
  
• 

  Option型

  Option type
  
• 

  Result型

  Result type
  
• 

  型クラス

  Type class
  
• 

  型推論

  Type inference
  
• 

  カリー化

  Currying
  
• 

  高階関数

  Higher-order function
  
• 

  参照透過性

  Referential transparency
  
• 

  始代数

  Initial algebra
  
• 

  代数的データ型

  Algebraic data type
  
• 

  不動点コンビネータ

  Fixed-point combinator
  
• 

  サイモン・ペイトン・ジョーンズ

  Simon Peyton Jones
  
• 

  無名関数

  Anonymous function
  
• 

  モナド (プログラミング)

  Monad (functional programming)
  
• 

  ラムダ計算

  Lambda calculus
  
• 

  抽象機械

  Abstract machine
  
• 

  DLX

  DLX
  
• 

  MIX (プログラミング)

  MIX (abstract machine)
  
• 

  MMIX

  MMIX
  
• 

  チューリングマシン

  Turing machine
  ▼-1 trends

  
• 

  仮想マシン

  Virtual machine
  
• 

  Coriolis

  ▲2 trends