drostron · August 29, 2015 14:01
diff --git a/list-value-homogeneity-ocaml.ml b/list-value-homogeneity-ocaml.ml
 let rec i j = match j with 
   | [] | [_] -> true 
   | a :: b :: c -> a = b && i(b::c);;
diff --git a/list-value-homogeneity-sml.ml b/list-value-homogeneity-sml.ml
 fun i [] = true 
  | i [_] = true 
  | i (a::b::c) = a = b andalso i(b::c);
diff --git a/list-value-homogeneity.hs b/list-value-homogeneity.hs
 let i :: (Eq j) => [j] -> Bool
    i [] = True
    i [_] = True
    i (a:b:c) = a == b && i(b:c)
diff --git a/list-value-homogeneity.idr b/list-value-homogeneity.idr
 total
 i : Eq a => List a -> Bool
 i [] = True
 i (_::[]) = True
 i (a::b::c) = a == b && i(b::c)
diff --git a/list-value-homogeneity.scala b/list-value-homogeneity.scala
 @tailrec
 def i[T](j: List[T]): Boolean = j match { 
  case Nil | _ :: Nil ⇒ true
  case a :: b :: c ⇒ a == b && i(b::c) 
 }
No results found