nLab string (computer science)

Contents

This entry is about the notion in computer science. For the notion in particle physics/quantum gravity see at string theory.

Contents

Idea

In computer science, “stringstring” is a traditional name for the data type of lists of elements of a given alphabet 𝒜\mathscr{A}.

From the point of view of categorical semantics, the data type StringString equipped with its evident concatenation functionality is the free monoid on 𝒜\mathscr{A}.

Moreover, from the point of view of monads in functional programming, the writing of consecutive log messages of type StringString is desribed by the writer monad Writer((string,conc))Writer\big((string, conc)\big)

References

See also:

Last revised on August 14, 2023 at 18:01:30. See the history of this page for a list of all contributions to it.