hst337

hst337

Why map update syntax does not work in guards?

1> case [1, 2, 3] of
1>   X when #{x => 1}#{x => 2} =:= #{x => 2} -> X
1> end.
[1,2,3]

and

iex> case [1, 2, 3] do
...>   x when %{%{x: 1} | x: 2} == %{x: 2} -> x
...> end

Should I submit it as a bug, or is it intended?

Showing Posts 1 to 10

ityonemo

ityonemo

I don’t think that is supported, there’s still a few things in guards that haven’t made it over in the parser, for example I believe map_get is not supported.

hst337

hst337 OP

map_get is supported because it is a function, not an expression

iex(1)> case %{x: 1} do
...(1)>   x when :erlang.map_get(:x, x) == 1 -> x
...(1)> end
%{x: 1}
josevalim

josevalim

Creator of Elixir

IIRC Erlang supports only updates of literal values and I am not sure there is a need for it in Elixir because you could merge them at compile time if you need similar behavior.

trisolaran

trisolaran

What would be the use case for this? Isn’t the above guard checking whether 2 == 2? :thinking:

hst337

hst337 OP

What do you mean by literal values?

1> X = x.
2> M = #{x => 1}.
3> case 1 of
3>   Y when M#{X => Y} =:= #{x => 1} -> ok
3> end.
ok
josevalim

josevalim

Creator of Elixir

TIL! That’s news to me. :slight_smile:

It is something we could support then. Is there any use case for it though?

hst337

hst337 OP

I thought about something like

defguard is_same_struct?(left, right) when %{left | meta: nil} == %{right | meta: nil}

Or

defguard equal_request?(left, right) when %{left | timestamp: nil} == %{right | timestamp: nil}
hst337

hst337 OP

Or even more general and useful example

defguard field_polymorphic?(left_struct, right_struct) when %{left_struct | __struct__: nil} == %{right_struct | __struct__: nil}
josevalim

josevalim

Creator of Elixir

Hrm… good question. I wonder if that’s indeed the fastest way to compare maps in such scenarios?

hst337

hst337 OP

How would you compare them the other way? Key-by-key using :maps.iterator?

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
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
AstonJ
Since we have deprecated our Erlang sections (as we have dedicated Erlang Forums now) let’s add this thread for those who’d like to post ...
New
maennchen
:warning: Security advisory: Decimal DoS vulnerability A vulnerability has been published for decimal where very large exponents can cau...
New
Null-logic-0
What IDE or editor are you using for Elixir development? Personally, I use Zed, and I really like it, but sometimes I wish there were a ...
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
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
webofbits
Aludel - LLM Evaluation Workbench Aludel is an embeddable Phoenix LiveView dashboard for evaluating and comparing LLM prompts across mult...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews