Изучать язык программирования, по традиции, начинают с программы 'Hello, World!', которая выводит этот текст на экран.
Hello, World!
Наберите в редакторе код из задания символ в символ и нажмите «Проверить».
module Solution where
main :: IO ()
main = putStrLn "Hello, World!"
Если вы зашли в тупик, то самое время задать вопрос в «Обсуждениях». Как правильно задать вопрос:
Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.
Это нормально 🙆, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи.
В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.
Создавать обучающие материалы, понятные для всех без исключения, довольно сложно. Мы очень стараемся, но всегда есть что улучшать. Если вы встретили материал, который вам непонятен, опишите проблему в «Обсуждениях». Идеально, если вы сформулируете непонятные моменты в виде вопросов. Обычно нам нужно несколько дней для внесения правок.
Кстати, вы тоже можете участвовать в улучшении курсов: внизу есть ссылка на исходный код уроков, который можно править прямо из браузера.
Ваше упражнение проверяется по этим тестам
1module Main where
2
3import Control.Exception (Exception(..))
4import GHC.IO
5import GHC.IO.Handle
6import System.IO
7
8import Test.Hspec
9
10import qualified Solution
11
12main :: IO ()
13main = hspec $ do
14 describe "Solution" $ do
15 it "prints a text" $ do
16 Solution.main `shouldPrint` ["Hello, World!"]
17
18shouldPrint :: IO () -> [String] -> Expectation
19shouldPrint action expectedLines = do
20 (mbError, output) <- withTempFile $ \handle ->
21 withCapturingTo handle $ catching action
22 putStrLn "--- OUTPUT ---"
23 putStr output
24 putStrLn "--------------"
25 case mbError of
26 Nothing -> lines output `shouldBe` expectedLines
27 Just err -> do
28 hPutStrLn stderr "=== ERROR ===="
29 hPutStrLn stderr err
30 hPutStrLn stderr "=============="
31 expectationFailure "There was an error"
32
33catching :: IO () -> IO (Maybe String)
34catching action =
35 (Nothing <$ action) `catchAny` (pure . Just . displayException)
36
37withCapturingTo :: Handle -> IO a -> IO a
38withCapturingTo handle =
39 bracket
40 (hDuplicate stdout <* hDuplicateTo handle stdout)
41 (\old -> hDuplicateTo old stdout)
42 . const
43
44withTempFile :: (Handle -> IO a) -> IO (a, String)
45withTempFile body = do
46 (path, handle) <- openTempFile "/tmp" "output.txt"
47 result <- body handle `finally` hClose handle
48 content <- readFile path
49 pure (result, content)
50
Решение учителя откроется через: