Skip to main content

Home/ Arquitectura?/ Group items tagged union

Rss Feed Group items tagged

Filter: All | Bookmarks | Topics Simple Middle
Pablo Lalloni

Unboxed union types in Scala via the Curry-Howard isomorphism | Chuusai - 0 views

www.chuusai.com/...scala-union-types-curry-howard

programming scala union types type-systems

shared by Pablo Lalloni on 08 Mar 13 - No Cached
  • Pablo Lalloni on 08 Mar 13
     
    Gran artículo!
Pablo Lalloni

bandicoot - having fun with structured data - 0 views

bandilab.org

programming data sets relational development tools data-services persistence languages

shared by Pablo Lalloni on 19 Mar 13 - No Cached
  • Pablo Lalloni on 19 Mar 13
     
    "Bandicoot is an open source programming system with a new set-based programming language, persistency capabilities, and run-time environment. The language is similar to general purpose programming languages where you write functions/methods and access data through variables. Though, in Bandicoot, you always manipulate data in sets using a small set-based algebra (the relational algebra)." "Here are the main features:   - functions are automatically exposed via HTTP using CSV for data, e.g. /List, /Append  - supports persistency via global variables (with transactions and ACID)  - can run on multiple computers to scale up the read throughput  - built in operators from the relational algebra with a simple syntax, e.g. "+" (union), "-" (minus)  - small binary ~100KB"
1 - 2 of 2
Showing 20▼ items per page