L'url de cette page a bien été copiée dans votre presse-papier!
Reference
20210159_0075
Discussion autour d’un système de typage
Discussion autour d’un système de typage. Écrire des programmes corrects et prouver leur correction est une tâche pleine de défis. Pour appréhender ce problème, les langages de programmation modernes sont équipés d’un système de typage. Les types sont des constructions syntaxiques semblables à des formules logiques qui permettent aux machines de vérifier automatiquement si les programmes sont bien typés et qu'ils ne produisent pas une certaine classe d’erreurs à l’exécution. Le premier système de typage a été proposé en 1908 par Russel très précisément pour éviter d’écrire des expressions qui n’auraient aucun sens, autrement dit des paradoxes.
The use of media visible on the CNRS Images Platform can be granted on request. Any reproduction or representation is forbidden without prior authorization from CNRS Images (except for resources under Creative Commons license).
No modification of an image may be made without the prior consent of CNRS Images.
No use of an image for advertising purposes or distribution to a third party may be made without the prior agreement of CNRS Images.
Our work is guided by the way scientists question the world around them and we translate their research into images to help people to understand the world better and to awaken their curiosity and wonderment.
