<feed xmlns='http://www.w3.org/2005/Atom'>
<title>go-gg/refined/value.go, branch refinement-types-2</title>
<subtitle>Generic Generics: My personal extension of std, with foundational generic types and net/http addons
</subtitle>
<link rel='alternate' type='text/html' href='http://git.xyrillian.de/go-gg/'/>
<entry>
<title>demonstration of refinement types without self-referential types</title>
<updated>2025-04-02T16:09:46+00:00</updated>
<author>
<name>Stefan Majewsky</name>
<email>majewsky@gmx.net</email>
</author>
<published>2025-04-02T16:09:46+00:00</published>
<link rel='alternate' type='text/html' href='http://git.xyrillian.de/go-gg/commit/?id=eab38629013e34b4490be4d665142a1357c97156'/>
<id>eab38629013e34b4490be4d665142a1357c97156</id>
<content type='text'>
The big "yuck" about this can be seen in the LiteralValue invocations in
the test code. Calling NewValue or LiteralValue is extremely convoluted
and would likely need to be wrapped through additional boilerplate at
the concrete type declaration site.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
The big "yuck" about this can be seen in the LiteralValue invocations in
the test code. Calling NewValue or LiteralValue is extremely convoluted
and would likely need to be wrapped through additional boilerplate at
the concrete type declaration site.
</pre>
</div>
</content>
</entry>
</feed>
