[ 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/> >
