Interesting @lambda_conf talk showing how Dialyzer ('discrepancy analyzer') offers gradual typing for Erlang and Elixir: https://youtu.be/FXCMiQWnWu0
It's a neat type system: it uses 'success typing', (it assumes you're correct) and exotic features like ranges and non-empty lists!
miniblog.
Related Posts
I've released difftastic 0.63! In this release:
* Better parsing of Elixir, LaTeX, Make, Nix, Rust and YAML
* Better detecting of text encoding, especially on Windows
* Prebuilt musl binaries, so you can run released binaries on older systems!
I've released difftastic 0.50!
In this release:
* Merge conflicts! Difftastic now understands <<<<<<< syntax and shows a syntactic diff of the underlying files.
* Updated parsers for Elixir, Erlang, Go, Kotlin and Racket
* Various styling quality-of-life improvements
Experience report on writing the same small web app in C#, Deno, Go, Elixir, Rust and Scala: