<div dir="ltr">A buildt-in derivation of the Storable instance would be the solution for the problem. Perhaps a meaningful summer of code project?</div><div class="gmail_extra"><br><div class="gmail_quote">2015-11-12 20:38 GMT+01:00 William Yager <span dir="ltr"><<a href="mailto:will.yager@gmail.com" target="_blank">will.yager@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Also see <a href="https://hackage.haskell.org/package/vector-0.11.0.0/docs/Data-Vector-Storable.html" target="_blank">https://hackage.haskell.org/package/vector-0.11.0.0/docs/Data-Vector-Storable.html</a></div><div class="gmail_extra"><br><div class="gmail_quote"><div><div class="h5">On Thu, Nov 12, 2015 at 11:49 AM, Alberto G. Corona <span dir="ltr"><<a href="mailto:agocorona@gmail.com" target="_blank">agocorona@gmail.com</a>></span> wrote:<br></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5"><div dir="ltr">Looking at this:<div><br></div><div><a href="https://downloads.haskell.org/~ghc/6.12.3/docs/html/users_guide/primitives.html" target="_blank">https://downloads.haskell.org/~ghc/6.12.3/docs/html/users_guide/primitives.html</a></div><div><br></div><div>It seems that it is impossible to manage data in Haskell within a core without L1 cache faults. Except for unboxed arrays of primitive types.</div><div><br></div><div>Since it is impossible to have unboxed arrays of user-defined types.</div><div><br></div><div>Am I right?</div><div><br></div><div>This is definitively very bad for tasks that are inherently single threaded and in general for the image of Haskell as a practical language.</div><div><br></div><div>I have more to say about that, but I would like to know first if I´m right and second If there is some idea to going on to permit user defined boxed datatypes.  Or if there is some low level trick for having it using foreign call and unsafeCoerce in some way,</div><div><br></div><div>I know that the language ATS has unboxing a la carte....<span><font color="#888888"><br clear="all"><div><br></div>-- <br><div>Alberto.</div>
</font></span></div></div>
<br></div></div><span class="">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
<br></span></blockquote></div><br></div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature">Alberto.</div>
</div>