Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27
1–10 of 170 posts
Re: Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27
#2Really impressed with how thoughtful _and_ fast they are delivering on their type system.
Re: Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27
#3I'm excited about the type system so far, but I'm especially excited to hear about what else the type system is going to enable in the future. I remember José describing this as a "gradual gradual type system," where the gradual type system is going to be gradually added in stages, with this being the first stage. Any cool new type-system-related stuff coming up in the next few stages? I'm especially hoping for newly enabled compiler optimizations.
Re: Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27
#4Super-excited for this release. I wish someone would put some resources into the Elixir IntelliJ plugin. I've tried, but I just can't enjoy using VSCode (vs IntelliJ based IDEs, Visual Studio, etc.)
Re: Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27
#5I'm very happy for this release. I picked up Elixir recently, and the missing a type system was my only pet peeve.
Re: Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27
#6I'm excited about the type system so far, but I'm especially excited to hear about what else the type system is going to enable in the future. I remember José describing this as a "gradual gradual type system," where the gradual type system is going to be gradually added in stages, with this being the first stage. Any cool new type-system-related stuff coming up in the next few stages? I'm especially hoping for newly…
Here is the roadmap https://hexdocs.pm/elixir/main/gradual-set-theoretic-types.h...
The next milestone will include a mechanism for defining typed structs.
Re: Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27
#7I'm excited about the type system so far, but I'm especially excited to hear about what else the type system is going to enable in the future. I remember José describing this as a "gradual gradual type system," where the gradual type system is going to be gradually added in stages, with this being the first stage. Any cool new type-system-related stuff coming up in the next few stages? I'm especially hoping for newly…
Doesn't gradual type system mean something else here? As in developers being able to iteratively add types while leaving untyped parts for later? At least this is how Ruby's Sorbet describes it
Re: Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27
#8I'm excited about the type system so far, but I'm especially excited to hear about what else the type system is going to enable in the future. I remember José describing this as a "gradual gradual type system," where the gradual type system is going to be gradually added in stages, with this being the first stage. Any cool new type-system-related stuff coming up in the next few stages? I'm especially hoping for newly…
Doesn't gradual type system mean something else here? As in developers being able to iteratively add types while leaving untyped parts for later? At least this is how Ruby's Sorbet describes it
Correct, a gradual type system is a form of type system and not the method for rolling it out.
Re: Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27
#9Does anyone know what they mean by "set-theoretic types"? I'm a PL nerd, but I've never heard this term before.
Re: Elixir 1.17 released: set-theoretic types in patterns, durations, OTP 27
#10This is it, the final piece I wanted. Looking forward to the further stages. Apart from that, the language is 100% feature-complete as far as I am concerned.