X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=family_tree_of_functional_programming_languages.mdwn;fp=family_tree_of_functional_programming_languages.mdwn;h=357fc89022e6875dd7aace2855dfec6c194382d6;hp=7e018aa588067bfd01f1693f7e55e59c022c8385;hb=e90a0c93644702a6b5944883430844cd6d2714a6;hpb=118f60c5fb8747096249fae8bb864c0427503da7 diff --git a/family_tree_of_functional_programming_languages.mdwn b/family_tree_of_functional_programming_languages.mdwn index 7e018aa5..357fc890 100644 --- a/family_tree_of_functional_programming_languages.mdwn +++ b/family_tree_of_functional_programming_languages.mdwn @@ -74,7 +74,7 @@ like follows: This just says explicitly that foo takes an argument x of type int, an argument y of type float, and returns a pair of type int\*float (that is, a pair whose -first member is if type int and whose second member is of type float). +first member is of type int and whose second member is of type float). Type inference allows programmers to enjoy the benefits of strict compile-time type-checking, which as we said, helps eliminate a large class of errors at a