The SML/NJ code below results in a binding not exhaustive warning for "val Grove(whatTree) = glen". The F# equivalent code produces no warning. Why? Standard ML of New Jersey (32-bit) v110.9...

I am new to SML. I am trying to create a function that outputs a list of all prime numbers which are smaller than or equal to a given integer n > 2 using the Sieve of Eratosthenes. I am running int...

I am new to SML and was a bit confused. I am trying to write a function called makeList of type int -> int list that takes as input a positive integer n and returns the list [1, 2, ..., n] I want t...

I cannot quite understand the logic behind following function. This function is used to sum up the numbers in the list. But the tutor doesn't tell much about what :: does here. The original list in th...