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