Pourquoi typer du JavaScript

Xavier Van de Woestyne

derniercri.io

Roadmap

Un peu sur JavaScript

Un peu sur le typage

Quelques solutions

L'analyse statique

Flow

Opinion sur JavaScript

Un langage cool

Même si moi, j'aime beaucoup en dire du mal :v

Enormément d'avantages

Beaucoup d'utilisateurs cools


Liste non exhaustive de gens qui me poussent à
considérer JavaScript comme un langage cool.

Quelques inconvénients :'(

Sur le typage

Definitions, mythes

Qu'est ce qu'un type

Un système axiomatique.
Un ensemble de valeurs muni d'opérations
pouvant être:
Introduits par la logiques en réponse au paradoxe
de la théorie (initiale) des ensemble.(Russel)

Mythes

Avantage typage

Entre types et tests

Un bon système de type n'éradique pas les tests

Malheureusement

Tests faillibles

Tests + Types = ♥

Et peut être un jour... des types dépendants :D

en 2099 si tout va bien !!!

Alternatives éprouvées

JavaScript vu comme de l'assembleur

Langages compilés

Effet de bord

Sur des énormes code-base... c'est un peu fatiguant.

L'analyse statique

Bénéfice d'une phase avant l'exécution

Analyse statique != compilation

Outils d'analyse syntaxique

Flow

On se repose sur l'expressivité de JavasSript

Deux interfaçages notables

Apports de Flow

Conclusions

... FIN ! Merci :D

(psst, faites du JS_Of_OCaml, c'est super!!!)