lud

lud

Hi,

I’m pretty sure it is the case but I found conflicting informations online.

Can you confirm that the tail call optimization will take place for a function when only the first call is wrapped in a try/catch?

For instance this module:

defmodule T do
  def top do
    until(1_000_000_000)
  catch
    e -> {:got, e}
  end

  defp until(n, n) do
    throw(:hello)
  end

  defp until(n, x) do
    until(n, x + 1)
  end

  defp until(n) do
    until(n, 0)
  end
end

IO.inspect(T.top())

As you can see, the first call to until is wrapped in a try/catch but afterwards, there are no more wrapping blocks around the recursion. So TCO should be there, right?

I’m pretty sure this example would blow up if that were not the case anyway :smiley:

Other case, with this code:

defmodule T do
  def top do
    until(1_000)
  catch
    e -> {:got, e}
  end

  defp until(n, m) when m >= n do
    throw(:hello)
  end

  defp until(n, x) do
    add =
      try do
        some_other_fun()
      catch
        _ -> 1
      end

    until(n, x + add)
  end

  defp until(n) do
    until(n, 0)
  end

  defp some_other_fun do
    case Enum.random(1..2) do
      1 -> throw(:nope)
      2 -> 2
    end
  end
end

The try/catch around some_other_fun does not wrap the tail call, so TCO is still there right?

Thanks!

Showing Posts 1 to 4

noelHan

noelHan

defmodule T do
  def top do
    until(1_000_000_000)
  catch
    e -> {:got, e}
  end

  defp until(n, n) do
    IO.inspect(Process.info(self(), :current_stacktrace))
    throw(:hello)
  end

  defp until(n, x) do
    until(n, x + 1)
  end

  defp until(n) do
    until(n, 0)
  end
end

IO.inspect(T.top())

I add one line to your code and get a result below

{:current_stacktrace,
 [
   {Process, :info, 2, [file: 'lib/process.ex', line: 773]},
   {T, :until, 2, [file: 'iex', line: 12]},
   {T, :top, 0, [file: 'iex', line: 6]},
   {:elixir, :"-eval_external_handler/1-fun-2-", 4,
    [file: 'src/elixir.erl', line: 309]},
   {:erl_eval, :do_apply, 7, [file: 'erl_eval.erl', line: 748]},
   {:erl_eval, :expr_list, 7, [file: 'erl_eval.erl', line: 961]},
   {:erl_eval, :expr, 6, [file: 'erl_eval.erl', line: 454]},
   {:elixir, :eval_forms, 4, [file: 'src/elixir.erl', line: 294]}
 ]}
{:got, :hello}

It looks like TCO is take place. You can try this with your second one

lud

lud OP

Ah yes, indeed, why did I not think of it :smiley:

adamu

adamu

I’m curious what you’re doing that requires throw?

lud

lud OP

A parser and interpreter for user-defined scripts.

— All posts loaded —

Where Next? Top

Trending in Questions Top

stjefim
Hello! Suppose you are building workflow (order / task / payment) processing system with the following requirements: Each workflow con...
New
Blokh
Hey guys, I’ve got a huge CSV ( around 10 GB ) that needs to be processed hourly Do you guys have any suggestions what is the best prac...
New
kszambelanczyk
Hello! Could someone please give me a help/sample code, how to delete a file from s3 using waffle/waffle_ecto from Phoenix app. I creat...
New
Onor.io
I have what I’ve heard referred to as a “lookup table” in my database. This is a way of assigning codes to common values. One common lo...
New
jaybe78
Hello, I’m developing a online persistent chat system (what’s app) like using elixir/dynamodb/aws for a mobile app(flutter). The diffic...
New
Trolleger
What approach to take when sending live updates to “random” users Hi! I have a question, I have a little chat app, and when I create a DM...
New
widianto
I think I’ve found a small improvement I could contribute to <%= web_namespace %>.CoreComponents (installer/templates/phx_web/compo...
New

Other Trending Topics Top

garrison
Hobbes is a low-level distributed database for the Elixir programming language. Hobbes provides a simple, safe, and scalable storage lay...
New
mcass19
ExRatatui lets you cook up rich terminal UIs in Elixir, powered by Rust’s ratatui via Rustler NIFs. Build interactive terminal applicatio...
New
Damirados
Hello everyone. After busy few months I am happy to announce v0.1.0 of Emerge & Solve. They are GUI (Emerge) and State management (S...
New
netoum
Corex is an accessible, unstyled UI component library for Phoenix that integrates Zag.js state machines using Vanilla JavaScript and Live...
New
wintermeyer
There are three potential reasons for members of this forum to have a look at https://vutuv.de You are tired or annoyed of LinkedIn. Yo...
New
aseigo
ICal is a library for interacting with iCalendar data. It parses iCalendars into typed Elixir structs via ICal.from_ics, and can prepare ...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews