Lab1 Rudnevskiy #6
Conversation
|
Сделайте свой репозиторий приватным, пожалуйста. |
| median3 x y z | (min x z <= y) && (y <= max x z) = y --sum | ||
| | (min y z <= x) && (x <= max y z) = x | ||
| | (min x y <= z) && (z <= max x y) = z | ||
| | otherwise = error "the median has not been calculated" |
There was a problem hiding this comment.
По идее, первые три условия покрывают все возможные случаи. Последний был приведен по большей части для сохранения стиля написания охранных условий (насколько я понял, otherwise прописывается в большинстве случаев).
There was a problem hiding this comment.
Да, но поэтому можно уже третий случай сделать otherwise.
| @@ -47,7 +59,9 @@ rbgToCmyk color = error "todo" | |||
| -- используйте рекурсию | |||
| -- не забудьте случаи n < 0 и n == 0. | |||
| geomProgression :: Double -> Double -> Integer -> Double | |||
| geomProgression b q n = error "todo" | |||
| geomProgression b q n | (n == 0) = b | |||
| | n < 0 = error "n must be a natural number: n >= 2" | |||
There was a problem hiding this comment.
Лишнее условие. Я хотел поставить условие неотрицательности, но здесь достаточно n > 0
| euclidAlgorithm x 0 = x | ||
| euclidAlgorithm x y = euclidAlgorithm y (mod x y) | ||
| in | ||
| if ((a * b) == 0) then error "ZeroException" else if euclidAlgorithm a b == 1 then True else False |
There was a problem hiding this comment.
Взаимно простые, но функция выдает ошибку. Связано это, предположительно, с особенностями обработки отрицательных чисел функцией mod. Возможное решение - брать от чисел их модули (что-то вроде функции abc в стандартных математических пакетах).
| distance, abnormDistance :: Point -> Point -> Double | ||
|
|
||
| abnormDistance p1 p2 | ||
| | not (length (coords p1) == length (coords p2)) = error "DifferentDimensionError" |
There was a problem hiding this comment.
Такая проверка будет медленной и делаться у вас на каждом шаге рекурсии. Видно ли, как её можно избежать?
И во вторую очередь, как можно поменять тип abnormDistance, чтобы упростить код?
There was a problem hiding this comment.
Проверку можно сделать отдельно, через сопоставление с образцом (?)
There was a problem hiding this comment.
Идея в том, что если длины не равны, то вы можете всё равно начинать рекурсию. Просто тогда на каком-то будущем шаге окажется, что одна сторона пустая, а другая нет. И выкидывать это ошибку лучше именно на том шаге.
| find f [] = Nothing | ||
| find f xs | ||
| | (f (head xs)) = Just (head xs) | ||
| | not (f (head xs)) && (not (null (tail xs))) = find f (tail xs) |
There was a problem hiding this comment.
not (f (head xs)) здесь лишнее; если бы оно не выполнялось, мы попали бы в первую ветвь. Соответственно, null (tail xs) в третьей ветви тоже.
There was a problem hiding this comment.
Можно записать через if: if (f (head xs)) then Just (head xs) else find f (tail xs)
| | not (f (head xs)) && (not (null (tail xs))) = find f (tail xs) | ||
| | null (tail xs) = Nothing | ||
|
|
||
| findLast f x | (length (filter f x)) > 0 = Just $ last (filter f x) |
There was a problem hiding this comment.
Тут формально получается, что filter f x вычисляется 2 раза, хотя возможно, компилятор это оптимизирует. Как можно избежать этой проблемы?
There was a problem hiding this comment.
Можно создать список элементов x, таких, что: filter f x > 0 , затем извлечь из него последний элемент
There was a problem hiding this comment.
Я имел в виду просто вынести filter f x в локальную переменную.
| | any (False ==) (mapFuncs preds x) = False | ||
| | otherwise = False |
There was a problem hiding this comment.
написать что-то в духе if (all (True ==) (mapFuncs preds x)) else False
There was a problem hiding this comment.
Тут имелось в виду, что если два условия с одинаковым результатом, и последнее otherwise, то можно их объединить в одно otherwise.
|
Вдобавок ко всем замечаниям, нашёл, что у вас приличная часть скопирована из старой работы 21 года (из тех, что у меня сохранились). Ставлю 10, если это повторится, будет ниже. Повысить оценку исправлениями можно до 15. |
|
Повысил до 13. |
No description provided.