diff --git a/content/pages/posts/algebraic-types.md b/content/pages/posts/algebraic-types.md index 9598838..5e38621 100644 --- a/content/pages/posts/algebraic-types.md +++ b/content/pages/posts/algebraic-types.md @@ -79,7 +79,7 @@ Another example is modeling errors. In Go, when a function can return an error, |Value 1|Value 2|Assumed| |-|-|-| |`present`|`null`|yes| -|`null` | `null` |yes| +|`null` | `present` |yes| |`present`|`present`|no| |`null`|`null`|no| @@ -244,4 +244,4 @@ Thanks [Uğur](https://www.rugu.dev/) for his detailed and valuable feedback on [^3]: [Cognitive load is what matters](https://minds.md/zakirullin/cognitive) [^4]: [Visitor Pattern](https://en.wikipedia.org/wiki/Visitor_pattern) [^5]: [No Silver bullet](https://www.cs.unc.edu/techreports/86-020.pdf) -[^6]: [Visitor is a sum type](https://blog.ploeh.dk/2018/06/25/visitor-as-a-sum-type/) \ No newline at end of file +[^6]: [Visitor is a sum type](https://blog.ploeh.dk/2018/06/25/visitor-as-a-sum-type/)