By “in this form”, do you mean using OK.with? If this is the case, I’m not sure how it would be different, as you could also forget to use the <- in OK.with as well. But maybe I’m just totally missing your meaning. Perhaps you could elaborate a little more?
ibgib
1
Crowdhailer
Creator of Raxx
1.5 available on hex. Now has support for an else block that matches directly on errors.
OK.with do
a <- safe_div(8, 2)
_ <- safe_div(a, 0)
else
:zero_division -> # matches on reason
{:ok, :inf} # must return a new success or failure
end
3
josevalim
Creator of Elixir
This is by design as you can have both “hard matches” with = and “soft matches” with <-. Being able to mix them is important because forcing developers to use <- instead of = can be undesired in some circumstances. The opposite, which is the case you ran into, not so much since it will raise instead of silently passing.
3
Crowdhailer
Creator of Raxx
Version 1.6.0 released, with two main improvements.
-
Much better errors, showing code snippet, expected and actual values
Binding to variable failed, '{:bad, 6}' is not a result tuple. Code b <- bar(a) Expected signature bar(a) :: {:ok, b} | {:error, reason} Actual values bar(a) :: {:bad, 6} -
required/2to turn nilable values to result tuplesmaybe_port = Map.get(config, :port) {:ok, port} | {:error, :port_number_required} = OK.required(maybe_port, :port_number_required)
4
OvermindDL1
Crowdhailer
Creator of Raxx
I thought the separation made things clearer? Your suggestion would certainly be possible
0
OvermindDL1
Everything in Elixir has the ‘last statement is the return’ property, so separating it out seems really weird to me. ^.^;
0
NobbZ
OK.for do
a ← safe_div(8, 2)
b ← safe_div(a, 2)
after
a + b
end
To be hones, this doesn't make any sense to me… `do x <- 1 after x end` sounds like `x <- 1` should be done only after `x`… Just as in `do x before x <- 1 end`…
1
Crowdhailer
Creator of Raxx
To be honest I wish I could have used yield or return but out of the options I had the others all seamed worse. i.e. else and rescue.
0