Similar to 始代数

• 

  F代数

  F-algebra
  
• 

  Catamorphism

  Catamorphism
  
• 

  Option型

  Option type
  
• 

  型クラス

  Type class
  
• 

  型推論

  Type inference
  
• 

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

  Monad (functional programming)
  
• 

  F余代数

  F-coalgebra
  
• 

  アブストラクト・ナンセンス

  Abstract nonsense
  
• 

  共変性と反変性 (計算機科学)

  Type variance
  
• 

  0

  0
  ▼-1 trends

  
• 

  1

  1
  ▼-1 trends

  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  12345679

  
• 

  関数型プログラミング

  Functional programming
  
• 

  CEK機械

  CEK Machine
  
• 

  Frenetic

  Frenetic (programming language)
  
• 

  GNU Guix

  GNU Guix
  
• 

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

  Nix (package manager)
  
• 

  Result型

  Result type
  
• 

  SECDマシン

  SECD machine
  
• 

  カリー化

  Currying