Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84 +MMDF+2.11; site ukc.UUCP
Path: utzoo!linus!philabs!cmcl2!seismo!mcvax!ukc!msp
From: msp@ukc.UUCP (M.S.Parsons)
Newsgroups: net.lang
Subject: Re: Type-System Questions
Message-ID: <321@ukc.UUCP>
Date: Tue, 29-Oct-85 06:42:01 EST
Article-I.D.: ukc.321
Posted: Tue Oct 29 06:42:01 1985
Date-Received: Thu, 31-Oct-85 08:52:04 EST
References: <15100005@ada-uts.UUCP> <6@cstvax.UUCP>
Reply-To: msp@eagle.UUCP (Mike Parsons. )
Organization: U of Kent at Canterbury, Canterbury, UK
Lines: 12
Keywords: Type inference, ML, Miranda, Type checking

In article <6@cstvax.UUCP> db@cstvax.UUCP (Dave Berry) writes:
>In article <15100005@ada-uts.UUCP> richw@ada-uts.UUCP writes:
>>Does anyone know of any languages that either:
>>1) Attempts to do compile-time type-checking via "type inference"?
>
>ML is a strongly-typed functional language with type inference.
>
Another language that does this is "Miranda", developed by David Turner
at the University of Kent. Ref - Miranda: a non strict functional language with 
polymorphic types, in Functional Programming Languages and Computer Architecture
(Lecture Notes in Computer Science 201), Springer-Verlag 1985