Show simple item record

dc.contributor.authorWright, Andrew
dc.date.accessioned 2017-08-02T22:03:19Z
dc.date.available 2017-08-02T22:03:19Z
dc.date.issued 1993-02-18
dc.identifier.urihttps://hdl.handle.net/1911/96432
dc.description.abstract The simple and elegant Hindley/Milner polymorphic type discipline is the basis of the type system of Standard ML, but ML's imperative features are a blight on this otherwise clean landscape. Polymorphism and imperative features cannot freely coexist without compromising type safety, hence Standard MLassigns imperative types of limited polymorphism to procedures that use references, exceptions, or continuations. Several other solutions exist, but all introduce new kinds of types that complicate the type system, contaminate module signatures, and violate abstraction by revealing the pure or imperative nature of a procedure in its type. We propose a seemingly radical alternative: by restricting polymorphism to values, imperative procedures have the same types as their behaviorally equivalent functional counterparts. Although the resulting type system does not accept all expressions typable in the purely functional sublanguage, this limitation is seldom encountered in practice. The vast majority of ML code already satisfies the restriction of polymorphism to values, and simple syntactic modifications fix the few non-conforming programs.
dc.format.extent 10 pp
dc.language.iso eng
dc.rights You are granted permission for the noncommercial reproduction, distribution, display, and performance of this technical report in any format, but this permission is only for a period of forty-five (45) days from the most recent time that you verified that this technical report is still available from the Computer Science Department of Rice University under terms that include this permission. All other rights are reserved by the author(s).
dc.title Polymorphism for Imperative Languages without Imperative Types
dc.type Technical report
dc.date.note February 18, 1993
dc.identifier.digital TR93-200
dc.type.dcmi Text
dc.identifier.citation Wright, Andrew. "Polymorphism for Imperative Languages without Imperative Types." (1993) https://hdl.handle.net/1911/96432.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record