Question

I´m a newbie in SML and I´d like to update my function so that it has two outputs: a list AND 1 or 0. The function was proposed here: SML: Remove the entry from the List. It returns an updated list without a row that contains ´elem´.

fun removeElem elem myList = filter (fn x => x <> elem) myList

The function should return a new list AND 1, if a raw has been deleted. Otherwise, it should return an old list AND 0.

Any hint or example is highly appreciated. Thanks.

Answer 1

Note that all SML functions take a single input and return a single output. Instead, think of returning a tuple containing the new list and a flag indicating whether any elements were removed. One possibility is to use a couple of functions from the standard basis to test whether elem is in myList and build up a tuple consisting of that and the results from the filter shown in the question. The test might look like:

Option.isSome (List.find (fn x => x = elem) myList)

There are more concise ways to write that, but it shows the idea. Note that it returns a bool instead of an int; this is more precise, so I won’t convert to the integers requested in the question.

A drawback of the above is that it requires traversing the list twice. To avoid that, consider the type that the function must return: a tuple of a list without elem and a flag showing whether any elems have been removed. We can then write a function that take a new value and a (valid) tuple, and returns a valid tuple. One possibility:

fun update(x, (acc, flag)) = if x = elem then (acc, true) else (x :: acc, flag)  

We can then apply update to each element of myList one-by-one. Since we want the order of the list to stay the same, apart from the removed elements, we should work through myList from right to left, accumulating the results into an initially empty list. The function foldr will do this directly:

foldr update ([], false) myList

However, there is a lot of logic hidden in the foldr higher-order function.

To use this as a learning exercise, I’d suggest using this problem to implement the function in a few ways:

• as a recursive function
• as a tail-recursive function
• using the higher order functions foldl and foldr

Understanding the differences between these versions will shed a lot of light on how SML works. For each version, let the types guide you.