Similar to Frenetic

• 

  R言語

  R (programming language)
  
• 

  SATySFi

  
• 

  Scheme

  Scheme (programming language)
  ▲1 trends

  
• 

  Standard ML

  Standard ML
  
• 

  XQuery

  XQuery
  
• 

  XSL Transformations

  XSLT
  
• 

  Agda

  Agda (programming language)
  
• 

  CPL (圏論プログラミング言語)

  
• 

  Scala

  Scala (programming language)
  ▲1 trends

  
• 

  Haskell

  Haskell
  ▲1 trends

  
• 

  関数型プログラミング

  Functional programming
  
• 

  Catamorphism

  Catamorphism
  
• 

  CEK機械

  CEK Machine
  
• 

  F代数

  F-algebra
  
• 

  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
  
• 

  参照透過性

  Referential transparency
  
• 

  始代数

  Initial algebra
  
• 

  代数的データ型

  Algebraic data type
  
• 

  不動点コンビネータ

  Fixed-point combinator
  
• 

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

  Simon Peyton Jones