Re: Static values language extension proposal

2014-01-29 Thread Mathieu Boespflug
Hi Austin, this is very useful information, thanks. So it seems that the rts linker is here to stay for a while longer still, at least because there is no good alternative on Windows as of yet. If I understand you correctly, on Windows dynamic linking is not an option in part because of the numbe

Re: Static values language extension proposal

2014-01-29 Thread Austin Seipp
Hello, I'd just like to say I haven't gone over every discussion in this thread and had time to digest it all - I thought I would just highlight a minor technicality. On Fri, Jan 24, 2014 at 11:19 AM, Facundo Domínguez wrote: > Looking up static references > > > `unstatic` i

Re: Static values language extension proposal

2014-01-29 Thread Mathieu Boespflug
Hi Eric, On Wed, Jan 29, 2014 at 3:20 AM, Erik de Castro Lopo wrote: > Mathieu Boespflug wrote: > >> thank you for the good points you raise. I'll try and address each of >> them as best I can below. >> >> > 0) I think you could actually implement this proposal as a userland >> > library, >> > a

Re: Static values language extension proposal

2014-01-29 Thread Mathieu Boespflug
Hi Carter, On Tue, Jan 28, 2014 at 6:03 PM, Carter Schonwald wrote: > Theres actually a missing piece of information in this thread: what are the > example computations that are being sent? Quite simply, the same as those considered in the original Cloud Haskell paper, that already advocates the

Re: Static values language extension proposal

2014-01-29 Thread Jost Berthold
On 01/28/2014 06:03 PM, Carter Schonwald wrote: Theres actually a missing piece of information in this thread: what are the example computations that are being sent? My understanding is that erlang has not way to send file handles, shared variables, Tvars, Mvars, memory mapped binary files, GPU c