Re: [TYPES] type theory and Big Data

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

Hi,

I think so, though I don't accept the implicit premise of your question,
that type theory / type systems / PL concepts do not already play such a
role in databases / data analysis / big data (whatever that actually means
:).  A few illustrative data points, besides the work already mentioned by
others, include:

* Malcolm P. Atkinson and O. Peter Buneman. 1987. Types and persistence in
database programming languages. *ACM Comput. Surv.* 19, 2 (June 1987),
105-170.

* Language-integrated query (which as Ryan pointed out in part grows out of
work by Wadler, and later Buneman, Tannen on comprehensions, monads and
querying) http://en.wikipedia.org/wiki/Language_Integrated_Query

* The PLAN-X (programming languages and XML) workshop and DBPL (database
programming languages) symposium have many papers on the use of types for
databases:

http://www.informatik.uni-trier.de/~ley/db/conf/planx/
http://www.informatik.uni-trier.de/~ley/db/conf/dbpl/

* Recent / upcoming workshops where this type of work has been presented
include

- RADICAL 2010
http://research.microsoft.com/en-us/um/people/adg/RADICAL2010/
- XLDI in 2012 http://workshops.inf.ed.ac.uk/xldi2012/
- DDFP in 2013 http://research.microsoft.com/en-us/events/ddfp2013/
- DCP in 2014 http://research.microsoft.com/en-us/events/dcp2014/

--James





On Mon, Oct 28, 2013 at 11:09 AM, Dr. Rod Moten <[email protected]> wrote:

> [ The Types Forum, http://lists.seas.upenn.edu/**
> mailman/listinfo/types-list<http://lists.seas.upenn.edu/mailman/listinfo/types-list>]
>
> Do you think type theory has a role to play in providing the mathematics
> needed for Big Data?
> https://www.simonsfoundation.**org/quanta/20131004-the-**
> mathematical-shape-of-things-**to-come/<https://www.simonsfoundation.org/quanta/20131004-the-mathematical-shape-of-things-to-come/>
>