Exobiont Systems
⌂ Home

Get the SOURCE CODE on:

    • Ltsh — A Type Checker for the Unix Shell

    Ltsh is a tiny utility program for type-analysis of shell pipelines based on ladder types.

    Literature

    [1] Sippel and Schirmeier, "Process Composition with Typed Unix Pipes" in PLOS'23: Proceedings of the 12th Workshop on Programming Languages and Operating Systems

    https://dl.acm.org/doi/10.1145/3623759.3624546

    Related

    Ladder Types

    In order to implement complex datastructures and algorithms, usually many layers of abstraction are built ontop of each other. Consequently higher-level data types are encoded into lower-level data types, forming a chain of embeddings from concept to `rock bottom' of byte streams. While a high-level type makes claims about the...

    Shell Command Type DSL

    To overcome the limitations of our initial grep-based command-type database, we propose a new DSL to declare the typing of shell commands more intuitively and precisely. Our goal is to match specific command invocation patterns and assign them a type, such that variations on input/output types which depend on the configuration...