facebooktwittergooglerss

Connexion adhérents

Meetup Okiwi - Présentation d'Idriss

Du 15 Janvier 2018 19:00 jusqu'au 15 Janvier 2018 21:00

Nouveau meetup Okiwi

Johan Martinsson étant de nouveau de passage sur Bordeaux, nous en profitons pour improviser ce meetup :

Vous pensiez que le typage était trop grossier pour exprimer les règles du domaine ? Venez expérimenter ce que Idris vous permet de faire.

Outre le fait de permettre une précision formidable, Idris nous enseigne une tout autre façon de créer le code - le Type Driven Development.

Surprise encore, au lieu de nous punir avec des erreurs de compilation indéchiffrables, comme beaucoup de langages statiques, Idris nous suggère le code à écrire grâce aux types précis que nous définissons.

---
À prendre avec vous
Ce que vous voulez manger ou boire

N'hésitez pas à vous inscrire ici ou sur meetup


Où nous trouver ?

AQUINUM
C/O Le Node
12 rue des Faussets
33000 Bordeaux