Pourquoi typer du JavaScript

Xavier Van de Woestyne

• nukifw
• xvw

Enormément d'avantages

• Expressif
• Le futur du multi-platforme
• Client-server (isomorphique)
• Eco-système riche
• Emmergeance de motifs de conception

Beaucoup d'utilisateurs cools

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

Quelques inconvénients :'(

• Renommage conceptuel
• Règles d'évaluations hasardeuses
• Typage faible et chelou
• Eco-système riche

Qu'est ce qu'un type

Un système axiomatique.
Un ensemble de valeurs muni d'opérations
pouvant être:

• Prédéfini/Enuméré
• Paramétré
• Composé/Hiérarchisé
• Abstrait

Introduits par la logiques en réponse au paradoxe
de la théorie (initiale) des ensemble.(Russel)

• Turing complétude du Lambda-Calcul
• Correspondance formules/types

Mythes

• Obligation de spécifier le type de tout élément utilisé
• Perte de beaucoup de flexibilité
• Compilation obligatoire
• Très "matheux"

Avantage typage

• Sûreté/fiabilité du programme
• Feedback/"documentation"

  List.map : ('a -> 'b) -> 'a list ->'b list

• Expressivité

Tests faillibles

• Tests confinés (occulte l'environnement)
• Contrat d'exécution raisonné
• Raisonné par un humain

Langages compilés

• Dart
• Haxe
• Js_of_OCaml
• TypeScript

Effet de bord

• Nouvelle syntaxe (proche de ce qu'on aime!)
• Incompatibilité avec l'écosystème (Binding obligatoire)

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

Analyse statique != compilation

• N'altère pas le code produit
• Une compilation implique généralement
  une analyse statique

Outils d'analyse syntaxique

• JSHint, JSLint, ESLint
• Flow

Flow

• Pluggable (/* @flow */)
• Préserve la syntaxe de JavaScript
• Extension contrôlée : annotations de types

On se repose sur l'expressivité de JavasSript

Deux interfaçages notables

• TypeScript
• React + JSX

Apports de Flow

• Typage statique accessible à une grosse code-base
• Très peu voir aucune modification à effectuer
• Jest : super framework de tests unitaires
• Bénéficie de l'avantage des langages typés par annotation
• Ouverture vers les design dirigé par les types

Conclusions

• Il existe des alternatives au JavaScript classique
• Beaucoup de langages emmergeants (nouveau projet)
• Des outils de raisonnements (projet avancé)
• Type is life... lalallalalala