Maybe a proper debugger?
Elixir – HUGE Release Coming Soon
51–60 of 83 posts
Re: Elixir – HUGE Release Coming Soon
#52Hi everyone! I want to align everyone expectations and say this is not related to the Elixir language itself but rather the Elixir ecosystem. The language has been stable for years and non-minor features always discussed upfront through several proposals. With that said, if you are interested on the work happening on types, I wrote recently about it here: https://elixir-lang.org/blog/2022/10/05/my-future-with-elixi..…
the Elixir metaverse? ;P
The potion of youth?
Re: Elixir – HUGE Release Coming Soon
#53Re: Elixir – HUGE Release Coming Soon
#54If it's related to cryptocurrency HN is going to explode. It's not, but it would be hilarious.
I hope it is, because I've been putting off learning Elixir for too long and I want to feel like my procrastination has been justified.
Re: Elixir – HUGE Release Coming Soon
#55Earlier quoted context omitted.
static types is the main thing that keeps me from putting more time into learning / using elixir.
Me too. Every time I read statements like this from Jose "This brings another discussion point: a type system naturally restricts the amount of code we can write because, in order to prove certain properties about our code, certain styles have to be rejected." I can't but think few things: - by compilers (in this case static type checkers) laws we all know that there are valid programs that won't satisfy the type che…
> I've noticed that people with a huge background in dynamic languages tend to have a natural refusal for static types. Lispers are a community with such an attitude, even the typed lisps like typed/racket seem to be born more to please people wanting typecheckers and academics than the userbase itself.
I feel like it's the opposite. It seems like we have this huge wave of a push for static types. The only way I can explain it to myself is that a bunch of people using dynamically typed languages finally came over to the static typing side. And I say this as someone that worked using statically typed languages for pretty much all of their career.
I get it for TypeScript and the frontend. The frontend is a huge, complex mess of interactions, in the same codebase. Static types are awesome there.
But the way we write most backend systems these days, IMHO, static types are practically a nothingburger. Sure, they were awesome when I was working on those millions of LOC projects back in the 2000s. But nowadays those millions of locs are spread across N projects which are separated by a typeless network boundary so I'm not looking at anything more than 50-100k LOC anyways.
So I just don't get it. Systems are written in a way that devalues static typing, but it feels like the demand for it is higher than ever.
Re: Elixir – HUGE Release Coming Soon
#56(Off-topic) As much as I love decentralization these Twitter alternatives have some really awful UIs. Feels like stepping back in time, although that's not always a bad thing.
They should get some of the cryptobros to help, they always had amazing designs for their useless services.
Re: Elixir – HUGE Release Coming Soon
#57Hi everyone! I want to align everyone expectations and say this is not related to the Elixir language itself but rather the Elixir ecosystem. The language has been stable for years and non-minor features always discussed upfront through several proposals. With that said, if you are interested on the work happening on types, I wrote recently about it here: https://elixir-lang.org/blog/2022/10/05/my-future-with-elixi..…
Disappointed that it's not about the language itself, but congrats nonetheless. Looking forward to seeing what you all have done.
Re: Elixir – HUGE Release Coming Soon
#58Thanks, Jose. Really looking forward to it.
Re: Elixir – HUGE Release Coming Soon
#59Earlier quoted context omitted.
Me too. Every time I read statements like this from Jose "This brings another discussion point: a type system naturally restricts the amount of code we can write because, in order to prove certain properties about our code, certain styles have to be rejected." I can't but think few things: - by compilers (in this case static type checkers) laws we all know that there are valid programs that won't satisfy the type che…
> I've noticed that people with a huge background in dynamic languages tend to have a natural refusal for static types. Lispers are a community with such an attitude, even the typed lisps like typed/racket seem to be born more to please people wanting typecheckers and academics than the userbase itself. I feel like it's the opposite. It seems like we have this huge wave of a push for static types. The only way I can…
I also don't fully understand it. Maybe it's driven more by the ease of autosuggesting/completing in static typed languages than actually catching bugs. It will swing back like everything else and reorient on slightly different direction. This pendulum is quite slow though.
Re: Elixir – HUGE Release Coming Soon
#60Hi everyone! I want to align everyone expectations and say this is not related to the Elixir language itself but rather the Elixir ecosystem. The language has been stable for years and non-minor features always discussed upfront through several proposals. With that said, if you are interested on the work happening on types, I wrote recently about it here: https://elixir-lang.org/blog/2022/10/05/my-future-with-elixi..…
Can you at least give us a little tease as to what domain the new project is targeting?