In Andrew Koenig’s An anecdote about ML type inference, the author uses implementation of merge sort as a learning exercise for ML and is pleased to find an “incorrect” type inferenc
I\'m trying to compile the following function in Haskell to mimic differentiation of a polynomial whose constants are specified in a numerical list: