Home » Refactor code to be more succinct but yet preserve the distinction of the `if` [closed]

Refactor code to be more succinct but yet preserve the distinction of the `if` [closed]

Solutons:


Without changing the code too drastically I see two immediate improvements, for one you can pull out the Leftconstructor in front of the call to fail, thus keeping Right and Left on the same level and making the distinction clearer:

if areSimilarVectors sa sb
then Right $ dot' a b
else Left $ failed sa sb

Secondly because the code handles failure cases I’d suggest you reverse the predicates for the ifs to reduce the distance between Reason <-> Error

if not $ isVector sa sb then
  VectorsExpected
else
  if not $ isSameSize sa sb then
    InvalidVectorSize ay by
  else
    UnexpectedError

Other things you might want to consider is the naming of isVector and the amount of shadowing of sa and sb. Why are you using a where clause and then still pass the arguments around explicitly? Maybe it would be even better if you matched the Tuples in the toplevel pattern match and stopped using fst and snd alltogether? Applying that we get to:

dot :: Matrix -> Matrix -> Either MatrixError Number
dot (Matrix a (Tuple ax ay)) (Matrix b (Tuple bx by)) =
    if areSimilarVectors then Right $ dot' a b else Left failed
    where
        dot' a b = _dot (join a) (join b)
        areSimilarVectors = areVectors && areSameSize
        areVectors = ax == 1 && bx == 1
        areSameSize = ay == by
        failed =
          if not areVectors then
            VectorsExpected
          else
            if not areSameSize then
              InvalidVectorSize ay by
            else
              UnexpectedError

I would also look at using guards:

dotProduct :: Num a => [a] -> [a] -> Either String a
dotProduct as bs
  | notSimilar = Left "bad operands"
  | otherwise  = Right $ sum $ zipWith (*) as bs
  where notSimilar = length as /= length bs

Another option is to use throwError:

import Control.Monad
import Control.Monad.Except

dotProduct'' :: Num a => [a] -> [a] -> Either String a
dotProduct'' as bs = do
  when (length as /= length bs) $ throwError "bad operands"
  return $ sum $ zipWith (*) as bs

You’re forcing the reader to read the code linearly, but it also removes a level of indentation.

The Either monad allows you to use do notation here:

dot :: Matrix -> Matrix -> Either MatrixError Number
dot (Matrix a (Tuple ax ay)) (Matrix b (Tuple bx by)) = do
  unless (ax == 1 && bx == 1) $ Left VectorsExpected
  unless (ay == by) $ Left $ InvalidVectorSize ay by
  Right $ _dot (join a) (join b)

Related Solutions

Calculate the sum with minimum usage of numbers

Here's a hint: 23 : 11 + 11+ 1 ( 3 magic numbers) 120: 110+ 10 (2 magic numbers) The highest digit in the target number is the answer, since you need exactly k magic numbers (all having 1 in the relevant position) in order for the sum to contain the digit k. So...

Why not drop the “auto” keyword? [duplicate]

Your proposal would be rejected on the basis of backward compatibility alone. But let's say for the sake of argument that the standards committee like your idea. You don't take into account the numerous ways you can initialize a variable widget w; // (a) widget...

Recursive to iterative using a systematic method [closed]

So, to restate the question. We have a function f, in our case fac. def fac(n): if n==0: return 1 else: return n*fac(n-1) It is implemented recursively. We want to implement a function facOpt that does the same thing but iteratively. fac is written almost in...

How can I match values in one file to ranges from another?

if the data file sizes are not huge, there is a simpler way $ join input1 input2 | awk '$5<$4 && $3<$5 {print $2, $5-$3+1}' B100002 32 B100043 15 B123465 3 This Perl code seems to solve your problem It is a common idiom: to load the entire...

Javascript difference between “=” and “===” [duplicate]

You need to use == or === for equality checking. = is the assignment operator. You can read about assignment operators here on MDN. As a quick reference as you are learning JS: = assignment operator == equal to === equal value and equal type != not equal !==...

Compiler complains about misplaced else [closed]

Your compiler complains about an misplaced else because, well, there is an else without a preceding if: // ... for (j=1; j<n-i; j++) { if(a[j]<=a[j+1]) { // ... } // END OF IF } // END OF FOR else { continue; } // ... The else in your code does not follow...

Bootstrap – custom alerts with progress bar

/* !important are just used to overide the bootstrap css in the snippet */ .alertContainer { border-radius: 0 !important; border-width: 0 !important; padding: 0 !important; height: auto !important; position: absolute !important; bottom: 15px !important; left:...

How to Garbage Collect an external Javascript load?

Yes, s.onload = null is useful and will garbage collect! As of 2019, it is not possible to explicitly or programmatically trigger garbage collection in JavaScript. That means it collects when it wants. Although there is cases where setting to null may do a GC...

Math programming with python

At first, what you are looking for is the modulo operator and the function math.floor() Modulo from wikipedia: In computing, the modulo operation finds the remainder after division of one number by another (sometimes called modulus). for example: 12%12=0...

Android slide over letters to create a word [closed]

Here some advice you can use: First for each cell you can create an object that represents the state of that cell: class Cell { char mChar; int row,column; boolean isSelected; } then you can create a 2D array of your cells Cell[][] mTable = ... For views you...

Sum two integers in Java

You reused the x and y variable names (hence the variable x is already defined in method main error), and forgot to assign the ints read from the Scanner to the x and y variables. Besides, there's no need to create two Scanner objects. public static void...

Extend three classes that implements an interface in Java

Using this simplified implementation of the library, using method() instead of M(): interface IFC { void method(); } class A implements IFC { public void method() { System.out.println("method in A"); }; } As akuzminykh mentions in their comment You'd write a...

How to set the stream content in PHPExcel? [closed]

Okey, First thing first PHPExcel_Worksheet_MemoryDrawing() can't solve your problem if you insist to use stream content and pass that to your worksheet your PDF will not render your image. But you can use `PHPExcel_Worksheet_Drawing()' if you want to render...

How to remove all files from a directory?

Linux does not use extensions. It is up to the creator of the file to decide whether the name should have an extension. Linux looks at the first few bytes to figure out what kind of file it is dealing with. To remove all non-hidden files* in a directory use: rm...