<div dir="ltr"><div style="" class="markdown-here-wrapper"><blockquote style="margin:1.2em 0px;border-left:4px solid rgb(221,221,221);padding:0px 1em;color:rgb(119,119,119);quotes:none">
<p style="margin:1.2em 0px!important">Also, a set of deeper questions could be asked, if you can forgive me this<br>daydreaming..</p>
<p style="margin:1.2em 0px!important">If we follow the spirit of self-defined languages (won’t name them):</p>
<ol style="margin:1.2em 0px;padding-left:2em">
<li style="margin:0.5em 0px"><p style="margin:1.2em 0px!important;margin:0.5em 0px!important">does it make sense to “open up” the process of derivation?</p>
</li>
<li style="margin:0.5em 0px"><p style="margin:1.2em 0px!important;margin:0.5em 0px!important">what prevents us from describing derivations as a functional transformation?</p>
</li>
<li style="margin:0.5em 0px"><p style="margin:1.2em 0px!important;margin:0.5em 0px!important">what is the possible language for these — TH? something else?</p>
</li>
</ol>
</blockquote>
<p style="margin:1.2em 0px!important"><a href="https://wiki.haskell.org/GHC.Generics">https://wiki.haskell.org/GHC.Generics</a>?</p>
<div title="MDH:PHNwYW4gc3R5bGU9IndoaXRlLXNwYWNlOiBwcmU7Ij4mZ3Q7IEFsc28sIGEgc2V0IG9mIGRlZXBl
ciBxdWVzdGlvbnMgY291bGQgYmUgYXNrZWQsIGlmIHlvdSBjYW4gZm9yZ2l2ZSBtZSB0aGlzPGJy
PiZndDsgZGF5ZHJlYW1pbmcuLjxicj4mZ3Q7IDxicj4mZ3Q7IElmIHdlIGZvbGxvdyB0aGUgc3Bp
cml0IG9mIHNlbGYtZGVmaW5lZCBsYW5ndWFnZXMgKHdvbid0IG5hbWUgdGhlbSk6PGJyPiZndDsg
PGJyPiZndDsgIDEuIGRvZXMgaXQgbWFrZSBzZW5zZSB0byAib3BlbiB1cCIgdGhlIHByb2Nlc3Mg
b2YgZGVyaXZhdGlvbj88YnI+Jmd0OyA8YnI+Jmd0OyAgMi4gd2hhdCBwcmV2ZW50cyB1cyBmcm9t
IGRlc2NyaWJpbmcgZGVyaXZhdGlvbnMgYXMgYSBmdW5jdGlvbmFsIHRyYW5zZm9ybWF0aW9uPzxi
cj4mZ3Q7IDxicj4mZ3Q7ICAzLiB3aGF0IGlzIHRoZSBwb3NzaWJsZSBsYW5ndWFnZSBmb3IgdGhl
c2UgLS0gVEg/IHNvbWV0aGluZyBlbHNlPzxicj48YnI+PGJyPmh0dHBzOi8vd2lraS5oYXNrZWxs
Lm9yZy9HSEMuR2VuZXJpY3MgPzwvc3Bhbj4=" style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0em;padding:0;margin:0">​</div></div></div><div class="gmail_extra"><br><div class="gmail_quote">2015-11-17 10:50 GMT+01:00 Kosyrev Serge <span dir="ltr"><<a href="mailto:skosyrev@ptsecurity.com" target="_blank">skosyrev@ptsecurity.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">"Alberto G. Corona " <<a href="mailto:agocorona@gmail.com">agocorona@gmail.com</a>> writes:<br>
> Hi Will,<br>
> Right, I'm not an expert on low level things, but yes, each memory<br>
> page can cache a different vector and even can work faster. Specially<br>
> if the algoritm uses a few fields of a large structure. I was wrong on<br>
> that.<br>
><br>
> But anyway, Unboxed need more native support to give Haskell more<br>
> credibility in performance critical problems. Now it has some<br>
> conversion overhead for user defined data. That may be optimized away<br>
> but the whole thing is second class, via an instance instead of a<br>
> language feature.<br>
><br>
> Maybe automatic deriving Unboxed instances can be the right compromise<br>
<br>
Given how the imagination immediately suggests that:<br>
<br>
  1. performance nuances dictated by the context might suggest different<br>
     preferences for Unboxed encodings..<br>
<br>
  2. and, on the other hand, given the undesirability of always engaging<br>
     oneself into full-blown instance definition -- for various reasons..<br>
<br>
..it suggests that a language feature would be helpful, that would allow<br>
to gradually inform the derivation GHC makes, without fully engaging into<br>
specifying complete details.<br>
<br>
Can we imagine that a derivation could proceed, for example, from:<br>
<br>
  - a /subset/ of minimal typeclass definition, or alternatively<br>
  - direct parameters<br>
<br>
..?<br>
<br>
Also, a set of deeper questions could be asked, if you can forgive me this<br>
daydreaming..<br>
<br>
If we follow the spirit of self-defined languages (won't name them):<br>
<br>
 1. does it make sense to "open up" the process of derivation?<br>
<br>
 2. what prevents us from describing derivations as a functional transformation?<br>
<br>
 3. what is the possible language for these -- TH? something else?<br>
<span class="HOEnZb"><font color="#888888"><br>
<br>
--<br>
с уважениeм / respectfully,<br>
Косырев Сергей<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">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>
</font></span></blockquote></div><br></div>