Live data from Hacker News

Elixir v1.20: Now a gradually typed language

elixir-lang.org

101–110 of 426 posts

Re: Elixir v1.20: Now a gradually typed language

#101

Earlier quoted context omitted.

Check Gleam website, they have the comparison right there.

Last I checked there were inacuracies. I am not sure if they have been addressed!

What were the inaccuracies? I'm not aware of any, but we can fix any that are found right away.

Re: Elixir v1.20: Now a gradually typed language

#102
post #26

Earlier quoted context omitted.

Read again... Here's what you need to do for elixir: Download and run the Erlang installer Download and run the Elixir installer Here for Java: Download and run the Java SDK And for Python: Download and run the Python installer

For Java you need a JRE and JDK depending on whether you're just running or also building. That they are bundled (for Windows) is slightly convenient, but they're not bundled on Linux so what you're saying is OS dependent

JRE or JDK, not "and". The JDK is a superset of the JRE.

Re: Elixir v1.20: Now a gradually typed language

#103
post #35

Earlier quoted context omitted.

Almost nobody uses it though, which is too bad, especially since multi-head functions sometimes make it difficult to follow the execution path. I'd like to do step by step but I cannot plug the debugger to VScode from inside a docker container.

No one I know wears the shoes I like to wear, which is too bad, because that means I can't enjoy them as much now.

I meant that it doesn't get much love from the community, it's pretty clear it's not used much, that's why things like `dbg` gets added to the language.

Re: Elixir v1.20: Now a gradually typed language

#104
post #74

seems ironic that critics were saying, it needs typing, and all the elixir fans were saying you don't need typing, you don't get bugs related to typing because elixir is somehow magic, now they get typing and it finds bugs for them.... but you said you didn't need that to prevent bugs? But good to see! I spent a bunch of time trying out Elixir a while back, I enjoyed it, but just didn't agree with the lack of types.

It's the circle of life. Dynamically typed language has fans. Other people correctly say that it would be a lot more useful with static types. Fans take this personally and say it doesn't need static types because (they aren't useful anyway/it goes against the spirit of the language/it's only a scripting language anyway/you can just use a debugger/static types hurt productivity/etc. etc.)

Then eventually they add static types. Happened to Python, JavaScript, Ruby... I'm sure there are more.

Re: Elixir v1.20: Now a gradually typed language

#105
post #69
post #35

Earlier quoted context omitted.

Almost nobody uses it though, which is too bad, especially since multi-head functions sometimes make it difficult to follow the execution path. I'd like to do step by step but I cannot plug the debugger to VScode from inside a docker container.

People use it.

Some do, but the DX was bad last time I tried, I did not find a way to use it with my setup.

Re: Elixir v1.20: Now a gradually typed language

#106
post #69
post #35

Earlier quoted context omitted.

Almost nobody uses it though, which is too bad, especially since multi-head functions sometimes make it difficult to follow the execution path. I'd like to do step by step but I cannot plug the debugger to VScode from inside a docker container.

People use it.

[deleted]

Re: Elixir v1.20: Now a gradually typed language

#107
post #74

seems ironic that critics were saying, it needs typing, and all the elixir fans were saying you don't need typing, you don't get bugs related to typing because elixir is somehow magic, now they get typing and it finds bugs for them.... but you said you didn't need that to prevent bugs? But good to see! I spent a bunch of time trying out Elixir a while back, I enjoyed it, but just didn't agree with the lack of types.

I think Elixir is interesting and there is real value but some stuff being sold as "all these libs/packages that haven't had any updates for over a year is fine because Elixir" I just don't buy it and to that point around typing feels like the same wish-washy hand waving from the community that is very off putting BEAM has genuine use cases but its not as wide as its made to believe. There are very good places where…

So you prefer language communities where libraries have a constant stream of fixes, new breaking change releases every six months and entirely new framework ecosystems ascending every three years?

Re: Elixir v1.20: Now a gradually typed language

#109
post #9

Earlier quoted context omitted.

Do you maybe know some Rust? I'm also not that experienced with FP languages, but Gleam felt familiar enough, due to some Rust-isms, to allow me to focus more on the concepts rather than the syntax. Granted, I spent a few afternoons with it, but if I were to pick a FP language again to wrestle my brain into submission, I'd probably go with Gleam due to familiarity.

I gave up on Rust even quicker than on Elixir haha. But yea I know about Gleam and I did build some fourier transform stuff with Rust a while back. I like Gleam generally. I am just much much slower with FP and think its extremely unintuituve compared to, say, Go for example.

why did you give up on Rust?

Re: Elixir v1.20: Now a gradually typed language

#110

Maybe it is only my experience, but i feel that languages that were not typed since the begining never work as well as "true" typed ones.

Conversely, TypeScript is my favourite type system because it has to support the wild things people did in untyped languages.
Post reply on HN