Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Elixir – HUGE Release Coming Soon

genserver.social

Post reply on HN
Print view View original

71–80 of 83 posts

Re: Elixir – HUGE Release Coming Soon

#71

Post by dark-star »

josevalim wrote: post #29

Hi 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..…

Is it related to NFTs? Crypto? Blockchain?

The announcement sure sounds one of those "we're joining the NFT hype train and it will be AWESOME!" type of announcements...

Re: Elixir – HUGE Release Coming Soon

#73

Post by true_religion »

fud101 wrote: post #48
throwawaymaths wrote: post #33

Earlier quoted context omitted.

Also meta has a static typing system for Erlang. Also, dialyzer exists. So if it's "never" he means set theoreic types, but there are incomplete set theoretic type libraries for elixir

By meta do you Facebook? If so just say that, it's confusing otherwise.

Meta is also WhatsApp, which is what I know was part of the erlang community.

Re: Elixir – HUGE Release Coming Soon

#76

Post by kazinator »

epolanski wrote: post #36
vasergen wrote: post #28

Earlier 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…

Programs never have to be rejected; programs can be diagnosed (so we are informed) and run anyway.

Programs have to be rejected if there is no safe way to handle them at run-time, when for the sake of efficiency we removed the type bits from the data. (And not even always then; the programmer may have assured safety otherwise.)

Re: Elixir – HUGE Release Coming Soon

#78

Post by throwawaymaths »

fud101 wrote: post #48
throwawaymaths wrote: post #33

Earlier quoted context omitted.

Also meta has a static typing system for Erlang. Also, dialyzer exists. So if it's "never" he means set theoreic types, but there are incomplete set theoretic type libraries for elixir

By meta do you Facebook? If so just say that, it's confusing otherwise.

I had actually started typing Facebook, then remembered that it was Whatsapp, which post name change is technically not Facebook but actually meta, so I submitted as meta for correctness
Post reply on HN