Live briefing
Everything about Result type
Concept in functional programming
In functional programming, a result type is a monadic type holding a returned value or an error code. They provide an elegant way of handling errors, without resorting to exception handling; when a function that may fail returns a result type, the programmer is forced to consider success or failure paths, before getting access to the expected result; this eliminates the possibility of an erroneous programmer assumption. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Result typeA 5-minute orientation
- Skim a recent paper: The Dark Energy Survey: Cosmology Results with ∼1500 New High-redshift Type Ia Supernovae Using the Full 5 yr Data SetInfluential work since 2022
- Pick up a classic book: O. A. C. Review Volume 37 Issue 12, August 1925The most-reprinted book on the subject
- Read the landmark paper: Nagumo-type uniqueness result for fractional differential equationsCited 98 times
- Go sideways: Tagged unionA closely related topic
- Go sideways: Option typeA closely related topic
📖 Definitions
Noun Synonym of return type.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Nagumo-type uniqueness result for fractional differential equations
A LIL type result for the product limit estimator
A uniqueness result for Kirchhoff type problems with singularity
An Auslander-type result for Gorenstein-projective modules
A Ramsey-Type Result for Convex Sets
Asymptotic Formulae via a Korovkin‐Type Result
A Tverberg-type result on multicolored simplices
An effective result of André-Oort type
🆕 Influential since 2022
The Dark Energy Survey: Cosmology Results with ∼1500 New High-redshift Type Ia Supernovae Using the Full 5 yr Data Set
Primary Hyperoxaluria Type 3 Can Also Result in Kidney Failure: A Case Report
A Brezis-Nirenberg type result for mixed local and nonlocal operators
A blow-up result for a Nakao-type weakly coupled system with nonlinearities of derivative-type
An Ahmad-Lazer-Paul-type result for indefinite mixed local-nonlocal problems
📚 Books worth reading
- 📕O. A. C. Review Volume 37 Issue 12, August 1925Ontario Agricultural College · 1925
- 📕Centenary of the Borel ConjectureMarion Scheepers, Ondrej Zindulka · 2020
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Tagged union In computer science, a tagged union, also called a variant, variant record, choice type, discriminated union, disjoint union, sum type, or coproduct, is…
- Option type In programming languages (especially functional programming languages) and type theory, an option type or maybe type is a polymorphic type that represents…
- Attribute (programming) In object-oriented programming, an attribute is a specification that defines a property of an object, element, or file. It may also refer to or set the…
- Concepts (C++) Concepts in the C++ programming language are type constraints on templates (or generics). Concepts are named Boolean predicates on template parameters…
- Compile-time function execution In computing, compile-time function execution (or compile-time function evaluation, or general constant expressions) is the ability of a compiler, that…
- C++ input/output library In the C++ programming language, input/output library refers to a family of class templates and supporting functions in the C++ Standard Library that implement…
- Typedef typedef is a reserved keyword in the programming languages C, C++, and Objective-C. It is used to create an additional name (alias) for another data type…
- C++ syntax The syntax of C++ is the set of rules defining how a C++ program is written and compiled. C++ syntax is largely inherited from the syntax of its ancestor…