<div>On Mon, Mar 30, 2009 at 3:54 PM, Lennart Augustsson <span dir="ltr"><<a href="mailto:lennart@augustsson.net">lennart@augustsson.net</a>></span> wrote:</div>
<div class="gmail_quote">
<div> </div>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">I wasn't questioning the utility of John's library.
<div>But I saw him mentioning unary numbers and I think it's a mistake to</div>
<div>use those for anything practical involving even moderately sized</div>
<div>numbers.</div></blockquote>
<div> </div>
<div>
<div>Completely agreed. =)</div>
<div> </div>
<div>
<div>I only popped in because it seemed that between your response and Jose's the conversation seemed likely to devolve into an interpretation of what he was trying to do as 'just another type level number lib' and I wanted to steer things in a more productive direction.</div>
</div>
<div> </div></div>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid"><span id=""></span>
<div>I'd love to see a good type level programming library. There's a lot</div>
<div>of it out there, but it's never packaged in a way that is reusable as</div>
<div>a good library.</div></blockquote>
<div> </div>
<div>
<div>I started trying to package a bunch of this stuff up a year or two back, and just basically lost the will to finish because it was just too tedious to use with fundeps. </div></div>
<div> </div>
<div>Even if the lack of polymorphic kinds seems to force it into a very 'pointful' style of programming, I'd be curious to see how far it could be taken.</div>
<div> </div>
<div>-Edward Kmett </div></div>