**otini** @otini · 2017-12-08T16:12:44Z

otini @otini

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 :)

Dec 08, 2017, 16:12 · Web · 7 · 13

**Muto/Hurd🌷** @MutoShack · Dec 08, 2017, 16:13

**Muto/Hurd🌷** @MutoShack · Dec 08, 2017, 16:13

@otini Nice! Welcome! 😀

**otini** @otini · Dec 08, 2017, 16:17

**otini** @otini · Dec 08, 2017, 16:17

@MutoShack Thanks 😃

**Marco Dalla Stella** @mdallastella · Dec 10, 2017, 09:46

**Marco Dalla Stella** @mdallastella · Dec 10, 2017, 09:46

@otini Welcome aboard!

**otini** @otini · Dec 10, 2017, 12:54

**otini** @otini · Dec 10, 2017, 12:54

@mdallastella Thank you, and many thanks for running this instance!

**esh** @stripey@mathstodon.xyz · May 01, 2018, 19:08

**esh** @stripey@mathstodon.xyz · May 01, 2018, 19:08

@otini What's M2? Category theory is so interesting! I want to learn more about it

**otini** @otini · May 01, 2018, 19:31

**otini** @otini · May 01, 2018, 19:31

@stripey M2 stands for 2nd year of Masters. I want to learn more about it too! 😄 I'm interested in category theory in principle but never found the time to dig into it seriously on my free time.