Опишите тип данных Vector a, определяющий трехмерные вектора, элементами которых являются значения типа a. - Haskell - Ответ 13041265

@Artem7693 · Регистрация: 29.11.2017

Author24 — интернет-сервис помощи студентам

Опишите тип данных Vector a, определяющий трехмерные вектора, элементами которых являются значения
типа a. Конструктор Vec3 должен принимать тройку элементов типа (a, a, a).
Необходимо реализовать селекторы (геттеры) xCoor, yCoor и zCoor — функции типа
Vector a -> a, извлекающие из вектора значение его первой, второй и третьей координаты, соответственно.
Объявите тип Vector a экземпляром класса Show (при условии, что тип a относится к классам Show), определив
функцию show, превращающую вектор в строку.
Объявите тип Vector a экземпляром класса Eq (при условии, что тип a относится к классу Eq), определив
функцию (==). Считаем два вектора равными, когда их соответствующие координаты равны между собой.
Объявите тип Vector a экземпляром класса Num (при условии, что тип a относится к классам Num и
Floating), определив функции (+), (*), negate, abs, signum, fromInteger, используя следующие соотношения:

Код

(x1, y1, z1) + (x2, y2, z2) = (x1 + x2, y1 + y2, z1 + z2)
(x1, y1, z1) · (x2, y2, z2) = (y1z2 − y2z1, z1x2 − z2x1, x1y2 − x2y1)
−(x, y, z) = (−x, −y, −z)
|(x, y, z)| = (sqrt(x^2 + y^2 + z^2), 0, 0)
signum(x, y, z) = (x / |(x, y, z)|, y / |(x, y, z)|, z / |(x, y, z)|)
n = (n, 0, 0)

При определении всех функций (за исключением геттеров) для извлечении координат вектора следует пользоваться
только функциями xCoor, yCoor и zCoor.

Моя задача:

Haskell

-- Тип данных "вектор" 
data Vector a = Vec3 (a, a, a)
-- Cелекторы (геттеры) для координаты x y z
xCoor i = x
      where (x, _, _) = i
yCoor i = y
      where (_, y, _) = i
zCoor i = z
      where (_, _, z) = i
 
-- Назначение типа данных Vector экземпляром класса Eq
instance (Eq a) => Eq (Vector a) where
    (==) i1 i2 = (xCoor i1 == xCoor i2) && (yCoor i1 == yCoor i2)
                                           (zCoor i1 == zCoor i2)
 
-- Назначение типа данных Vector экземпляром класса Show
instance (Show a) => Show (Vector a) where
    show i = "(" ++ show (xCoor i) ++ ", " ++ show (yCoor i)
                                           ++ ", " ++ show (zCoor i) ++ ")"
 
-- Назначение типа данных Interval экземпляром класса Num
instance (Num a, Floating a) => Num (Vector a) where
    (+) i1 i2 = ((xCoor i1 + xCoor i2) , (yCoor i1 + yCoor i2) , (zCoor i1 + zCoor i2))
    (*) i1 i2 = (a, b, c)
          where a = yCoor i1 * zCoor i2 - yCoor i2 * zCoor i1
                b = zCoor i1 * xCoor i2 - zCoor i2 * xCoor i1
                c = xCoor i1 * yCoor i2 - xCoor i2 * yCoor i1
    negate i = iMap negate i
    abs i = (a, 0, 0)
          where a = sqrt (xCoor i * xCoor i + yCoor i * yCoor i + zCoor i * zCoor i)
    fromInteger x = (x, 0, 0)

Получаю ошибки и не могу понять в чём причина
Помогите,пожалуйста

Вернуться к обсуждению:
Опишите тип данных Vector a, определяющий трехмерные вектора, элементами которых являются значения типа a. Haskell

Следующий ответ

Другие темы раздела
Haskell Получить тип Integer https://www.cyberforum.ru/ haskell/ thread2347567.html Есть список из шестнадцати элементов(чисел). Как получить из этого списка одно большое число типа Integer?	Haskell Функция Unit Как описать функцию ifAUnit e1 e2 e3 , являющуюся условной конструкцией языка MUPL, выдающую значение e2 , если значение e1 — Unit , и e3 — в противном случае? При решении нельзя использовать функции evalExp , evalUnderEnv и конструктор Closure.
Haskell Функция convertListToMUPL Как описать функцию convertListToMUPL l , где l — Haskell-овский список MUPL-выражений? Функция должна формировать MUPL-овский список этих же выражений. https://www.cyberforum.ru/ haskell/ thread2344514.html	Haskell Палиндромы и монады Добрый вечер, уважаемые пользователи. У меня такая задача: "Ввести строку символов. Вывести в файл все палиндромы строки (использовать монаду IO для работы с файловой системой и ввода вывода, использовать монаду список для работы со строками)" Есть код самого палиндрома palindrome :: Int -> palindrome n \| n < 0 = \| even n = map (\front -> front ++ reverse front) fronts \|... https://www.cyberforum.ru/ haskell/ thread2343152.html
Селектор closureFun Haskell Селектор closureFun e должен выдавать функцию замыкания, если его аргумент — замыкание. В противном случае должно выдаваться сообщение об ошибке: "The expression e is not a closure". НЕЛЬЗЯ описывать какие-либо ВСПОМОГАТЕЛЬНЫЕ ФУНКЦИИ, за исключением тех, о которых явно говорится в задании. Входные данные: closure (Closure (Fun a b c)) = (Fun a b c) closureFun e = error $ "The expression"...	Haskell Пользовательские типы данных https://www.cyberforum.ru/ haskell/ thread2342209.html Схожая задача... Нужно ввесть Тип Товара, название, цену, количество. Затем получить общий чек с налогом. Помогите понять где я лажаю. data ProdType = Grocery \| Fruits \| Medicine {name :: String, price :: Double, quantity :: Int } deriving (eq, Show) total :: -> Double let total = foldl foldinFunction 0
Haskell Селектор pairHead https://www.cyberforum.ru/ haskell/ thread2341757.html Селектор pairHead e должен выдавать первый элемент пары, если его аргумент — конструктор пары. В противном случае должно выдаваться сообщение об ошибке: "The expression e is not a pair". НЕЛЬЗЯ описывать какие-либо ВСПОМОГАТЕЛЬНЫЕ ФУНКЦИИ, за исключением тех, о которых явно говорится в задании. Входные данные: pairHead (Pair (Var e) _) = Head (Var e) pairHead e = error $ "The expression" ++...	Haskell Реализация алгоритма Шора на языке Haskell. Синтаксические ошибки Всем доброго времени суток. На днях я начал изучать язык Haskell и мне попался алгоритм факторизации, который захотел попробовать реализовать и испытать его в действии. Источник данного кода взял вот тут: https://eax.me/shors-algorithm/ Вот код, который описан там: numberToFactor :: Int -- число, которое факторизуем numberToFactor = 21 simpleNumber :: Int -- взаимно простое число...
Haskell Селектор funBody Селектор funBody e должен выдавать выражение — тело функции, если его аргумент — определение функции. В противном случае должно выдаваться сообщение об ошибке: "The expression e is not a function". НЕЛЬЗЯ описывать какие-либо ВСПОМОГАТЕЛЬНЫЕ ФУНКЦИИ, за исключением тех, о которых явно говорится в задании. Входные данные: funBody (Fun body _ unit) = unit funBody e = error "The expression"... https://www.cyberforum.ru/ haskell/ thread2341550.html	Haskell Функция woSameDigitSum Опишите функцию woSameDigitSum :: Integral a => a -> , возрастающую последовательность целых чисел, начинающуюся с заданного целого числа, где каждый очередной элемент — минимально возможное значение, сумма цифр которого не равна сумме цифр никакого предыдущего элемента. Должна быть описана вспомогательная функция от двух числовых аргументов, определяющая, равна ли их сумма цифр. После этого... https://www.cyberforum.ru/ haskell/ thread2340892.html
Haskell Селектор funName Селектор funName e должен выдавать имя функции, если его аргумент — определение функции. В противном случае должно выдаваться сообщение об ошибке: "The expression e is not a function". НЕЛЬЗЯ описывать какие-либо ВСПОМОГАТЕЛЬНЫЕ ФУНКЦИИ, за исключением тех, о которых явно говорится в задании. Входные данные: data Expr = Var String \| IntNum Integer \| Add Expr Expr ...	Haskell Тип данных Vector a Опишите тип данных Vector a, определяющий трехмерные вектора, элементами которых являются значения типа a. Конструктор Vec3 должен принимать тройку элементов типа (a, a, a). Необходимо реализовать селекторы (геттеры) xCoor, yCoor и zCoor — функции типа Vector a -> a, извлекающие из вектора значение его первой, второй и третьей координаты, соответственно. Объявите тип Vector a экземпляром... https://www.cyberforum.ru/ haskell/ thread2340228.html

	08.11.2018, 15:08