-// Various versions of the identity function
+//// Various versions of the identity function//
// Identity for integers
// The type signature forces the function to have a more concrete type than it could have.
id_int(x) :: Int -> Int
{
return x;
-}
-
+}//
+////
// Polymorphic identity with type signature
id_poly_with(x) :: a -> a
{
return x;
-}
+}//////
// Polymorphic identity without type signature
id_poly_without(x)
{
return x;
-}
+}//
// Clumsy polymorphic identity
var b = a;
var c = b;
return c;
-}
+}//
// Clumsy identity for integers
var c = b;
return c;
}
+
+main() {return;}
\ No newline at end of file