keep_zen

keep_zen

Quantum of Elixir or why in rescue it just match the name of the error?

I want define a macro like this.

defmodule Demo do
  defmacro maybe(do: block) do
    quote do
      try do
        unquote(block)
      rescue
        e in [MatchError] -> e.term
        # %MatchError{term: term} -> term
        e -> reraise e, __STACKTRACE__
      end
    end
  end
end

Why in the rescue it just match the name of the error?
In another words, why can not use the code like %MatchError{term: term} -> term in here?
About 5 years ago there is a question about this.
The different is that I know what is right syntax, but I do not know why it must like that way.

Most Liked

Qqwy

Qqwy

TypeCheck Core Team

José Valim happened to talk about it in Reviewing Elixir - Part 4 of the Thinking Elixir podcast.

Briefly summarized, the reason is indeed to make it very hard for people to depend in their rescue clauses on the internals of the exception struct, as this might change over time. (Side note: debugging exceptions being raised because of other exceptions not being recognized properly is very much not fun.)
You can still do it inside the rescue clause if you really really want to, but at that point you’ll have thought really hard about if this really is the approach you want to take and hopefully have reconsidered.

Qqwy

Qqwy

TypeCheck Core Team

A new mechanism for this was introduced in OTP 24 (c.f. EEP 54). The ‘extra information’ is kept separate from the main value that is being raised, to make sure that existing code did not break.

It was necessary to do it this way in part because the whole error mechanism in Erlang predates maps and was thus solely built on top of atoms and tuples.

msimonborg

msimonborg

One reason may be the internal structure of the exception struct can change over time

Where Next?

Popular in Questions Top

Tee
can someone please explain to me how Enum.reduce works with maps
New
logicmason
Hi there, I'm working through my first release with elixir/phoenix. I've built a release with distillery and found that it crashes when I...
New
lastday4you
I wanted to check elixir version in phoenix because i found that my elixir is 1.5 but when i use Enum.chunk_by it said the function is un...
New
myronmarston
The Elixir Typespec docs show the following syntax for keyword lists in typespecs: # ... | [key: type] # keyword lis...
New
qwerescape
Is there a way to get the call stack or stack trace at any point in the code? Not from exceptions, but an expression that returns how the...
New
gonzofish
I’m currently trying to understand how to join three tables using Ecto. All the examples I’ve seen use 2, so maybe I’m just missing somet...
New
kostonstyle
Hi all I want to have a unix time, from the current time plus 1 hour. DateTime.now + 1 hour How to get it in elixir? Thanks
New
chrisalley
ExUnit now has describe blocks which is a welcome addition coming from RSpec. In the docs, it states that nested hierarchies of describe ...
New
Fl4m3Ph03n1x
About me? ( if you have nothing better to do than reading about some random guy in the internet :stuck_out_tongue: ) Hello all, this is ...
New
lanycrost
Hi everyone! I need implement if…else if…else condition from my elixir code, and anymore of this control flow structures not work proper...
New

Other popular topics Top

dotdotdotPaul
Okay, I'm having a heck of a time trying to figure out how to best handle the validation of belongs_to associations in Ecto. I'm sure I'...
New
yawaramin
In the Dialyzer docs ( http://erlang.org/doc/man/dialyzer.html#requesting-or-suppressing-warnings-in-source-files ), there is a way to tu...
New
openscript
Hello! Sorry for this astonishing simple question, but I’m really stuck. I try to set up the intellij-elixir plugin, but I don’t know ho...
New
New
quazar
How to set Jason to encode all fields in ecto schema, I don’t care about security and implementing only is taking long list of attributes...
New
rms.mrcs
Hi, I need to transform a list of numbers into a map where the keys are the indexes and the values are the original values of the list....
New
fireproofsocks
Forgive me if this is obvious, but how does one delete a database record WITHOUT selecting it first? https://hexdocs.pm/ecto/Ecto.Repo.h...
New
skosch
To my knowledge, put_in, Map.update etc. all have the one limitation of not automatically creating intermediate keys when needed (for exa...
New
jay1
Why is it that the mnesia database isn’t the most preferred database for use in Elixir/Phoenix?
New
lanycrost
Hi everyone! I need implement if…else if…else condition from my elixir code, and anymore of this control flow structures not work proper...
New

We're in Beta

About us Mission Statement