Difference of Squares

Challenge Overview

Find the difference between the square of the sum and the sum of the squares of the first N natural numbers.

Visit the difference-of-squares exercise on Exercism to read the full instructions and download the exercise files.

Community Solutions

View Community Solutions

The following are the top 3 community solutions by stars:

Solution 1 by @keiraville (⭐ 0) — View on Exercism
Solution 2 by @jinwoo (⭐ 0) — View on Exercism
Solution 3 by @david82 (⭐ 0) — View on Exercism

Source: Exercism idris/difference-of-squares

💡 View Solution

module DifferenceOfSquares

export
squareOfSum : Integer -> Integer
squareOfSum number = square sum
  where sum = div (number * (number + 1)) 2
        square n = n * n

export
sumOfSquares : Integer -> Integer