I am smed. I learned Mathematics and now teach them at highschool for years and love it. I felt in love with computer science (or better 'INFORMATICS' following Pr. Phil Wadler) for years and now have the opportunity to teach CS too.

In France, at highschool level, Python has been chosen as a main learning language, which is somehow good and bad at the same time. I must admit I do appreciate python's flexibility. This somehow explains the Python tropism on my SO activity. On the other hand, I someteimes can't bare anymore the lack of an explicit type system. Type hints are fun but I don't wan't to build spaghetti decorations around my python objects just to do as if....Maybe, as pythonistas, we lack of a 'Python, the good parts' à la D. Crockford to clarify what Python is good at, and what not to try to do with it.

I discovered Rust last year, was very impressed, bought THE BOOK, is still reading it, followed 'Rust in motion' on Manning site, about to complete the rustlings. What amazes me the most is the strength and dynamism of the communitiy around this newborn futuristic language. As promisesd, the learning curve is steep, but I keep with the intuition that Rust in the new C. I really want to master it as soon as possible.

What else ? I speak english, german, spanish (and a bit of French !) I prefer Haskell than Ocaml; I prefer Agda than Coq (still wonder if I could use it one day in my Maths classroom); I love LaTex and teach it too my best maths students (they are 17, remember!);

And i'm a big fan of Bryan Cantrill too.