2 ms·
It’s underway - https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/ https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradua...
by mrmincent 3y ago
It’s underway - https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/ https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradua...
- chromatin 3y agoGREAT NEWS! This is what has kept me away from Elixir, but no such great web framework yet exists for e.g. Rust
- Yoric 3y agoEh. I designed some kind of static type system for Erlang ~20 years ago. It wasn't very good and I changed job before I could test it on anything serious, but it was fun! Glad to see that some people are doing a more serious job than me :) (also, it's a small world – I know Giuseppe Castagna, wasn't aware that he was working on typing Elixir)