Hi everyone! I'm new here so, time for an #introduction?
I'm an M2 student living near Paris, interested in :
• Type systems (Curry-Howard ❤ )
• #CategoryTheory
• #Nix
• #metaprogramming
Today I program a lot in #OCaml, because French research teams use it a lot, but I also use #Haskell and I like dependently-typed languages like #Agda.
For some work I have done on the OCaml compiler you can check out http://otini.chnik.fr/.
Glad to be here :)