update

TODO.org

@@ -68,7 +68,7 @@
     :PROPERTIES:
     :EFFORT:   2:00
     :END:
-** TODO [#C] FP Meetup                                                 :geek:
+** TODO [#C] FP Meetup [2/5]                                           :geek:
 *** TODO Presentation History of FP, etc...
 *** DONE Demander à Luc pour organiser une conf OSDC environ 100 personnes sur plusieurs jours, workshop, etc...
     CLOSED: [2017-12-18 Mon 23:16]
@@ -77,15 +77,72 @@
 *** TODO Ecrire message pour le meetup
     DEADLINE: <2018-01-03 Tue +1m>
 *** TODO Ecrire HWP (Haskell for the Working Programmer)
-    DEADLINE: <2018-01-03 Wed .+1d>
+    SCHEDULED: <2018-01-11 Thu .+1d>
     :PROPERTIES:
-    :LAST_REPEAT: [2018-01-02 Tue 09:55]
+    :LAST_REPEAT: [2018-01-10 Wed 00:29]
     :END:
+    - State "DONE"       from "WAIT"       [2018-01-10 Wed 00:29]
+    - State "DONE"       from "WAIT"       [2018-01-10 Wed 00:29]
+    - State "DONE"       from "WAIT"       [2018-01-08 Mon 22:52]
     - State "DONE"       from "WAIT"       [2018-01-02 Tue 09:55]
     - State "DONE"       from "WAIT"       [2018-01-01 Mon 22:07]
     :LOGGING: TODO IN-PROGRESS WAIT DONE(!) CANCELED
     :STYLE: habit
     :END:
+*** Conf avec Alex
+
+**** Context
+
+Contexte. Bon dev, mais comprend pas le fonctionnel.
+Un autre collègue fait du scala, il pense avoir perdu son temps avec les Free monades.
+D'autres scientifiques, font du Sparc, faut faire du fonctionnel, il viennent du
+python et code en language fonctionnel comme s'il faisait du python.
+
+Avec les math sont toujours utiles pour l'ingé.
+Numération romaine -> mais pas de zero.
+Mais avec zero on pense au nombres négatifs, invention de l'algèbre, etc...
+
+Géométrie Euclidienne, Riemannienne, fait une révolution énorme dans la capacité de l'ingé.
+
+La théorie des ensembles a permis la prog Objet.
+La théorie des cathégorie (puis HoTT) permet la prog fonctionnelle.
++ axiome d'univalence
+
+On a plein d'ingé ne comprennent pas ce qui se passe là.
+
+Sensibiliser les gens qui se croient les maîtres du monde.
+
+**** Raconter le parcours
+
+- Recherche, Airfrance, Startup, etc...
+- Donner des exemples simple, voire TD
+
+Dire pourquoi c'est utile, pourquoi c'est important.
+
+- Haskell va faire "par défaut" ne pas cacher les choses difficiles.
+- Haskell rend son code plus vertueux par défaut
+- rajouter des logs
+
+Argument Haskell vs Autres:
+
+- Argument mathématique:
+  Implicitement la théorie des ensembles à pas de structure.
+  La structure du fonctionnel.
+  C'est un structure qui a une base mathématique.
+  Et qui a donc plus de fondement.
+
+- Charles Hopkinson: au départ il voulait Idris.
+  + Bon choix de départ. Cloud Haskell, processus asynchrone distribué,
+    parallelisme, bonnes abstractions, bonnes structures.
+
+- DSL:
+  + Très facile d'encapsuler d'autres language.
+
+**** How to overcome
+
+**** Examples pour donner envie
+
+
 ** Perso
 *** DONE Envoyer demande autorisation tonnelle
     CLOSED: [2017-12-29 Fri 22:37]
@@ -304,3 +361,13 @@ http://www.mesenviesetdelices.com/2016/11/le-moelleux-au-chocolat-parfait.html
 ** CryptoCurrency
 *** DONE Sell ETN → BTC → ADA
     CLOSED: [2017-12-12 Tue 18:22]
+*** Prix estime
+Argent du monde entier varie de M0 à M3.
+M0 = 5.2e12, M1 = 25e12, M2 = 60e12 et M3 = 75e12
+
+Si 100% de l'argent (M3) est distribué en ADA, sachant qu'il y a
+en tout 41e9 ADA cela ramène le prix à 1829$
+Si on ne considère que l'ADA en circulation en phase 1 on peut doubler ce prix.
+
+Maintenant prenont une limite plus basse.
+Si c'est M0 alors le prix max serait à $126.