Differences between version 9 and previous revision of PolymorphicTypes.
Other diffs: Previous Major Revision, Previous Author, or view the Annotated Edit History
| Newer page: | version 9 | Last edited on Saturday, October 29, 2005 7:52:38 am | by TimCareySmith | Revert |
| Older page: | version 8 | Last edited on Monday, June 6, 2005 1:28:50 am | by DavidHallett | Revert |
@@ -1,11 +1,11 @@
[ProgrammingLanguage]s with PolymorphicTypes allow you to write great range of generic functions, yet preserve StrongTypeChecking. With polymorphic typing you don't have to specify the exact type of everything in your program, you may use blank ''type variables''.
-This function type in [OCaml] is not polymorhic
:
+This function type in [OCaml] is not polymorphic
:
__val__ zip_ints : int list -> int list -> (int * int) list
-That says __zip_ints__ will take two lists of integers and return a list of pairs of integers. It's useful, but only for one thing. This function in Ocaml
is polymorhic
:
+That says __zip_ints__ will take two lists of integers and return a list of pairs of integers. It's useful, but only for one thing. This function in OCaml
is polymorphic
:
__val__ zip : 'a list -> 'b list -> ('a * 'b) list
This __zip__ takes two lists of items of types __'a__ and __'b__ (which may or may not be the same type) and returns a list of __'a__ and __'b__ pairs. When the compiler sees this function call:
