← Back to context Comment by benzible 8 hours ago Obligatory comment that elixir is now gradually typed: https://news.ycombinator.com/item?id=48388324 2 comments benzible Reply tasuki 5 hours ago Tbh gradual typing sounds like a nightmare. Probably impossible to implement correctly, whatever your definition of "correctly". josevalim 3 hours ago Nah, the gradual angle is not what makes a type system tricky to implement. Plus we have published a few papers discussing how we are typing Elixir and how our approach is sound.
tasuki 5 hours ago Tbh gradual typing sounds like a nightmare. Probably impossible to implement correctly, whatever your definition of "correctly". josevalim 3 hours ago Nah, the gradual angle is not what makes a type system tricky to implement. Plus we have published a few papers discussing how we are typing Elixir and how our approach is sound.
josevalim 3 hours ago Nah, the gradual angle is not what makes a type system tricky to implement. Plus we have published a few papers discussing how we are typing Elixir and how our approach is sound.
Tbh gradual typing sounds like a nightmare. Probably impossible to implement correctly, whatever your definition of "correctly".
Nah, the gradual angle is not what makes a type system tricky to implement. Plus we have published a few papers discussing how we are typing Elixir and how our approach is sound.