[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
> On Mar 20, 2018, at 6:49 AM, Neel Krishnaswami <[email protected]> wrote:
>
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>
> On 19/03/18 13:52, Zachary Palmer wrote:
>> The first is prior work involving typed function destructors other than application. Cloud Haskell seems close, as the runtime essentially allows a restricted form of transmission of lambdas over a network and that requires the closures to be serialized. I can't help but think, though, that there's some core theory I'm missing on the topic. Is anyone familiar with any work of that sort?
>
> I do not know what a "function destructor" is, but the theoretical
> account of the ability to send functions over the network that is
> closest to what Cloud Haskell is doing is given in Tom Murphy's
> PhD thesis, "Modal Types for Mobile Code”
In the same spirit the work of Heather Miller et al. [1] relevant. It
explains the Scala support for Apache Spark (no worries, the paper does
contain theoretical material), which sends closures to large sets of
data in large clusters of computers.
— Matthias
[1] https://www.cambridge.org/core/journals/journal-of-functional-programming/article/programming-model-and-foundation-for-lineagebased-distributed-computation/B410CE79B21E33462843B408B716E1E5
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.