三位一体

C programming

関数型言語の三位一体は

  • recursive datatypes
  • recursive definitions
  • proof by induction

らしい。