--- title: EEP: Singleton Binary Literal Types | daily.dev description: A new Erlang Enhancement Proposal (EEP) extends EEP 8 to support binary literals like <<"start">> and <<"stop">> as singleton types in Erlang's type system.... canonical: https://daily.dev/posts/eep-singleton-binary-literal-types-d8qmli8id twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: EEP: Singleton Binary Literal Types | daily.dev og:description: A new Erlang Enhancement Proposal (EEP) extends EEP 8 to support binary literals like <<"start">> and <<"stop">> as singleton types in Erlang's type system.... og:url: https://daily.dev/posts/eep-singleton-binary-literal-types-d8qmli8id og:image: https://api.daily.dev/og/posts/d8qmLI8ID.png og:image:alt: EEP: Singleton Binary Literal Types og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # EEP: Singleton Binary Literal Types **[Erlang Forums](https://daily.dev/sources/erlangforums)** · 1 min read · 0 upvotes · 0 comments ## Summary A new Erlang Enhancement Proposal (EEP) extends EEP 8 to support binary literals like <<"start">> and <<"stop">> as singleton types in Erlang's type system. This allows type declarations (-type, -spec, -callback, record fields) to express precise binary value constraints, bringing binaries to parity with atoms and integers. The proposal also supports UTF-8 encoding annotations (<<"café"/utf8>>) and sigil syntax (~"hello"). An implementation PR against erlang/otp is already available. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Similar posts on daily.dev - [EEP 79: Native Records](https://daily.dev/posts/eep-79-native-records-rzy7moe8t) · Erlang Forums · 0 upvotes · 0 comments - [Elixir v1.20.0 released](https://daily.dev/posts/elixir-v1-20-0-released-7hyajmuxu) · Elixir Forum · 1 upvotes · 0 comments --- Tags: [#erlang](https://daily.dev/tags/erlang) [View this post on daily.dev](https://daily.dev/posts/eep-singleton-binary-literal-types-d8qmli8id) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"TechArticle","headline":"EEP: Singleton Binary Literal Types","url":"https://daily.dev/posts/eep-singleton-binary-literal-types-d8qmli8id","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/eep-singleton-binary-literal-types-d8qmli8id"},"datePublished":"2026-03-08T04:49:35.960Z","dateModified":"2026-03-08T04:49:56.687Z","description":"A new Erlang Enhancement Proposal (EEP) extends EEP 8 to support binary literals like <<\"start\">> and <<\"stop\">> as singleton types in Erlang's type system....","image":"https://media.daily.dev/image/upload/s--58gMhC4P--/f_auto/v1722860399/public/Placeholder%2012","thumbnailUrl":"https://media.daily.dev/image/upload/s--58gMhC4P--/f_auto/v1722860399/public/Placeholder%2012","isAccessibleForFree":true,"articleSection":"Erlang Forums","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"Erlang Forums","logo":"https://media.daily.dev/image/upload/t_logo,f_auto/v1/logos/b352c25bf0ad4af3b186d4cdf1c4f17c","url":"https://daily.dev/sources/erlangforums"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/eep-singleton-binary-literal-types-d8qmli8id","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"erlang","timeRequired":"PT1M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Erlang Forums","item":"https://daily.dev/sources/erlangforums"},{"@type":"ListItem","position":3,"name":"EEP: Singleton Binary Literal Types"}]} ```