XV
Xavier Van de Woestyne
@vdwxv.bsky.social
Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages. I'm also interested in blockchain.
16 followers18 following19 posts
L'année passée, j'ai décris un usage du GADT `Eq` pour implémenter des méthodes gardées (et résoudre les méthodes `sum`, `prod` et `flatten`) en préservant la sémantique d'envoi de message ! xvw.lol/pages/oop-re...#ocaml#gadt#oop
XV
Xavier Van de Woestyne
@vdwxv.bsky.social
Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages. I'm also interested in blockchain.
16 followers18 following19 posts