Książki
Haskell
Rozdział 9. Testowanie i debugowanie
Korzystanie z debugera

Haskell:
Korzystanie z debugera

Jak to zrobić:

Wybierzmy się na spacer z GHCi, interaktywnym środowiskiem Haskella, które może pełnić funkcję podstawowego debugera. Wystartuj go ze swoim kodem Haskell i zacznij eksplorować. Oto przykład:

main :: IO ()
main = do
    putStrLn "Hej, jak masz na imię?"
    name <- getLine
    putStrLn $ "Witaj, " ++ name ++ "! Zajmijmy się debugowaniem."
    let result = buggyFunction 5
    print result

buggyFunction :: Int -> Int
buggyFunction n = n * 2 -- Udaj, że tutaj jest błąd

Aby rozpocząć debugowanie z GHCi:

$ ghci YourHaskellFile.hs

Ustaw breakpoint na buggyFunction:

Prelude> :break buggyFunction

Uruchom swój program:

Prelude> :main
Hej, jak masz na imię?

Twój program zostaje wstrzymany na buggyFunction. Teraz możesz inspekcjonować zmienne, przeskakiwać przez kod i oceniać wyrażenia.

Pogłębiona analiza:

Historycznie, reputacja Haskella za czyste funkcje i silne typowanie prowadziła do przekonania, że narzędzia do debugowania były mniej krytyczne. Rzeczywistość jest inna—złożone programy zawsze korzystają z dobrych narzędzi do debugowania. GHCi dostarcza podstawowych poleceń debugowania. Jednakże, dla bardziej wizualnego doświadczenia lub aplikacji na większą skalę, można zbadać środowiska IDE z zintegrowanymi debuggerami, takie jak Visual Studio Code z rozszerzeniami Haskell lub wtyczka Haskell w IntelliJ.

Alternatywy dla debugera obejmują używanie instrukcji print, znanych jako “printf debugging”, lub wykorzystywanie silnego systemu typów Haskella, aby uczynić nieprawidłowe stany niewyrażalnymi. Jednak nic nie zastąpi czasem krokowego przeglądania kodu.

Jeśli chodzi o szczegóły implementacji, debugger Haskella współpracuje z systemem wykonawczym. Może obsługiwać punkty przerwania, wykonanie krokowe i umożliwiać inspekcję zmiennych. Jednak, ponieważ Haskell jest ewaluowany leniwie, rzeczy mogą stać się trochę nietypowe. Debugowanie programu w Haskellu często oznacza obserwowanie, kiedy i jak są wykonywane wyrażenia.

Zobacz również:

Korzystanie z interaktywnego shella (REPL)Pisanie testów