Free composition instead of language dictatorship

Lodewijk Bergmans, Steven te Brinke, Christoph Bockisch, Mehmet Aksit

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    224 Downloads (Pure)

    Abstract

    Historically, programming languages have been—benevolent—dictators: reducing all possible semantics to specific ones offered by a few built-in language constructs. Over the years, some programming languages have freed the programmers from the restrictions to use only built-in libraries, built-in data types, and builtin type-checking rules. Even though—arguably—such freedom could lead to anarchy, or people shooting themselves in the foot, the contrary tends to be the case: a language that does not allow for extensibility is depriving software engineers of the ability to construct proper abstractions and to structure software in the most optimal way. Therefore the software becomes less structured and maintainable than would be possible if the software engineer could express the behavior of the program with the most appropriate abstractions. The idea proposed by this paper is to move composition from built-in language constructs to programmable, first-class abstractions in a language. We discuss several prototypes of the Co-op language, which show that it is possible, with a relatively simple model, to express a wide range of compositions as first-class concepts.
    Original languageUndefined
    Title of host publicationProceedings of the 7th International Conference on Software Paradigm Trends, ICSOFT 2012
    PublisherSCITEPRESS
    Pages388-393
    Number of pages6
    ISBN (Print)978-989-8565-19-8
    Publication statusPublished - Jul 2012
    Event7th International Conference on Software Paradigm Trends, ICSOFT 2012 - Rome, Italy
    Duration: 24 Jul 201227 Jul 2012
    Conference number: 7
    http://www.icsoft-pt.org/?y=2012

    Publication series

    Name
    PublisherSciTePress

    Conference

    Conference7th International Conference on Software Paradigm Trends, ICSOFT 2012
    Abbreviated titleICSOFT
    CountryItaly
    CityRome
    Period24/07/1227/07/12
    Internet address

    Keywords

    • METIS-296111
    • IR-83368
    • Language Design
    • EWI-22371
    • Free Composition
    • Software Composition
    • Language Engineering

    Cite this

    Bergmans, L., te Brinke, S., Bockisch, C., & Aksit, M. (2012). Free composition instead of language dictatorship. In Proceedings of the 7th International Conference on Software Paradigm Trends, ICSOFT 2012 (pp. 388-393). SCITEPRESS.
    Bergmans, Lodewijk ; te Brinke, Steven ; Bockisch, Christoph ; Aksit, Mehmet. / Free composition instead of language dictatorship. Proceedings of the 7th International Conference on Software Paradigm Trends, ICSOFT 2012. SCITEPRESS, 2012. pp. 388-393
    @inproceedings{fb540ef958fa48ca9cfaffc3fa2da1c0,
    title = "Free composition instead of language dictatorship",
    abstract = "Historically, programming languages have been—benevolent—dictators: reducing all possible semantics to specific ones offered by a few built-in language constructs. Over the years, some programming languages have freed the programmers from the restrictions to use only built-in libraries, built-in data types, and builtin type-checking rules. Even though—arguably—such freedom could lead to anarchy, or people shooting themselves in the foot, the contrary tends to be the case: a language that does not allow for extensibility is depriving software engineers of the ability to construct proper abstractions and to structure software in the most optimal way. Therefore the software becomes less structured and maintainable than would be possible if the software engineer could express the behavior of the program with the most appropriate abstractions. The idea proposed by this paper is to move composition from built-in language constructs to programmable, first-class abstractions in a language. We discuss several prototypes of the Co-op language, which show that it is possible, with a relatively simple model, to express a wide range of compositions as first-class concepts.",
    keywords = "METIS-296111, IR-83368, Language Design, EWI-22371, Free Composition, Software Composition, Language Engineering",
    author = "Lodewijk Bergmans and {te Brinke}, Steven and Christoph Bockisch and Mehmet Aksit",
    note = "Video of presentation to be viewed at http://vimeo.com/50048636",
    year = "2012",
    month = "7",
    language = "Undefined",
    isbn = "978-989-8565-19-8",
    publisher = "SCITEPRESS",
    pages = "388--393",
    booktitle = "Proceedings of the 7th International Conference on Software Paradigm Trends, ICSOFT 2012",

    }

    Bergmans, L, te Brinke, S, Bockisch, C & Aksit, M 2012, Free composition instead of language dictatorship. in Proceedings of the 7th International Conference on Software Paradigm Trends, ICSOFT 2012. SCITEPRESS, pp. 388-393, 7th International Conference on Software Paradigm Trends, ICSOFT 2012, Rome, Italy, 24/07/12.

    Free composition instead of language dictatorship. / Bergmans, Lodewijk; te Brinke, Steven; Bockisch, Christoph; Aksit, Mehmet.

    Proceedings of the 7th International Conference on Software Paradigm Trends, ICSOFT 2012. SCITEPRESS, 2012. p. 388-393.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - Free composition instead of language dictatorship

    AU - Bergmans, Lodewijk

    AU - te Brinke, Steven

    AU - Bockisch, Christoph

    AU - Aksit, Mehmet

    N1 - Video of presentation to be viewed at http://vimeo.com/50048636

    PY - 2012/7

    Y1 - 2012/7

    N2 - Historically, programming languages have been—benevolent—dictators: reducing all possible semantics to specific ones offered by a few built-in language constructs. Over the years, some programming languages have freed the programmers from the restrictions to use only built-in libraries, built-in data types, and builtin type-checking rules. Even though—arguably—such freedom could lead to anarchy, or people shooting themselves in the foot, the contrary tends to be the case: a language that does not allow for extensibility is depriving software engineers of the ability to construct proper abstractions and to structure software in the most optimal way. Therefore the software becomes less structured and maintainable than would be possible if the software engineer could express the behavior of the program with the most appropriate abstractions. The idea proposed by this paper is to move composition from built-in language constructs to programmable, first-class abstractions in a language. We discuss several prototypes of the Co-op language, which show that it is possible, with a relatively simple model, to express a wide range of compositions as first-class concepts.

    AB - Historically, programming languages have been—benevolent—dictators: reducing all possible semantics to specific ones offered by a few built-in language constructs. Over the years, some programming languages have freed the programmers from the restrictions to use only built-in libraries, built-in data types, and builtin type-checking rules. Even though—arguably—such freedom could lead to anarchy, or people shooting themselves in the foot, the contrary tends to be the case: a language that does not allow for extensibility is depriving software engineers of the ability to construct proper abstractions and to structure software in the most optimal way. Therefore the software becomes less structured and maintainable than would be possible if the software engineer could express the behavior of the program with the most appropriate abstractions. The idea proposed by this paper is to move composition from built-in language constructs to programmable, first-class abstractions in a language. We discuss several prototypes of the Co-op language, which show that it is possible, with a relatively simple model, to express a wide range of compositions as first-class concepts.

    KW - METIS-296111

    KW - IR-83368

    KW - Language Design

    KW - EWI-22371

    KW - Free Composition

    KW - Software Composition

    KW - Language Engineering

    M3 - Conference contribution

    SN - 978-989-8565-19-8

    SP - 388

    EP - 393

    BT - Proceedings of the 7th International Conference on Software Paradigm Trends, ICSOFT 2012

    PB - SCITEPRESS

    ER -

    Bergmans L, te Brinke S, Bockisch C, Aksit M. Free composition instead of language dictatorship. In Proceedings of the 7th International Conference on Software Paradigm Trends, ICSOFT 2012. SCITEPRESS. 2012. p. 388-393