Новое в функциональном программировании

Я скопировал код из окна редактирования (что-то в парсере stackoverflow съедает часть кода) и попробовал его на ghci, который обнаружил несколько ошибок. Первая ошибка была:

foo.hs:34:71:
    Couldn't match expected type `[e]' against inferred type `(a, b)'
    In the second argument of `listArray', namely
        `(endIndex, endIndex)'
    In the expression:
        listArray (startIndex, startIndex) (endIndex, endIndex) values
    In the definition of `myArray':
        myArray startIndex endIndex values
                  = listArray (startIndex, startIndex) (endIndex, endIndex) values

Тип listArray:

listArray :: (Ix i) => (i, i) -> [e] -> Array i e
        -- Defined in GHC.Arr

Требуется кортеж с нижней и верхней границами и список. Итак, правильное выражение, вероятно, будет:

listArray (startIndex, endIndex) values

И тип myArray - это не Array a b, это Array Int Double.

Вторая ошибка была:

foo.hs:43:44:
    Couldn't match expected type `a -> b'
           against inferred type `[Char]'
    In the first argument of `($)', namely
        `maxC : (traceback string max end list1 list2 t1 t2)'
    In the second argument of `($)', namely
        `(maxC : (traceback string max end list1 list2 t1 t2))
       $ (dynamicProgram casino string list1 list2 t1 t2)'
    In the expression:
          reverse
        $ ((maxC : (traceback string max end list1 list2 t1 t2))
         $ (dynamicProgram casino string list1 list2 t1 t2))

$ является правоассоциативным, поэтому сначала рассматривается крайний правый $. Первым параметром для него должна быть функция, которую он будет вызывать с самым правым параметром в качестве аргумента. Но вот список.

Третья ошибка:

foo.hs:51:11:
    Couldn't match expected type `Array i e'
           against inferred type `Int -> Int -> [Double] -> Array a b'
    In the first argument of `(!)', namely `myArray'
    In the expression: myArray ! (i, j)
    In the definition of `@@': @@ i j = myArray ! (i, j)

myArray не является массивом; это функция, которая принимает три параметра и строит на их основе массив.

Здесь, вероятно, вас сбивает с толку то, что вы привыкли к более традиционным императивным языкам. В традиционном императивном языке было бы естественно иметь глобальную переменную myArray, к которой вы затем можете получить доступ из середины вашей программы. В Haskell, однако, отсутствуют более сложные уловки, которые вы не должны пробовать, пока вы новичок, «глобальная» переменная больше похожа на постоянное значение (которое лениво вычисляется при первом использовании, но которое, насколько вам интересно, могло быть вычислено компилятором при создании вашего исполняемого файла). Вы не можете инициализировать его из значений, которые считываете как входные.

Лучший способ обойти это - передать массив через программу, что, к сожалению, потребует нескольких изменений и сводит на нет полезность вашего оператора @@. Вы можете скрыть передачу массива несколькими более продвинутыми способами, но во время обучения лучше быть более явным.

Последняя ошибка была:

foo.hs:63:4:
    Couldn't match expected type `[a]' against inferred type `IO ()'
    In the first argument of `(++)', namely
        `putStrLn
           "I assume that the state 1 -> state 2 transmission probability is "'
    In the expression:
          (putStrLn
             "I assume that the state 1 -> state 2 transmission probability is ")
        ++
          (1 - trp1)
    In a 'do' expression:
          (putStrLn
             "I assume that the state 1 -> state 2 transmission probability is ")
        ++
          (1 - trp1)

Это имеет две ошибки: та, на которую пожаловался компилятор, является проблемой приоритета, как ясно показывают добавленные компилятором круглые скобки, и которую можно легко исправить путем правильного применения скобок или оператора $. Другая ошибка, которую вы обнаружите после исправления этой ошибки, заключается в том, что вы не можете объединить строку и число; вам нужно преобразовать число в строку.

И все это происходило без просмотра алгоритма или даже большей части кода, а просто с учетом ошибок компилятора. Например, если вам нужен двумерный массив, правильным выражением для первой ошибки будет:

listArray ((startIndex, startIndex), (endIndex, endIndex)) values

Теперь обе границы являются кортежами, а его тип - Array (Int, Int) Double.

Вы можете переписать транс-функцию так:

trans :: Int -> Int -> Double -> Double -> Double
trans 1 1 trans11 trans21 =   trans11
trans 1 2 trans11 trans21 = 1-trans11
trans 2 1 trans11 trans21 =   trans21
trans _ _ trans11 trans21 = 1-trans21