Skip to content

DEV Community

Gabi

I started programming and developing things when I was 13 years old with Minecraft stuff - Bukkit/Spigot-related. Now I work with web development and I have a high interest in functional programming!

Minas Gerais, Brasil Joined on Jan 23, 2020 gabrielle1guim@gmail.com https://gabx.io

Pronouns

she/her

Gabi

Aug 15 '23

Driving Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism in Rust

#rust #haskell #polymorphism

4 min read

Gabi

Aug 11 '23

GADT-like types in Rust

#rust #haskell #functional #datastructures

4 min read

Gabi

Aug 6 '23

Writing an Equation Solver

#math #rust #programming #tutorial

13 min read

loading...