Haskell: Привет, Мир!
Изучать язык программирования, по традиции, начинают с программы 'Hello, World!', которая выводит этот текст на экран.
Hello, World!Задание
Наберите в редакторе код из задания символ в символ и нажмите «Проверить».
module Solution where
main :: IO ()
main = putStrLn "Hello, World!"
Команда проекта находится в телеграм-сообществе. Там можно задать любой вопрос и повлиять на проект
Если вы зашли в тупик, то самое время поговорить с нашим асситентом Тота во вкладке "ИИ-помощник":
Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.
Это нормально 🙆, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи. В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.
Создавать обучающие материалы, понятные для всех без исключения, довольно сложно. Мы очень стараемся, но всегда есть что улучшать. Если вы встретили материал, который вам непонятен, опишите проблему в обратной связи нашего сообщества
Ваше упражнение проверяется по этим тестам
module Main where
import Control.Exception (Exception(..))
import GHC.IO
import GHC.IO.Handle
import System.IO
import Test.Hspec
import qualified Solution
main :: IO ()
main = hspec $ do
describe "Solution" $ do
it "prints a text" $ do
Solution.main `shouldPrint` ["Hello, World!"]
shouldPrint :: IO () -> [String] -> Expectation
shouldPrint action expectedLines = do
(mbError, output) <- withTempFile $ \handle ->
withCapturingTo handle $ catching action
putStrLn "--- OUTPUT ---"
putStr output
putStrLn "--------------"
case mbError of
Nothing -> lines output `shouldBe` expectedLines
Just err -> do
hPutStrLn stderr "=== ERROR ===="
hPutStrLn stderr err
hPutStrLn stderr "=============="
expectationFailure "There was an error"
catching :: IO () -> IO (Maybe String)
catching action =
(Nothing <$ action) `catchAny` (pure . Just . displayException)
withCapturingTo :: Handle -> IO a -> IO a
withCapturingTo handle =
bracket
(hDuplicate stdout <* hDuplicateTo handle stdout)
(\old -> hDuplicateTo old stdout)
. const
withTempFile :: (Handle -> IO a) -> IO (a, String)
withTempFile body = do
(path, handle) <- openTempFile "/tmp" "output.txt"
result <- body handle `finally` hClose handle
content <- readFile path
pure (result, content)
Решение учителя откроется через:
20:00
