gabrielgatu
Hi everyone!
Today is a special day for me: it starts officially the Google Summer of Code, and in the meantime I’m here in Barcelona, chilling with some good coffee and writing this short introduction to my project 
My name is Gabriel Gatu, and this summer I’ll be working on dialyzer, to try and implement a library for the elixir ecosystem that could be merged inside the elixir standard lib.
This project is under the supervision of Sean Cribbs and Jose Valim, my mentors for this task. You can find more infos about this project here:
- GSoC page: Google Summer of Code
- Github repo: GitHub - gabrielgatu/mix-dialyzer: Just a mix command for running dialyzer :) · GitHub
I’m sure you’ll have a lot of questions, so I’ve tried to answer to the most common ones in the Readme of the project.
But, first of all, I would like to state that by no means I’m an expert on dialyzer, so any help/suggestion/improvement/mentorship is highly welcomed! ;D
Finally, I would like to thank all the people that contributed in these years to the dialyzer integration story for elixir, without you my work would be much harder, so I look forward to learn as much as I can from you!
If you have any question or would like to discuss together some ideas, I would be glad to talk about this with you!
Where Next?
Trending in Discussions
Other Trending Topics
Latest on Elixir Forum
Sponsor Spotlight
Producing high quality Elixir screencasts since 2017.
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #library
- #deployment
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #elixirconf
- #channels
- #exunit
- #discussion
- #code-sync
- #podcasts
- #javascript
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #elixirconf-us
- #ai
- #blog-post
- #elixir-ls
- #phoenix_html
- #iex
- #graphql
- #genstage
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #api
- #forms
- #metaprogramming
- #hex
- #security
Our Sponsors
Build Elixir applications with speed and confidence.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Error tracking, logs, uptime, and Just Enough APM. Built for developers.
Elixir, Erlang & BEAM conferences from Code Sync - join us in 2026!
Practical resources that improve the lives of professional developers.
Master modern tools, write cleaner code, and tackle real-world challenges.
The deployment platform built for Elixir: PaaS ease, VPS control.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"
Showing Posts 1 to 8- Show Best Posts
- Show All (oldest first)
- Show All (newest first)
dimitarvp
This is one of the threads that gives good bits of info.
AstonJ
The dialyzer tag might be worth a look too
Awesome
we shall look forward to your updates 
jxub
Hi @gabrielgatu
, nice to meet a fellow GSoC’er 
. It seems like you’ve got quite an interesting challenge and the README looks really good!
Let me also use the thread to introduce myself
I’m Jakub and I’ve just started working on BarrelEx, an Elixir API for BarrelDB, an distributed document-oriented database written in Erlang, and I’m mentored by Benoît Chesneau, its creator.
I’ve already covered around 50% of the API, and still need to add more test coverage as well as through documentation. The code is hosted on Gitlab due to its superior CI story but you can also see the Github mirror here https://github.com/jxub/barrel_ex
idi527
Sorry for an off-topic but I’ve worked a bit lately on gitlab, and had a really bad experience with almost everything on their platform. The pushes were extremely slow, the website constantly hanged, the CI workers were in “pending” state for tens of minutes …
So if you don’t self-host a gitlab server, github is much easier to use, in my experience. And http://semaphoreci.com/ provides free CI for open source projects with great elixir support, no “pending” jobs, and simpler configs.
jxub
Thanks for sharing your experience, I will discuss this issue with my mentor.
The builds are a bit slow, averaging 10 minutes at the moment, and it’s kind of bugging me so I might have a look at SemaphoreCI.
At the moment the other reason why I use Gitlab is that the rest of the code for the Barrel-db project is already there barrel-db · GitLab
Don’t worry about going off tangent as it was already a bit of an off-topic
tmbb
Will this be based on dializer or are you going to write your typechecker from scratch? Will you use successs typing only, or would you be open to something like untagged unions and intersection types?
christhekeele
My understanding is the project means to better integrate dialyzer’s success typing with Elixir and mix, not re-implement it.
In particular, I am pretty sure they are trying to add builtin mix commands capable of faster, incremental dialyzer runs; and improve the error messages it gives from its current cryptic literal success-typing messages to the more friendly and instructive ones we are used to in Elixir, with examples/suggestions around common mistakes.
gabrielgatu
Hey jxub, nice to meet you as well and I hope you’re progressing well
Also thanks to @christhekeele, you’ve really nailed it
It’s been pretty much 1 month I’ve been working on mix-dialyzer, and I have some nice news: now mix_dialyzer is in an apha stage, where you can use it to analyse your projects based on a configuration file, get informations about your project status and manage the artefacts generated.
Inside, it already caches some common things, although I still have to implement a proper caching system.
I’ve also published a doc page, explaining every implemented functionality in detail, you can find it here: mix-dialyzer/doc at master · gabrielgatu/mix-dialyzer · GitHub
Let me know if you have any question or suggestion to make things better