Typage fort, faible, dynamique, statique, et plus si affinité

[florianorpeliere]

Typage fort, faible, dynamique, statique, et plus si affinité.

• Temps: 20 minutes
• A partir de: Octobre

Description

Comprenons tout ce qui tourne autour de ces notions avec des exemples dans plusieurs langages :) !

[ThomasCrevoisier]

Pour compléter la discussion :

• Un post sur StackOverflow qui aborde la notion de soundness et completeness (IMHO, intéressant à connaître quand on parle de typage)

• Le résumé d'un cours sur les langages, qui aborde entre autre le typage http://courses.cs.washington.edu/courses/cse341/13wi/unit6notes.pdf

• Tout ce qui est inférence de type avec Hindley-Milner : https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system (je vous laisse chercher d'autres articles expliquant comment ça marche et pourquoi c'est cool, si ça vous intéresse)