Page principale du cours
  • Application: zones géométriques

Types et inférence de typeEnregistrements, types récursifs, récursivité terminale