<div class="gmail_quote">On Fri, Jul 16, 2010 at 1:26 PM, Simon Marlow <span dir="ltr"><<a href="mailto:marlowsd@gmail.com">marlowsd@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On 15/07/2010 23:53, Bryan O'Sullivan wrote:<br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
On Thu, Jul 15, 2010 at 9:01 PM, Don Stewart <<a href="mailto:dons@galois.com" target="_blank">dons@galois.com</a><br></div><div class="im">
<mailto:<a href="mailto:dons@galois.com" target="_blank">dons@galois.com</a>>> wrote:<br>
<br>
Things we might realistically propose to add for 2011.1<br>
<br>
New capabilities:<br>
* Binary parsing: binary + cereal ?<br>
<br>
<br>
Why both? Their parallel existence and purpose is already confusing,<br>
without blessing the two :-)<br>
</div></blockquote>
<br>
Right, if there are are two competing libraries and it's not clear which one is best, that's a sign that we shouldn't put either in the platform until the differences are resolved. Fight it out and get back to us when you have an answer :-)</blockquote>
<div><br></div><div>Lennart has added a continuation based interface, on top of which the current lazy interface is implemented. The continuation based interface supports a strict interface, with error checking. Whenever that interface is released binary should subsume cereal.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
* Unicode: text<br>
<br>
Abstain :-) I will observe that it needs a tiny bit more API<br>
stabilisation, but that's almost done.<br>
</blockquote>
<br></div>
+1<br></blockquote><div><br></div><div>I want to see this in HP too but I'll wait until Bryan thinks it's ready.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
* Vectors: vector<br>
<br>
Definitely want.<br>
</blockquote>
<br>
+1<br></blockquote><div><br></div><div>+1 </div></div>