Skip to content

Instantly share code, notes, and snippets.

@tokiwoousaka
Created May 31, 2016 12:37
Show Gist options
  • Save tokiwoousaka/015f0800b3bfe5c4049b6a7afdc3e5ff to your computer and use it in GitHub Desktop.
Save tokiwoousaka/015f0800b3bfe5c4049b6a7afdc3e5ff to your computer and use it in GitHub Desktop.
module Main where
import Control.Monad
data Sex = Man | Woman deriving (Show, Eq)
data Student = Student
{ getName :: String
, getSex :: Sex
} deriving (Show, Eq)
list :: [Student]
list =
[ Student "あきら" Man
, Student "かける" Man
, Student "つばさ" Man
, Student "じゅん" Man
, Student "あみ" Woman
, Student "さら" Woman
, Student "なな" Woman
, Student "えり" Woman
, Student "りさ" Woman
]
-- リストモナドの例、フラットな手続きで組み合わせの計算を書ける
cp :: Sex -> [(String, String)]
cp sex = do
x <- list
y <- list
-- 同じ人同士はカップリング出来ない
guard $ x /= y
-- 同じ性別同士をカップリングしたい
guard $ getSex x == getSex y
-- 引数の性別で絞り込む
guard $ getSex x == sex
-- 残ったCPを返却
return (getName x, getName y)
--------
printCp :: [(String, String)] -> IO ()
printCp cpList = do
forM_ cpList $ \(x, y) -> do
putStrLn $ x ++ " ✕ " ++ y
main :: IO ()
main = do
putStrLn "……ほもぉ……"
printCp $ cp Man
putStrLn ""
putStrLn "……ゆりぃ……"
printCp $ cp Woman
{-
実行結果:
……ほもぉ……
あきら ✕ かける
あきら ✕ つばさ
あきら ✕ じゅん
かける ✕ あきら
かける ✕ つばさ
かける ✕ じゅん
つばさ ✕ あきら
つばさ ✕ かける
つばさ ✕ じゅん
じゅん ✕ あきら
じゅん ✕ かける
じゅん ✕ つばさ
……ゆりぃ……
あみ ✕ さら
あみ ✕ なな
あみ ✕ えり
あみ ✕ りさ
さら ✕ あみ
さら ✕ なな
さら ✕ えり
さら ✕ りさ
なな ✕ あみ
なな ✕ さら
なな ✕ えり
なな ✕ りさ
えり ✕ あみ
えり ✕ さら
えり ✕ なな
えり ✕ りさ
りさ ✕ あみ
りさ ✕ さら
りさ ✕ なな
りさ ✕ えり
-}
@callmekohei
Copy link

FSharpで僕のできる範囲で書いてみました〜 (^_^)/

module Test_FSharp =

    let mlst = ["あきら";"かける";"つばさ";"じゅん"]
    let wlst = ["あみ"  ;"さら"  ;"なな"  ;"えり"  ;"りさ"]

    type ListBuilder () =
        member x.Bind (l, f) = l |> List.collect f
        member x.Return l    = [l]
        member x.Zero ()     = []

    let lb = new ListBuilder()

    let listAll lst  =
        lb { let! x = lst
             let! y = lst
             if x <> y then return (x, y)
        }

    listAll mlst |> List.iter ( printfn "%A" )
    listAll wlst |> List.iter ( printfn "%A" )

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment