5a.hs

{-# LANGUAGE OverloadedStrings #-}

import Prelude

magicRowPartitionLength = 7

type Row = Int

type Seat = Int

data Half = LeftH | RightH

type PartitionSteps = [Char]

type PartitionChars = (Char, Char)

type PartitionInts = (Int, Int)

main = do
  input <- getContents
  putStr $ show $ fn $ lines input

getNextHalf :: Half -> PartitionInts -> (Int, Int)
getNextHalf LeftH (left, right) = (left, right - (right - left + 1) `div` 2)
getNextHalf RightH (left, right) = (left + (right - left + 1) `div` 2, right)

walkPartition :: PartitionChars -> PartitionInts -> String -> Int
walkPartition pChars (left, right) [char] = if char == fst pChars then left else right
walkPartition pChars pInts (head : xs)
  | head == fst pChars = walkPartition pChars (getNextHalf LeftH pInts) xs
  | head == snd pChars = walkPartition pChars (getNextHalf RightH pInts) xs

genRow :: PartitionSteps -> Row
genRow = walkPartition ('F', 'B') (0, 127)

genSeat :: PartitionSteps -> Seat
genSeat = walkPartition ('L', 'R') (0, 7)

genPlaceId :: (String, String) -> Int
genPlaceId (row, seat) = (genRow row * 8) + genSeat seat

maxAcc :: Int -> Int -> Int
maxAcc acc x = if x > acc then x else acc

maxAccList :: [Int] -> Int
maxAccList = foldl maxAcc 0

fn :: [String] -> Int
fn xs = maxAccList $ map (genPlaceId . splitAt magicRowPartitionLength) xs