<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">I’ve updated my strong type-alias proposal at <<a href="https://gist.github.com/CTMacUser/c493f775075e946efdcfd85d38473291" class="">https://gist.github.com/CTMacUser/c493f775075e946efdcfd85d38473291</a>>. There’s 3 revisions instead of 2 because I missed a big error.</div><div class=""><br class=""></div><div class="">* I removed all the state-restriction stuff (but still noted as a possible future direction). Besides removing a lot of text, it also means that a strong alias of an enumeration must publish all the cases.</div><div class="">* Rearranged some text, screwing up the diff some more.</div><div class="">* Added the concept of an implementation initializer, as the default way to convert from the original type to the alternative.</div><div class="">* Casts between alternative types and/or their original type all use unconditional-as.</div><div class="">* Added “AlternativeStats” generic type to contain type-aliases to the original type and conversion functions without having to name that original type.</div><br class=""><div class="">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">— </div><div class="">Daryle Walker<br class="">Mac, Internet, and Video Game Junkie<br class="">darylew AT mac DOT com </div></div>
</div>
<br class=""></body></html>