Stack Exchange network consists of 180 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Visit Stack ExchangeTeams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Learn moreI'm a Software Developer at Yoroi.
I studied at the Scuola Superiore of the University of Udine. I've been interested in Computer Science since high school. Being pretty good at school I've enrolled in one of the Schools of Excellence in Italy. In this institution I had the chance to follow many interesting courses not included in the standard CS curriculum: from Bioinformatics to Neural Networks, from Category Theory to Reverse Mathematics, from Logical Frameworks to Statistical Mechanics.
In the last 13 years I've been using quite a bit of python, as you can see from my answers. I'm interested in functional programming, in particular in haskell, and my Bachelor thesis project involved implementing in Haskell a type inferencer for Haskell inside an already existing research tool.
Other languages I've used include: c (in particular in relation with the python-c-api),c++, kotlin, go, curry, prolog, javascript.
Your privacy
By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.