<div dir="ltr">I was thinking typed LLVM.</div><br><div class="gmail_quote"><div dir="ltr">On Fri, Oct 5, 2018 at 3:46 PM MarLinn <<a href="mailto:monkleyon@gmail.com">monkleyon@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
> You'd probably want an ABI for types, no? You'd need a new executable<br>
> format (among many other things!).<br>
><br>
> The question is: would it be worth it? Types are wonderful in Haskell<br>
> because they allow us to structure our programs. What would structuring<br>
> processes via types accomplish? It would improve the situation with<br>
> shell scripting/pipes as you allude, but that's still an immense amount<br>
> of effort.<br>
<br>
Now that I think about it… having something like an ABI or a "Haskell <br>
binary format" with types in it might indeed be useful in more cases <br>
than this one.<br>
<br>
It seems when a Haskell projects gets a bit larger people tend to search <br>
for ways to make it more modular. They try plugin frameworks, OS-level <br>
dynamic linking, on-the-fly compilation etc. But I repeatedly get the <br>
feeling that all these current approaches aren't actually very good. But <br>
what if we had some kind of specialized format for compiled, dynamically <br>
loadable, typed Haskell libraries? Something between a plain OS library <br>
and bytecode. This might help make programs more modular while keeping <br>
them type safe.<br>
<br>
One thing that might be useful to add next would be some kind of <br>
centralized registry of types, so that a plugin/library could extend the <br>
ways the system could be extended.<br>
<br>
And going along this line of thought even further leads to… uhm… oh.    OH.<br>
<br>
Ok, so, it's the month of Halloween, right?<br>
<br>
Because… OSGi, but in Haskell.<br>
<br>
Well, maybe there's some sane point in between?<br>
<br>
Cheers,<br>
MarLinn<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<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>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>brandon s allbery kf8nh</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a></div></div></div></div></div>