sodapopcan

sodapopcan

Given:

(apologies for the ping, José!)

Is there a possibility that we could ever get dedicated float operators (+., *., >., …) like in OCaml and Gleam?

I’ve considered the following (what am I missing?):

  • Is there anything that would make this a technical no-go?
    …or maybe it’s already being considered?

  • Would it have to be a 2.0 feature?
    I imagine adding it as opt-in totally defeats the purpose, though I could see a path where we’d get a warning for doing 1 / 1.0 vs an error for 1 /. 1.0. I’m a bit fuzzy on the criteria for this as, for example, I believe the removal of imperative assignment was a post-1.0 feature, no?

  • We would need Integer.to_float/1 and Float.to_integer/1 functions.


What do you all think? Do any of you work on a codebase that would make this a nightmare scenario for you? Do math-heavy libraries like Nx rely heavily on overloaded operators?

Showing Posts 1 to 2

josevalim

josevalim

Creator of Elixir

Why would we want to do that? :slight_smile: Gleam does not really have multiple clauses, so it makes sense there, but in Elixir and Erlang they are very common. So I don’t see the benefit in going in this direction. Especially when there are so many statically typed languages with this exact feature too (Haskell, Go, Rust, etc).

sodapopcan

sodapopcan OP

My assumption was that it would make it possible to infer floats where guards are not needed:

def ints_dont_add_up(a, b) do
  a +. b
end

Because those languages aren’t Elixir… :grin: It just always felt a bit out of place not having them given that operators are otherwise not overloaded (at least in the core language).

I’m not sure I follow how multiple clauses comes into play since Haskell also has them. Although your answer along with the otherwise deafening silence has pretty much answered my question! It’s not a feature I’m dying for or anything which is why I created this as discussion and not a proposal.

— All posts loaded —

Where Next? Top

Trending in Discussions Top

AstonJ
As the title says, please share what you’ve been up to with Elixir. Whether that’s been learning it, looking into it, making stuff with i...
2977 94592 917
New
cblavier
Hey there, It’s been more than a year since we started using LiveView as our main UI library and building a whole library of UI componen...
New
caslu
I want to open this thread for you all to discuss and help those who really like Ash but are still hesitant to use it in a real project. ...
New
mudasobwa
I am happy to introduce the very α version of the new programming language compiled to BEAM. Welcome Cure. It has literally three kille...
New
heathen
Quite interesting article Google brought me. Didn’t find any mentions about it here. What do you think in general? Would you use togethe...
New
maennchen
:warning: Security advisory: Decimal DoS vulnerability A vulnerability has been published for decimal where very large exponents can cau...
New
marciol
It would be helpful to have a list of companies worldwide that hire engineers without prior experience in Elixir. Often, it can be quite ...
New

Other Trending Topics Top

marciok
Hi there! We created Gust: A task orchestrator inspired by Airflow. For those who have never heard about Aiflow, it’s a Python-based wor...
New
jimsynz
Beam Bots (or just BB for short) is a framework for building fault-tolerant robotics applications in Elixir using familiar OTP patterns. ...
New
Dmk
Xamal is a deployment tool for Elixir apps that deploys native releases to bare metal servers over SSH. It’s a port of GitHub - basecamp/...
New
netoum
Corex is an accessible, unstyled UI component library for Phoenix that integrates Zag.js state machines using Vanilla JavaScript and Live...
New
webofbits
Aludel - LLM Evaluation Workbench Aludel is an embeddable Phoenix LiveView dashboard for evaluating and comparing LLM prompts across mult...
New
webofbits
With AI doing more of the implementation work, I’ve been wondering how much coding I should deliberately keep doing myself. My main conc...
#ai
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews