2026-07-26T17:14:35Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9688 2024-03-06T10:44:50Z ddc:004 open_access

Beyond Polarity: Towards a Multi-Discipline Intermediate Language with Sharing Downen, Paul Ariola, Zena M. call-by-need polarity call-by-push-value control The study of polarity in computation has revealed that an "ideal" programming language combines both call-by-value and call-by-name evaluation; the two calling conventions are each ideal for half the types in a programming language. But this binary choice leaves out call-by-need which is used in practice to implement lazy-by-default languages like Haskell. We show how the notion of polarity can be extended beyond the value/name dichotomy to include call-by-need by only adding a mechanism for sharing and the extra polarity shifts to connect them, which is enough to compile a Haskell-like functional language with user-defined types. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Paul Downen and Zena M. Ariola 2018 Is Part Of LIPIcs, Volume 119, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2018.21 urn:nbn:de:0030-drops-96886 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.21 eng https://creativecommons.org/licenses/by/3.0/legalcode