Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Exception handlingOption typeReturn typeRust

Broader (1)

Functional programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
A Survey On Top-K Query Search in XML Data 1
Newly, keyword search has involved a good deal of attention in XML information. It’s inflexible to directly improve the XML… 
2013
2013
CONTENTUS - technologies for next generation multimedia libraries - Automatic multimedia processing for semantic search
An ever-growing amount of digitized content urges libraries and archives to integrate new media types from a large number of… 
Review
2010
Review
2010
Personalized Exploratory Search in the Semantic Web
Effective access to information on the Web, which has become vital to many users and to the whole society, is being hampered by… 
2008
2008
Project VIDE : Challenges of Executable Modelling of Business Applications
The VIDE project investigates the potential of the Model-Driven Architecture in terms of increasing the productivity, improving… 
2005
2005
LA INVESTIGACIÓN DE SUELOS EROSIONADOS: MÉTODOS E ÍNDICES DE DIAGNÓSTICO Investigation in eroded soils: methods and diagnosis indexes
RESUMEN- La revision de la literatura especializada sobre los metodos e indices de diagnostico que se utilizan para evaluar la… 
2000
2000
Parameterized Types and Polymorphic Functions in SIMPL
Parametric polymorphism or generic programming has been supported by a number of programming languages. Templates and generic… 
1999
1999
Generalised Prioritisation: A New Way of Combining Similarity Metrics
We describe similarity metrics, which are a generalisa-tion of similarity measures having any partial order as their result type… 
1998
1998
Cayennea language with dependent types
Cayenne is a Haskell-like language. The main difference between Haskell and Cayenne is that Cayenne has dependent types, i.e… 
1996
1996
A Machine Verified Distributed Sorting Algorithm
We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The… 
1994
1994
An Incremental Query Compiler with Resolution of Late Binding
This paper presents the extensions made to the query compiler of an object-relational database management system (ORDBMS) to make… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)