Блог

Я пытаюсь определить функцию, которую я хочу вести немного по-другому в зависимости от того, какой тип данных передается в качестве аргумента, строк и целых чисел. Как бы это сделать? Или есть какие-либо изменения, которые вы могли бы предложить, чтобы каким-то образом объединить эти две функции в одну функцию. Я читал, что попытка проверки типа данных не очень похожа на haskell, поэтому я подумал, что переопределение может быть способом сделать это, но компилятору не нравится дубликат:(

 jumpTo :: Int -> [String] -> [String]
jumpTo index t = do 
    let (x,y) = splitAt index t
    init x    [last x    "QQ"]    y

jumpTo :: String -> [String] -> [String]
jumpTo string t = do 
    pos <- [fromJust (findWord string t)]
    let (x,y) = splitAt pos a
    init x    [last x    "QQ"]    y
  

Проще говоря, мне нужна функция, jumpTo которой можно передать String или Int в качестве первого аргумента; если это строка, я нахожу ее в списке, а для целого числа я сразу выполняю операции с индексом. Просто кажется более элегантным иметь одну и ту же функцию, выполняющую это.

Именно в этом заключается идея классов типов: вы определяете свою функцию (или группу функций) не саму по себе, а как принадлежащую классу типов, который помечен переменной типа (или несколькими). Затем вы определяете один или несколько экземпляров класса type с различными типами, заменяющими эту переменную типа, и вы определяете отдельные тела для функции в каждом экземпляре. Конечным результатом является то, что функция имеет различное тело в зависимости от типов ее аргументов или результата.

В вашем примере:

 class JumpTo a where
    jumpTo :: a -> [String] -> [String]

instance JumpTo Int where
    jumpTo index t = do 
        let (x,y) = splitAt index t
        init x    [last x    "QQ"]    y

instance JumpTo String where
    jumpTo string t = do 
        pos <- [fromJust (findWord string t)]
        let (x,y) = splitAt pos a
        init x    [last x    "QQ"]    y