You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
<imgsrc="/content/binary/tile3-doc.jpg" alt="The back of a tile, with some fairly cryptic symbols in the corners." width="200">
141
141
</p>
142
142
<p>
143
-
At first glance, I though those symbols were Greek letters, but once you look at it, you start to realize what's going on. In the upper right corner, you see a stylized back and tail. Likewise, the lower left corner has a stylized face in the form of a smiley. The lines then indicate that the sides indicated by a corner has a head or tail.
143
+
At first glance, I thought those symbols were Greek letters, but once you look at it, you start to realize what's going on. In the upper right corner, you see a stylized back and tail. Likewise, the lower left corner has a stylized face in the form of a smiley. The lines then indicate that the sides indicated by a corner has a head or tail.
144
144
</p>
145
145
<p>
146
146
Additionally, each side is encoded with a letter. I'll leave it as an exercise for the reader to figure out what <em>G</em> and <em>B</em> indicate, but also notice the two examples of a modified <em>R</em>. The one to the right indicates <em>red with spots</em>, and the other one uses the minus symbol to indicate <em>red without spots</em>.
Had this been software documentation, we might have been less than happy with this level of information. It may meet formal requirements, but is perhaps too idiosyncratic or esoteric.
153
153
</p>
154
154
<p>
155
-
Be that as it may, it's also possible to err to the other side.
155
+
Be that as it may, it's also possible to err on the other side.
156
156
</p>
157
157
<p>
158
158
<imgsrc="/content/binary/Tile5-doc.jpg" alt="The back of a tile, this time with an almost one-to-one replica of the picture on the front." width="200">
And if your language doesn't natively support sum types, you can <ahref="/2018/06/25/visitor-as-a-sum-type">emulate them with the Visitor design pattern</a>.
289
289
</p>
290
290
<p>
291
-
You can, in fact, do some <ahref="" reminder="GDP">quite sophisticated tricks even with .NET's type system</a>.
291
+
You can, in fact, do some <ahref="/2025/02/03/modelling-data-relationships-with-c-types">quite sophisticated tricks even with .NET's type system</a>.
0 commit comments