Similar to ラムダ計算

• 

  スティーヴン・コール・クリーネ

  Stephen Cole Kleene
  
• 

  1

  1
  ▲2 trends

  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  ▼-2 trends

  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  1200

  1200 (number)
  
• 

  1349

  1349 (band)
  
• 

  1868

  
• 

  12345679

  
• 

  関数型プログラミング

  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
  
• 

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

  Simon Peyton Jones