Similar to カリー化

• 

  0

  0
  
• 

  1

  1
  
• 

  2

  2
  
• 

  3

  3
  ▲1 trends

  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  ▲1 trends

  
• 

  9

  9
  
• 

  12345679

  
• 

  直積 (ベクトル)

  Outer product
  
• 

  関数型プログラミング

  Functional programming
  
• 

  Catamorphism

  Catamorphism
  
• 

  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
  
• 

  参照透過性

  Referential transparency
  
• 

  始代数

  Initial algebra
  
• 

  代数的データ型

  Algebraic data type
  
• 

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

  Simon Peyton Jones
  
• 

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

  Monad (functional programming)