Viewing profile — josevalim

Boom! Fixed, thanks!

It should be fixed soon (deploying now). Thank you!!!

It is funny (and perhaps a bit depressing) that LLMs were trained on our content and now, if we generate a similar structure as before, with the usual love and care, we will be cri…

That's a good point. It is meant to be an introductory example but I will see if I can come up with something else! Thanks! EDIT: shipped!

Thanks for the kind words and the nice question! 1. The cross module optimizations I mentioned above 2. Have a WASM target for the runtime itself 3. Make it easier to ship single f…

Can you clarify which ones? We will be glad to improve them (or feel free to send a PR).

There are multiple people working on the JIT within the last 5-6 years. The WhatsApp folks also contribute meaningfully. I suspect once the Erlang/OTP team squeezes all performance…

The Software Mansion folks designed it and we actually iterated on the designs on Figma, having discussions as humans, and exploring alternatives. They were lovely to work with. I …

I don't think these articles fully cover (pun intended) the claims being made. First of all, we need to separate "types" from "static type checking". Elixir always had types and ty…

Lovely!!!

That’s very exciting! Is there anywhere I could follow you for updates? If you don’t want to share it publicly, and is ok with sharing it privately, my email is my username on gmai…

Agreed on the guardrails bit. My point is that we still don't have much evidence that static types are an effective way to constrain the search space for coding agents, or how much…

Please file a bug report if you can indeed isolate/reproduce it (and please ping me on GitHub once you do)!

No, this comes from interacting with the community, companies, and large projects throughout the years, followed by research, publishing of papers, and careful analysis on the cost…

> Honest question, in the era of vibe and AI assisted coding is there any advantages of using untyped programming languages, apart from the fact that non-typed languages has more t…

That happens with a single module but not across modules because being able to hot code load modules is an essential ability in Erlang/Elixir.

You are mixing runtime and compile-time dependencies. Runtime dependencies (circular or not) have no impact on compilation performance and stability. Phoenix does include one circu…

That can be a concern indeed but it is worth noting that strong arrows compose/propagate. So if you have a function without guards that calls a function that guards on said types, …

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

> 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 I maintain more than 20 packages and, e…

The syntax you are commenting on has always existed in Elixir, before v1.0, as part of patterns and guards. You are commenting as if we added this now but we have made no changes t…

The team that built Erlang (Joe, Robert, Mike, and Bjorn) didn't know the actor model was actually a thing. They wanted to build reliable distributed systems and came up with the i…

Hard to say, as it really depends on what goes wrong. In practice we would likely need to make different trade-offs (for example, do less inference).