۲۵ - ۱۴تمرین‌های فصل

تعمیرکاری کُد

این کُد همینطوری تایپچک نمیشه؛ درست‌ش کنین تا بشه. اگه فکر کردین لازمه، import هم اضافه کنین. از توابعی که تا حالا توضیح ندادیم هم استفاده کردیم. نباید تایپ‌ها رو تغییر بدین. ممکنه بیشتر از یک جا تعمیرکاری لازم باشه.

import Control.Monad.Trans.Maybe
import Control.Monad

isValid :: String -> Bool
isValid v = '!' `elem` v

maybeExcite :: MaybeT IO String
maybeExcite = do
    v <- getLine
    guard $ isValid v
    return v

doExcite :: IO ()
doExcite = do
  putStrLn "say something excite!"
  excite <- maybeExcite
  case excite of
    Nothing -> putStrLn "MOAR EXCITE"
    Just e ->
      putStrLn ("Good, was very excite: " ++ e)

بازدید شمار

اینجا کلیات یه برنامه‌ی ‏‎scotty‎‏ که تعداد بازدیدها به URIهای بخصوصی رو می‌شماره بهتون میدیم. این برنامه آرگومان‌های command line در اولین اجراش رو به عنوانِ پیشوند ِ کلیدها میذاره.

{-# LANGUAGE OverloadedStrings #-}

module Main where

import Control.Monad.Trans.Class
import Control.Monad.Trans.Reader
import Data.IORef 
import qualified Data.Map as M
import Data.Maybe (fromMaybe)
import Data.Text.Lazy (Text)
import qualified Data.Text.Lazy as TL
import System.Environment (getArgs)
import Web.Scotty.Trans

data Config =
  Config {
    --‎‏ یک کلیک و یک!‏‎
    -- ‎‏دو کلیک و دو!‏‎
    -- ‎‏سه و سه و سه،‏‎
    -- ‎‏تا سه نشه، بازی نشه!‏‎
    counts :: IORef (M.Map Text Integer)
  , prefix :: Text
  }

به غیر از چیزهایی که از طریقِ ‏‎IO‎‏ دَر میرن، همه‌ی چیزهایی که توی ‏‎ScottyT‎‏ هستن، فقط خوندنی اند، پس نمیشه از ‏‎StateT‎‏ استفاده کنیم.

type Scotty =
  ScottyT Text (ReaderT Config IO)
type Handler =
  ActionT Text (ReaderT Config IO)

bumpBoomp :: Text
          -> M.Map Text Integer
          -> (M.Map Text Integer, Integer)
bumpBoomp k m = undefined

app :: Scotty ()
app =
  get "/:key" $ do
    unprefixed <- param "key"
    let key' = mappend undefined unprefixed
    newInteger <- undefined
    html $
      mconcat [ "<h1>Success! Count was: "
              , TL.pack $ show newInteger
              , "</h1>"
              ]

main :: IO ()
main = do
  [prefixArg] <- getArgs
  counter <- newIORef M.empty
  let config = undefined
      runR = undefined
  scottyT 3000 runR app

کُد خرابه و کمبودهایی داره. تو این تمرین باید درست‌ش کنین، با هر چیزی که لازمه.

نهایتاً باید بتونین سروِر رو از داخلِ GHCi اجرا کنین و اینطوری بهش آرگومان بدین:

Prelude> :main lol
Setting phasers to stun...
  (port 3000) (ctrl-c to quit)

اگر هم بخواین می‌تونین یه باینری ِ قابل اجرا بسازین و آرگومان‌ها رو از شِل (م. داخل خودِ ترمینال، خارج از GHCi) بهش بدین، هرطور راحتین. اجرا که شد، باید اینطوری بشه شمارشِ‌ش رو زیاد کرد:

$ curl localhost:3000/woot
< h1>Success! Count was: 1</h1>
$ curl localhost:3000/woot
< h1>Success! Count was: 2</h1>
$ curl localhost:3000/blah
< h1>Success! Count was: 1</h1>

دقت کنین که کلید ِ پشت‌پرده که وقتی ‏‎/woot‎‏ رو ‏‎GET‎‏ می‌کنین در شمارنده استفاده میشه، در واقع ‏‎"lolwoot"‎‏ ِه، چون به ‏‎main‎‏ آرگومانِ ‏‎“lol”‎‏ دادیم. URI ِ یکی از کلیدها رو توی مرورگر‌ِتون هم امتحان کنین و چندبار refresh کنین.

اگه گیر کردین، چندتا مثال، مثل فایلِ ‏‎reader.hs‎‏ در پوشه‌ی مثال‌های ‏‎scotty‎‏ از مخزن ِ git ِش رو نگاه کنین.

مورا