Project Euler 18

http://projecteuler.net/index.php?section=problems&id=18

経路を辿るときに座標と経路番号の3要素のタプルで状態を持ってunfoldしています。
2要素のタプルは簡単にアクセスできますが、

let t = (1, 2)
printfn "%d" (snd t)    // 2

3つ以上の要素のタプルは簡単にはアクセスできないようです。2つ目の要素にアクセスするには、

let (_, y, _) = s

などとします。

let a = [
   "75";
   "95 64";
   "17 47 82";
   "18 35 87 10";
   "20 04 82 47 65";
   "19 01 23 75 03 34";
   "88 02 77 73 07 63 67";
   "99 65 04 28 06 16 70 92";
   "41 41 26 56 83 40 80 70 33";
   "41 48 72 33 47 32 37 16 94 29";
   "53 71 44 65 25 43 91 52 97 51 14";
   "70 11 33 28 77 73 17 78 39 68 17 57";
   "91 71 52 38 17 14 91 43 58 50 27 29 48";
   "63 66 04 68 89 53 67 30 73 16 69 87 40 31";
   "04 62 98 27 23 09 70 98 73 93 38 53 60 04 23"
]

let split s = [ for i in 0..(String.length s)/3
                                 -> int s.[i*3..i*3+1] ]
let b = [ for s in a -> split s ]

let next s =
   let x, y, n = s
   if n &&& 1 = 0 then
      Some(b.[y].[x], (x, y + 1, n >>> 1))
   else
      Some(b.[y].[x], (x + 1, y + 1, n >>> 1))

let sum_path b n =
   let is_end s =
      let (_, y, _) = s
      y = List.length b
   
   Seq.sum (Seq.unfold
      (fun (s : int * int * int) -> if is_end s then None else next s)
      (0, 0, n))

printfn "%d" (List.max [ for i in 0..(1 <<< (b.Length - 1))
                                          -> sum_path b i ])