Draft:Unison (programming language)
Submission declined on 18 March 2025 by CitrusHemlock (talk).
Where to get help
How to improve a draft
You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Editor resources
|  |
| Submission declined on 22 July 2023 by Festucalex (talk). This draft's references do not show that the subject qualifies for a Wikipedia article. In summary, the draft needs multiple published sources that are: Declined by Festucalex 20 months ago.
| |
Comment: No independent sources. Please read WP:RS and WP:INDEPENDENT, edit accordingly, and resubmit. 〜 Festucalex • talk 07:09, 22 July 2023 (UTC)
 | |
| Designed by | Unison Computing |
|---|---|
| Developer | Unison Computing |
| Stable release | v0.5.36
|
| Platform | x86-64 |
| OS | Linux, macOS, Windows |
| License | MIT |
| Filename extensions | .u |
| Website | unison-lang.org |
| Influenced by | |
| Haskell, Erlang | |
Unison is a statically-typed programming language primarily influenced by Haskell, Erlang, and Frank.[1]
Unison's primary characteristic is that it is a content-addressed and immutable language. It is designed for modern, functional programming, with the unique capability to describe entire distributed systems using a single program.[2]
Language Overview
[edit]Unison's core philosophy is that each definition in the language is uniquely identified by a hash of its syntax tree, meaning Unison code is content-addressed.[3]
This unique identification allows Unison to simplify distributed programming, eliminate builds and dependency conflicts, support typed durable storage, enable structured refactorings, and provide better tools for working with code.[4][5]
Content-Addressing
[edit]Unison uses a 512-bit SHA3 digest to represent a term or a type's internal structure, excluding names. This hash acts as a unique identifier for the term or type declaration, allowing it to be unambiguously referred to in all contexts. In Unison, the hash of a term or type is considered its true name.[6]
Hash References
[edit]Literal hash references in Unison have specific structures, with different formats for term definitions, mutually recursive definitions, data constructors, cyclic type definitions, and built-in references.[7]
Unison also supports short hashes, where a prefix of the base32Hex encoded SHA3 digest can be used instead of the full hash. If the short hash is long enough to be unambiguous in the given environment, Unison substitutes the full hash at compile time.[8]
Dependency Management
[edit]In Unison, dependency conflicts, which often arise due to different definitions competing for the same names in traditional programming languages, are not a concern. Instead, what might be perceived as a dependency conflict in Unison is merely a situation where multiple terms or types serve similar purposes. This flexibility in managing dependencies makes Unison an adaptable and developer-friendly language.[9] [10]
External Links
[edit]- Unison on GitHub
- A look at Unison: a revolutionary programming language
- Rethinking Distributed Programming with Unison Lang
References
[edit]- ^ "Unison langage". univalence.io. Retrieved 2023-07-21.
- ^ "Unison". unison-lang.org. Retrieved 2023-07-21.
- ^ Warski, Adam. "Trying out Unison, part 1: code as hashes". SoftwareMill Tech Blog. Retrieved 2023-07-21.
- ^ "The big idea". unison-lang.org. Retrieved 2023-07-21.
- ^ The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps, João Costa Seco and Jonathan Aldrich, 2024, https://doi.org/10.1145/3689492.3690048
- ^ "Writing Code Without Plain Text Files". 25 January 2023.
- ^ "Unison Programming Language - Literals". Unison Programming Language Official Website. Retrieved July 21, 2023.
- ^ "Unison Programming Language - Hashes". Unison Programming Language Official Website. Retrieved July 21, 2023.
- ^ Chiusano, Paul (2020-04-10). "How Unison reduces ecosystem churn". unisonweb.org. Retrieved 2023-07-21.
- ^ "A look at Unison: a revolutionary programming language". renato.athaydes.com. Retrieved 2025-03-17.
- in-depth (not just passing mentions about the subject)
- reliable
- secondary
- independent of the subject
Make sure you add references that meet these criteria before resubmitting. Learn about mistakes to avoid when addressing this issue. If no additional references exist, the subject is not suitable for Wikipedia.