Skip to content

Commit 296fc0f

Browse files
committed
Add article: Result isomorphism
1 parent 4e6a035 commit 296fc0f

5 files changed

+226
-1
lines changed

_posts/2017-10-4-from-design-patterns-to-category-theory.html

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -272,6 +272,7 @@ <h3 id="a90284d241c4463583401504395a4a8a">
272272
<li><a href="/2018/02/19/abstract-class-isomorphism">Abstract class isomorphism</a></li>
273273
<li><a href="/2018/02/26/inheritance-composition-isomorphism">Inheritance-composition isomorphism</a></li>
274274
<li><a href="/2019/07/15/tester-doer-isomorphisms">Tester-Doer isomorphisms</a></li>
275+
<li><a href="/2025/10/15/result-isomorphism">Result isomorphism</a></li>
275276
<li><a href="/2020/02/10/builder-isomorphisms">Builder isomorphisms</a></li>
276277
</ul>
277278
</li>

_posts/2018-01-08-software-design-isomorphisms.html

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -102,6 +102,7 @@ <h3 id="ccf56c166177427785d71baf7cb7158f">
102102
<li><a href="/2018/02/19/abstract-class-isomorphism">Abstract class isomorphism</a></li>
103103
<li><a href="/2018/02/26/inheritance-composition-isomorphism">Inheritance-composition isomorphism</a></li>
104104
<li><a href="/2019/07/15/tester-doer-isomorphisms">Tester-Doer isomorphisms</a></li>
105+
<li><a href="/2025/10/15/result-isomorphism">Result isomorphism</a></li>
105106
<li><a href="/2020/02/10/builder-isomorphisms">Builder isomorphisms</a></li>
106107
</ul>
107108
In general, I've tried to name each isomorphism after its canonical representation. For instance, by <em>unit isomorphisms</em>, I mean isomorphisms to the unit value. It is, however, not an entirely consistent naming strategy.

_posts/2019-07-15-tester-doer-isomorphisms.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -317,6 +317,6 @@ <h3 id="8e3e7b55ac1e49568712675713426e59">
317317
While all three designs are equivalent in the sense that you can translate one into another, it doesn't imply that they're equally useful. <em>Maybe</em> is the superior design, and Tester-Doer clearly inferior.
318318
</p>
319319
<p>
320-
<strong>Next:</strong> <a href="/2020/02/10/builder-isomorphisms">Builder isomorphisms</a>.
320+
<strong>Next:</strong> <a href="/2025/10/15/result-isomorphism">Result isomorphism</a>.
321321
</p>
322322
</div>

0 commit comments

Comments
 (0)