You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@lucy.apache.org by "Marvin Humphrey (JIRA)" <ji...@apache.org> on 2015/06/04 00:19:38 UTC

[lucy-issues] [jira] [Created] (CLOWNFISH-55) "MAYBE" sum types

Marvin Humphrey created CLOWNFISH-55:
----------------------------------------

             Summary: "MAYBE" sum types
                 Key: CLOWNFISH-55
                 URL: https://issues.apache.org/jira/browse/CLOWNFISH-55
             Project: Apache Lucy-Clownfish
          Issue Type: Improvement
          Components: Core
            Reporter: Marvin Humphrey


By using "MAYBE" sum types which represent either a valid specific type or an error, it becomes possible to encode error conditions into return types and avoid throwing exceptions which escape the Clownfish runtime.  These "MAYBE" types can be mapped to exceptions for some hosts at the C/host border -- allowing us to accommodate both host languages where exceptions are problematic (Go, embedded C) and languages where exceptions are idiomatic (Python, Perl, Ruby).



--
This message was sent by Atlassian JIRA
(v6.3.4#6332)