[comp.lang.functional] I like strong typing

farrell@batserver.cs.uq.oz.au (Friendless) (07/26/90)

jgk@osc.COM (Joe Keane) writes:
>Despite what some people say, i don't think strong typing is such a good deal.
>It catches obvious errors, but doesn't do you any good against less obvious
>bugs.

  This is no reason to reject it! But the best thing about strong typing is
the fact that you can take advantage of it when you compile things, by knowing
for example whether they want arguments or not, and you can make assumptions
about what they return when they evaluate, etc. Types are also useful as a
framework for the programmer to think about the roles of various parts of his
program.


								John