CommandoSev

CommandoSev

Recursive function to iterate over a list

How to write a recursive function, which iterates over a list and checks if an element is in that list in elixir?

Marked As Solved

andrewb

andrewb

You can use the Enum.any?. There is excellent documentation.

Or you can roll your own.

def do_something([], _item, data), do: data

def do_something([h | t], item, data) do
 data =  
    if h == item, do: [h | data], else: data
 do_something(t, item, data)
end

Essentially, you are doing your check and calling with the remainder of the list. I recommend looking at the Enum library it has everything you need.

Also Liked

Aetherus

Aetherus

The recursive thinking:

  1. If the list is empty, then the thing you want to find is definitely not in that list.
  2. If the first element is what you want to find, then you found it.
  3. If the first element is not what you want to find, then find that thing in the rest of the list (which is still a list, could be empty, though)

So the code is

def exist?([], _item), do: false

def exist?([item | _tail], item), do: true

def exist?([_something_else | tail], item), do: exist?(tail, item)
kip

kip

ex_cldr Core Team

If you are new to list recursion then you might find this a way to understand the concept. Given a arbitrary list [:a, :b, :elixir, :c, :d], recursing over the items in this list is conceptually like saying “process the first element of the list, then process the rest of the list”.

In Elixir that looks like:

def process_list([first | rest]) do
  [process_element(first) | process_list(rest)]
end

Here the recursion is a very obvious implementation of the description. Process the first element, then process the rest of the list. Its recursive because the function is calling itself.

Will this work? It will to an extent. But what happens if the list is empty? Then there is no first and the function will raise an exception. So we need to cater for the empty list. And in this implementation there will always be an empty list because eventually there is no rest when the function recurses to the end. Therefore:

def process_list([]) do
  []
end

def process_list([first | rest]) do
  [process_element(first) | process_list(rest)]
end

def process_element(:elixir), do: true
def process_element(_other), do: false

This is the simplest form of recursion (and I personally think its the most beautiful) but it won’t cater for all requirements. This form will always return a list the same length as the original list. In your case thats not what you want and therefore an accumulator may be required is order to build a new list. Which is what the great examples from @andrewb do.

andrewb

andrewb

@CommandoSev it is a list acting as an accumulator. Here are some examples:

  1. Find out if something exists in a list:
list =  [1,2,3,4]

Enum.any?(list, fn item -> item == 3 end)
true

  1. If you want to get the item if it exists:
list =  [1,2,3,4]

Enum.find(list, fn item -> item == 3 end)
3

  1. If you want to find all of the matches and have them returned in a list:
list = [1, 2, 3, 4, 3]

# The second arg is the accumulator which I have named acc in the anonymous function
Enum.reduce(list, [], fn item, acc -> 
  # If true add the item to the acc list, otherwise return the acc as is
  if item == 3, do: [item | acc], else: acc  
end)
[3,3]

You can replicate the Enum.reduce function by writing your own recursive function:

list = [1, 2, 3, 4, 3]

# match on the empty list and return the accumulator
def my_reduce([], acc, _item), do: acc

# match on the head and tail of the list and test if item exists
def my_reduce([h | t], acc, item) do
acc = 
  if h == item do
   [h | acc] # add the matching item to the accumulator 
  else
   acc # no match so return acc as is
  end
 my_reduce(t, acc, item) # recursivly call my_reduce with the tail of the list and the acc
end

# start the recursive function by calling it
my_reduce(list, [], 3)

Hope this helps. If you tell us exactly what you are trying to do I am sure we can help work it out.

Andrew

eksperimental

eksperimental

There is a special case when the list has only one element, where the rest of the list will be []. You don’t need to match against [head] since [head | rest] will work, but just to keep that in mind

iex(1)> [head | rest] = [1, 2]
[1, 2]
iex(2)> head
1
iex(3)> rest
[2]

iex(4)> [head | rest] = [1]   
[1]
iex(5)> head
1
iex(6)> rest
[]

iex(7)> [head] = [1]       
[1]

iex(8)> [head] = [1, 2]
** (MatchError) no match of right hand side value: [1, 2]

Once you learn how to iterate recursively over a list, study how Enum.reduce/3 and Enum.reduce_while/3 work because pretty much everything can be implemented with these two functions. For example, your initial question could be implemented with reduce_while.

Where Next?

Popular in Questions Top

joaquinalcerro
Hi there, I am working with Ecto-Postgresql and I need to call all of the records from a specific table but the table has 40,000 record...
New
sergio_101
I am VERY much an elixir newbie. I have taken one elixir course and one phoenix course on Udemy. During that course, I saw the instructor...
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
polypush135
As many of you may have realized by now (sorry for all the posts here) I’ve been working on a db problem where I’m trying to aggregate a ...
New
makeitrein
Hey all, just started picking up Elixir last week and am writing a scraper as a learning project. Baby step #1 is extracting the number ...
New
ovidiubadita
Hey all, I discovered Elixir and I love it. I always wanted to learn a functional programming and I intended to go for Haskell, but afte...
New
baxterw3b
Hi guys, i’m new in the Elixir world, and i have to say, that i love it! i’m having some problem to understand anonymous functions with ...
New
chewm
Hi guys, nice to meet you to the whole forum, I’m new here, I’m trying to configure visual studio code for elixir, right now the intellis...
New
Mooodi
Given a string, how can I get access to its character by index? Enum.at("my_string", 2) doesn't work. Or rather, not char, but a substr...
New
jay1
Why is it that the mnesia database isn’t the most preferred database for use in Elixir/Phoenix?
New

Other popular topics Top

Qqwy
Update: How to use the Blogs & Podcasts section You can post links to your blog posts or podcasts either in one of the Official Blog...
3268 119930 1237
New
JakeBecker
TL;DR: I’ve just released an implementation of Microsoft’s IDE-independent Language Server Protocol for Elixir. It adds language support ...
1140 51847 244
New
sorentwo
Hello! tl;dr Announcing Oban, an Ecto based job processing library with a focus on reliability and historical observability. After spen...
977 41022 311
New
JorisKok
I have a server on AWS, and was running a load test using artillery. When looking at the Phoenix dashboard I see the Ports going to 100% ...
New
_russellb
I want to try my hand at web scraping. What tools/libraries do I need to use. I’m hoping to turn this into something professional so don’...
New
ycv005
I have followed this StackOverflow post to install the specific version of Erlang. And When I am running mix ecto.setup then getting fol...
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
ovidiubadita
Hey all, I discovered Elixir and I love it. I always wanted to learn a functional programming and I intended to go for Haskell, but afte...
New
Qqwy
Original source of discussion: This topic on the Pragmatic Programmers' Functional Web Development with Elixir, OTP, and Phoenix forum. ...
New
lucidguppy
I have a super simple question about elixir - how would I take a file like this foo bar baz and output a new file that enumerates th...
New

We're in Beta

About us Mission Statement