Colored local type inference

Colored local type inference

We present a type system for a language based on F ≤, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination of type propagation and local constraint solving, rather than by global constraint solving. We re ne the previously exis...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:SIGPLAN notices 2001, Vol.36 (3), p.41-53
Hauptverfasser: Odersky, Martin, Zenger, Christoph, Zenger, Matthias
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 53
container_issue 3
container_start_page 41
container_title SIGPLAN notices
container_volume 36
creator Odersky, Martin
Zenger, Christoph
Zenger, Matthias
description We present a type system for a language based on F ≤, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination of type propagation and local constraint solving, rather than by global constraint solving. We re ne the previously existing local type inference system of Pierce and Turner[PT98] by allowing partial type information to be propagated. This is expressed by coloring types to indicate propagation directions. Propagating partial type information allows us to omit type annotations for the visitor pattern, the analogue of pattern matching in languages without sum types.
doi_str_mv 10.1145/373243.360207
format Article
fullrecord <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_1145_373243_360207</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_1145_373243_360207</sourcerecordid><originalsourceid>FETCH-LOGICAL-c334t-a59b61237c12c26d4e83440be29f5befc05c37b7266e61f76299809209262ecc3</originalsourceid><addsrcrecordid>eNotz81KAzEUhuEgCo7VpTsXcwOp5yc_k6UMaoWCG12HmfQEKmOnJN307lVG-ODdffAodY-wRjT2kT2T4TU7IPAXqkFrO43o4FI1wI40soFrdVPrFwAwUNeoh36e5iK7dprTMLWn81Ha_SFLkUOSW3WVh6nK3X9X6vPl-aPf6O3761v_tNWJ2Zz0YMPokNgnpERuZ6RjY2AUCtmOkhPYxH705Jw4zN5RCB0E-p0jSYlXSi-_qcy1FsnxWPbfQzlHhPhHiwstLjT-Aby8PjE</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Colored local type inference</title><source>Access via ACM Digital Library</source><creator>Odersky, Martin ; Zenger, Christoph ; Zenger, Matthias</creator><creatorcontrib>Odersky, Martin ; Zenger, Christoph ; Zenger, Matthias</creatorcontrib><description>We present a type system for a language based on F ≤, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination of type propagation and local constraint solving, rather than by global constraint solving. We re ne the previously existing local type inference system of Pierce and Turner[PT98] by allowing partial type information to be propagated. This is expressed by coloring types to indicate propagation directions. Propagating partial type information allows us to omit type annotations for the visitor pattern, the analogue of pattern matching in languages without sum types.</description><identifier>ISSN: 0362-1340</identifier><identifier>EISSN: 1558-1160</identifier><identifier>DOI: 10.1145/373243.360207</identifier><language>eng</language><ispartof>SIGPLAN notices, 2001, Vol.36 (3), p.41-53</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c334t-a59b61237c12c26d4e83440be29f5befc05c37b7266e61f76299809209262ecc3</citedby><cites>FETCH-LOGICAL-c334t-a59b61237c12c26d4e83440be29f5befc05c37b7266e61f76299809209262ecc3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,4024,27923,27924,27925</link.rule.ids></links><search><creatorcontrib>Odersky, Martin</creatorcontrib><creatorcontrib>Zenger, Christoph</creatorcontrib><creatorcontrib>Zenger, Matthias</creatorcontrib><title>Colored local type inference</title><title>SIGPLAN notices</title><description>We present a type system for a language based on F ≤, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination of type propagation and local constraint solving, rather than by global constraint solving. We re ne the previously existing local type inference system of Pierce and Turner[PT98] by allowing partial type information to be propagated. This is expressed by coloring types to indicate propagation directions. Propagating partial type information allows us to omit type annotations for the visitor pattern, the analogue of pattern matching in languages without sum types.</description><issn>0362-1340</issn><issn>1558-1160</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2001</creationdate><recordtype>article</recordtype><recordid>eNotz81KAzEUhuEgCo7VpTsXcwOp5yc_k6UMaoWCG12HmfQEKmOnJN307lVG-ODdffAodY-wRjT2kT2T4TU7IPAXqkFrO43o4FI1wI40soFrdVPrFwAwUNeoh36e5iK7dprTMLWn81Ha_SFLkUOSW3WVh6nK3X9X6vPl-aPf6O3761v_tNWJ2Zz0YMPokNgnpERuZ6RjY2AUCtmOkhPYxH705Jw4zN5RCB0E-p0jSYlXSi-_qcy1FsnxWPbfQzlHhPhHiwstLjT-Aby8PjE</recordid><startdate>2001</startdate><enddate>2001</enddate><creator>Odersky, Martin</creator><creator>Zenger, Christoph</creator><creator>Zenger, Matthias</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>2001</creationdate><title>Colored local type inference</title><author>Odersky, Martin ; Zenger, Christoph ; Zenger, Matthias</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c334t-a59b61237c12c26d4e83440be29f5befc05c37b7266e61f76299809209262ecc3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2001</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Odersky, Martin</creatorcontrib><creatorcontrib>Zenger, Christoph</creatorcontrib><creatorcontrib>Zenger, Matthias</creatorcontrib><collection>CrossRef</collection><jtitle>SIGPLAN notices</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Odersky, Martin</au><au>Zenger, Christoph</au><au>Zenger, Matthias</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Colored local type inference</atitle><jtitle>SIGPLAN notices</jtitle><date>2001</date><risdate>2001</risdate><volume>36</volume><issue>3</issue><spage>41</spage><epage>53</epage><pages>41-53</pages><issn>0362-1340</issn><eissn>1558-1160</eissn><abstract>We present a type system for a language based on F ≤, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination of type propagation and local constraint solving, rather than by global constraint solving. We re ne the previously existing local type inference system of Pierce and Turner[PT98] by allowing partial type information to be propagated. This is expressed by coloring types to indicate propagation directions. Propagating partial type information allows us to omit type annotations for the visitor pattern, the analogue of pattern matching in languages without sum types.</abstract><doi>10.1145/373243.360207</doi><tpages>13</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0362-1340
ispartof SIGPLAN notices, 2001, Vol.36 (3), p.41-53
issn 0362-1340
1558-1160
language eng
recordid cdi_crossref_primary_10_1145_373243_360207
source Access via ACM Digital Library
title Colored local type inference
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-28T03%3A45%3A13IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Colored%20local%20type%20inference&rft.jtitle=SIGPLAN%20notices&rft.au=Odersky,%20Martin&rft.date=2001&rft.volume=36&rft.issue=3&rft.spage=41&rft.epage=53&rft.pages=41-53&rft.issn=0362-1340&rft.eissn=1558-1160&rft_id=info:doi/10.1145/373243.360207&rft_dat=%3Ccrossref%3E10_1145_373243_360207%3C/crossref%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true