[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hi, Collection types, typically monadic, were instrumental in the development of 'functional query languages'. This line of work started in the early 90s and a classical paper is Tannen, Buneman, and Wong's "Naturally Embedded Query Languages": http://repository.upenn.edu/cgi/viewcontent.cgi?article=1536&context=cis_reports Such languages continue to be proposed as interfaces for big-data systems like MapReduce: http://cacm.acm.org/magazines/2011/4/106584-a-co-relational-model-of-data-for-large-shared-data-banks/fulltext The implications of other type-theoretic constructions to information management are topics of current research. Regards, Ryan On Oct 28, 2013, at 7:09 AM, Dr. Rod Moten <[email protected]> wrote: > [ The Types Forum, 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/ >
