Similar to F代数

• 

  Catamorphism

  Catamorphism
  
• 

  始代数

  Initial algebra
  
• 

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

  Monad (functional programming)
  
• 

  F余代数

  F-coalgebra
  
• 

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

  Abstract nonsense
  
• 

  0

  0
  
• 

  1

  1
  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  ▼-1 trends

  
• 

  5

  5
  
• 

  6

  6
  ▼-1 trends

  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  12345679

  
• 

  関数型プログラミング

  Functional programming
  
• 

  CEK機械

  CEK Machine
  
• 

  Frenetic

  Frenetic (programming language)
  
• 

  GNU Guix

  GNU Guix
  
• 

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

  Nix (package manager)
  
• 

  Option型

  Option type
  
• 

  Result型

  Result type
  
• 

  SECDマシン

  SECD machine
  
• 

  型クラス

  Type class
  
• 

  型推論

  Type inference
  
• 

  カリー化

  Currying
  
• 

  高階関数

  Higher-order function