対象 「Scala モナド」などでググったけどHaskellでの説明が出てきて、Scalaっていうたやん！とキレたことのある人。 目標 Haskellで書かれた式が読める モナド則 return x >>= f == f x m >>= return == m (m >>= f) >>= g == m >>= (\x -> f x >>= g) ※注 僕はまだこれしか読んでません。 Haskellとは？ 強い静的型付け 関数型言語 遅延評価 ロゴがかっこいい 基本 > 1 + 2 3 > True && False False > 1 == 1 True > "Hello" /= "hello" False > 1 : 2 : 3 : [] [1,2,3]

{-# LANGUAGE OverloadedLists #-} {-# LANGUAGE OverloadedStrings #-} module Main where import Control.Lens ((^?)) import Control.Monad.IO.Class (liftIO) import Data.Aeson import Data.Aeson.Lens (key, _Array) import qualified Data.ByteString.Char8 as BS import Data.Foldable (for_) import System.Environment (lookupEnv) import Network.HTTP.Conduit import Web.Spock.Safe main :: IO () main = do -- 環境変数の

最近仕事でattoparsecを使ってパーサを書いたりしている。パーサを書く際はAlternativeクラスの(<|>)が便利だ。 (<|>) :: f a -> f a -> f a (a <|> b)とはざっくり言って、「aを実行して失敗したらbを実行する」ということ。Alternativeをアクションだととらえれば、これは「アクションaが例外を投げたらそれを全てキャッチして無視し、bを実行する」という(やや乱暴な)例外処理として考えることもできる。 さて、Alternativeのインスタンスであるモナドはいろいろある。例えばMaybeがそうである。また一方で、Alternativeのインスタンスを作るモナドトランスフォーマーもある。例えばExceptTである。 そこで先日ふと気になったのだが、例えばモナド(ExceptT e Maybe)は(<|>)についてどのような挙動を取るのだろ