Path: utzoo!news-server.csri.toronto.edu!cs.utexas.edu!usc!zaphod.mps.ohio-state.edu!wuarchive!psuvax1!news
From: schwartz@groucho.cs.psu.edu (Scott Schwartz)
Newsgroups: comp.lang.misc
Subject: Re: Dynamic typing (part 3)
Message-ID: <&ybGjf=#@cs.psu.edu>
Date: 14 Mar 91 01:35:40 GMT
References: <618@optima.cs.arizona.edu>
Sender: news@cs.psu.edu (Usenet)
Organization: penn state computer science
Lines: 10
In-Reply-To: gudeman@cs.arizona.edu's message of 13 Mar 91 19:00:21 GMT
Nntp-Posting-Host: groucho.cs.psu.edu


gudeman@cs.arizona.edu (David Gudeman) writes:
| I thought you had to declare the types of functions in ML...

% sml
Standard ML of New Jersey, Version 0.66, 15 September 1990
- fun foo x = x + 1;
val foo = fn : int -> int
- fun bar x = x + 1.0;
val bar = fn : real -> real