Home » forums » LtU Forum

Solving the dependency hell

In a nutshell, SPREAD solves the major problems we face when we try to manage Programs.

Solving the dependency hell

By Robbert van Dalen at 2012-10-26 09:34 | LtU Forum | previous forum topic | next forum topic | other blogs | 5000 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Vesta

Are you familiar with Vesta?

http://www.vestasys.org/

By Z-Bo at Fri, 2012-10-26 12:12 | login or register to post comments

yes, thanks for reminding me

I did research Vesta and yes, SPREAD is very much related. But I had dismissed Vesta years ago, because I didn't like the implementation.
But all the concepts found in Vesta equally apply to SPREAD. I will put a reference to Vesta on my blog.

SPREAD’s implementation will target a more optimal version of Vesta.
SPREAD will be build on top of a Uniquely Represented Immutable Data Structure (URIDS). With URIDS we get maximal structural sharing and fast equality (using hash-consing techniques)

By Robbert van Dalen at Fri, 2012-10-26 12:36 | login or register to post comments

i want this inside my code, not just outside

sorta in a Bret Victor vein.

By raould at Thu, 2012-11-01 19:48 | login or register to post comments

Finite higher-ordered binary relations

I've just finished a paper describing finite higher-ordered binary relations.

I'm not used to writing papers so please feel free to correct me on things.

By Robbert van Dalen at Fri, 2012-11-02 00:41 | login or register to post comments