Commit 6c2df9da authored by Adithya C. Ganesh's avatar Adithya C. Ganesh 💬

Add solutions for assign2

parent e271a098
Pipeline #46459302 passed with stages
in 5 minutes and 34 seconds
title: Assignment 2
## Problems
1. Integers, like booleans, do not have a natural associative operation.
However, both addition and multiplication are associative operations on
integers. Write `Semigroup` instances for the `Sum` and `Product` types
wrapping `Int` in the starter code, mirroring the implementations of `Any`
and `All`.
See code below.
2. The default given above has $O(n)$ performance, which is less efficient than
the best general implementation. Using the associative property of `<>`,
provide a more efficient implementation, `stimes'`, with time
complexity $O(\log n)$.
stimes' :: (Semigroup a, Integral b) => b -> a -> a
stimes' n x
| n <= 0 = error "positive multiplier expected"
| n == 1 = x
| even n = stimes' m x <> stimes' m x
| otherwise = stimes' (m + 1) x <> stimes' m x
where m = n `div` 2
3. While $O(\log n)$ is the best possible performance in general, specific
instances can perform even better. Extend your instances for `Sum` and `Product`
with $O(1)$ implementations of `stimes`.
instance Semigroup Sum where
(Sum a) <> (Sum b) = Sum $ a + b
stimes n (Sum x)
| n <= 0 = error "positive multiplier expected"
| otherwise = Sum $ x * (fromIntegral n)
instance Semigroup Product where
(Product a) <> (Product b) = Product $ a * b
stimes n (Product x)
| n <= 0 = error "positive multiplier expected"
| otherwise = Product $ x ^ (fromIntegral n)
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment