Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110122404> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2110122404 abstract "The problem of supporting the modular extensibility of both data and functions in one programming language at the same time is known as the expression problem. Functional languages traditionally make it easy to add new functions, but extending data (adding new data constructors) requires modifying existing code. We present a semantically and syntactically lightweight variant of open data types and open functions as a solution to the expression problem in the Haskell language. Constructors of open data types and equations of open functions may appear scattered throughout a program with several modules. The intended semantics is as follows: the program should behave as if the data types and functions were closed, defined in one place. The order of function equations is determined by best-fit pattern matching, where a specific pattern takes precedence over an unspecific one. We show that our solution is applicable to the expression problem, generic programming, and exceptions. We sketch two implementations: a direct implementation of the semantics, and a scheme based on mutually recursive modules that permits separate compilation" @default.
- W2110122404 created "2016-06-24" @default.
- W2110122404 creator A5027537142 @default.
- W2110122404 creator A5063247380 @default.
- W2110122404 date "2006-07-10" @default.
- W2110122404 modified "2023-10-17" @default.
- W2110122404 title "Open data types and open functions" @default.
- W2110122404 cites W1567378416 @default.
- W2110122404 cites W1947395352 @default.
- W2110122404 cites W2057257598 @default.
- W2110122404 cites W2059148801 @default.
- W2110122404 cites W2062887328 @default.
- W2110122404 cites W2080648611 @default.
- W2110122404 cites W2118729638 @default.
- W2110122404 cites W2136177623 @default.
- W2110122404 cites W2138964563 @default.
- W2110122404 cites W2147044763 @default.
- W2110122404 cites W2158107019 @default.
- W2110122404 cites W4254510965 @default.
- W2110122404 doi "https://doi.org/10.1145/1140335.1140352" @default.
- W2110122404 hasPublicationYear "2006" @default.
- W2110122404 type Work @default.
- W2110122404 sameAs 2110122404 @default.
- W2110122404 citedByCount "49" @default.
- W2110122404 countsByYear W21101224042012 @default.
- W2110122404 countsByYear W21101224042013 @default.
- W2110122404 countsByYear W21101224042014 @default.
- W2110122404 countsByYear W21101224042016 @default.
- W2110122404 countsByYear W21101224042017 @default.
- W2110122404 countsByYear W21101224042018 @default.
- W2110122404 countsByYear W21101224042020 @default.
- W2110122404 countsByYear W21101224042022 @default.
- W2110122404 crossrefType "proceedings-article" @default.
- W2110122404 hasAuthorship W2110122404A5027537142 @default.
- W2110122404 hasAuthorship W2110122404A5063247380 @default.
- W2110122404 hasConcept C41008148 @default.
- W2110122404 hasConceptScore W2110122404C41008148 @default.
- W2110122404 hasLocation W21101224041 @default.
- W2110122404 hasOpenAccess W2110122404 @default.
- W2110122404 hasPrimaryLocation W21101224041 @default.
- W2110122404 hasRelatedWork W1596801655 @default.
- W2110122404 hasRelatedWork W2130043461 @default.
- W2110122404 hasRelatedWork W2350741829 @default.
- W2110122404 hasRelatedWork W2358668433 @default.
- W2110122404 hasRelatedWork W2376932109 @default.
- W2110122404 hasRelatedWork W2382290278 @default.
- W2110122404 hasRelatedWork W2390279801 @default.
- W2110122404 hasRelatedWork W2748952813 @default.
- W2110122404 hasRelatedWork W2899084033 @default.
- W2110122404 hasRelatedWork W2530322880 @default.
- W2110122404 isParatext "false" @default.
- W2110122404 isRetracted "false" @default.
- W2110122404 magId "2110122404" @default.
- W2110122404 workType "article" @default.