About Me
After finishing high school in 2023, I decided to take a Gap year, and considering that I had fallen in love with the Haskell
programming language, I spent a lot of time reading about programming language theory, type theory, and compilers.
Just when I was looking for opportunities to get involved in the development of the Glasgow Haskell Compiler (GHC),
one thing led to another and I found myself in the middle of the
2023 GHC Contributors' Workshop in the beautiful city of Zürich.
There, I met Simon Peyton Jones, and even though I was just 19 years old,
he offered me a chance to do research with him.
For the past 18 months, together with Simon and Richard Eisenberg, I've been working
on formalizing GHC's typechecker. Our work has already been influential in GHC's development, and we've found many bugs, and
opportunities for improvement because of it!
Looking for new opportunities
As I continue my journey in the world of Haskell, functional programming, and compilers, and considering that the paper's fundamental ideas are crystalizing,
I am actively looking for job opportunities to apply my knowledge, learn, and gain more experience.
I would love to work on projects related to Haskell, GHC, functional programming, and compiler development.
Feel free to get in touch!
Publications
Typing of GHC Haskell, part I (Early Draft). Artin Ghasivand, Simon Peyton Jones and Richard A. Eisenberg.
(pdf)
(implementation)
Note: There is also going to be a reference implementation. Both the paper and the implementation are still very much a work in progress.
Talks
A good programming language is a Functional one. Presented at the University of Tehran, November 24, 2024, Tehran, Iran. (video) (slides)