Articles

• articles : suivre le lien
• repartition du 17.10.17 : suivre le lien
• repartition du 19.10.17: suivre le lien

Réalisations

• une application Web ou une application d’inférence de types nullables suivant le système de types proposé dans les articles : OCAML Workshop 2014 ou JFLA 2015 résumé étendu
  • en utilisant ocaml (js_of_ocaml)
  • ou en Haskell ou Scala
• une application Web ou une applet/application de vérification d’un type pour un lambda-terme (lambda-calcul simplement typé) avec construction de l’arbre de preuve (avec Let et schémas de types pour le polymorphisme paramétrique).
  • en OCaml (avec js_of_ocaml)
  • avec Swift ou Haskell
• une application Web ou une applet/application d’évaluation de lambda-calcul avec la représentation Alligator Eggs
  • en ocaml (js_of_ocaml) ou F#
  • en Scala
• une application Web ou une applet de typage d’un mini-ML fonctionnel et impératif
  • en utilisant Scala
  • ou Swift
• une extension objet avec sous-typage structurel (pour le typeur) dans un mini-ML : langage libre
  • ocaml, F#, Scala, Haskell, Swift

  il pourra avoir des variations, mais ce sera globalement pour traiter du sous-typage structurel avec polymorphisme de rangées

• une application de simulation de l’inférence de types du polymorphisme borné des génériques pour un mini java (langage libre)
  • ocaml, F#, Scala, Haskell, Swift

  Si vous voulez proposer d’autres langages fonctionnels typés pour l’implantation de votre réalisation vous pouvez le demander à l’équipe enseignante.

Ce document a été traduit de L^AT_EX par H^EV^EA