Result type

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.

Examples

• In Elm, it is defined by the standard library as typeResultev=Okv|Erre. ^[1]
• In Haskell, by convention the Either type is used for this purpose, which is defined by the standard library as dataEitherab=Lefta|Rightb, where a is the error type and b is the return type. ^[2]
• In Kotlin, it is defined by the standard library as valueclassResult<outT>. ^[3]
• In OCaml, it is defined by the standard library as type('a,'b)result=Okof'a|Errorof'btype. ^[4]
• In Rust, it is defined by the standard library as enumResult<T,E>{Ok(T),Err(E)}. ^{[5] [6]}
• In Scala, the standard library also defines an Either type, ^[7] however Scala also has more conventional exception handling.
• In Swift, it is defined by the standard library as @frozenenumResult<Success,Failure>whereFailure:Error. ^[8]
• In C++, it is defined by the standard library as std::expected<T,E>. ^[9]
• In Python, it is available from third party libraries such as returns and result.
• In V, the result type is implemented natively using !T as the return type of a function. For example fn my_function() !string { ... }. Error Handling in V.

Rust

The result object has the methods is_ok() and is_err().

constCAT_FOUND: bool=true;fnmain(){letresult=pet_cat();ifresult.is_ok(){println!("Great, we could pet the cat!");}else{println!("Oh no, we couldn't pet the cat!");}}fnpet_cat()-> Result<(),String>{ifCAT_FOUND{Ok(())}else{Err(String::from("the cat is nowhere to be found"))}}

Vlang

The Error type is an interface for iError.

constcat_found=truefnmain(){cat_name:=get_pet_cat_name()or{println("Oh no, we couldn't pet the cat!")exit(1)}println('Great,wecouldpetthecat'+cat_name)}fnget_pet_cat_name()!string{ifcat_found{return'Max'}else{returnerror('thecatisnowheretobefound')}}

See also

• Option type
• Exception handling
• Tagged union
• Return type

References

1. "Result · An Introduction to Elm". guide.elm-lang.org. Archived from the original on 9 October 2023. Retrieved 9 October 2023.
2. "Data.Either". hackage.haskell.org. 22 September 2023. Archived from the original on 9 October 2023. Retrieved 9 October 2023.
3. "Result - Kotlin Programming Language". kotlinlang.org. Archived from the original on 9 October 2023. Retrieved 9 October 2023.
4. "Error Handling · OCaml Tutorials". ocaml.org. Archived from the original on 9 October 2023. Retrieved 9 October 2023.
5. "std::result - Rust". doc.rust-lang.org. Archived from the original on 9 October 2023. Retrieved 9 October 2023.
6. "stdlib: Add result module · rust-lang/rust@c1092fb". github.com. 29 October 2011. Archived from the original on 9 October 2023. Retrieved 9 October 2023.
7. "Scala Standard Library 2.13.12 - scala.util.Either". www.scala-lang.org. Archived from the original on 9 October 2023. Retrieved 9 October 2023.
8. "Result | Apple Developer Documentation". developer.apple.com. Archived from the original on 9 October 2023. Retrieved 9 October 2023.
9. "std::expected - cppreference.com". en.cppreference.com. 25 August 2023. Archived from the original on 9 October 2023. Retrieved 9 October 2023.