English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Getting polymorphism and effects such as mutation to live together in thesame language is a tale worth telling, under the recurring refrain of copyingvs. sharing. We add new stanzas to the tale, about the ordeal to generate codewith polymorphism and effects, and be sure it type-checks. Generatingwell-typed-by-construction polymorphic let-expressions is impossible in theHindley-Milner type system: even the author believed that.  The polymorphic-let generator turns out to exist. We present its derivationand the application for the lightweight implementation of quotation via a noveland unexpectedly simple source-to-source transformation to code-generatingcombinators.  However, generating let-expressions with polymorphic functions demands morethan even the relaxed value restriction can deliver. We need a new deal forlet-polymorphism in ML. We conjecture the weaker restriction and implement itin a practically-useful code-generation library. Its formal justification isformulated as the research program.

Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing