Kiselyov O. Strongly Typed Heterogeneous Collections

формат pdf
размер 165.89 КБ
добавлен 09 марта 2011 г.

A shorter version of this paper appeared in the proceedings of the ACM SIGPLAN Haskell Workshop 2004, September 22, 2004, Snowbird, Utah, USA, Published by ACM Press. This longer version provides several appendices and some extra paragraphs.

Краткое содержание:

Introduction
Not so strongly typed collections
Typeful heterogeneous lists
Numeral-based access operations
Extensible records
Type-based access operations
Type-indexed products
Database programming
By chance or by design?
Related work
Conclusion
References
Some trivial list-processing operators
A heterogeneously typed fold operator
Type-indexed co-products
Generic type unification cont’d

Похожие разделы

Смотрите также

Martin Odersky, Lex Spoon, Bill Venners. Programming in Scala. 2nd edition

формат pdf
размер 21.06 МБ
добавлен 25 февраля 2011 г.

2e издание декабря 2010 года. Известная книга Мартина Одерски по наиболее прогрессивному в наше время функциональному языку Scala. 879 стр. Язык: английский. Overview. Contents. List of Figures. List of Tables. List of Listings. Foreword. Foreword to the First Edition. Acknowledgments. Introduction. - A Scalable Language. - First Steps in Scala. - Next Steps in Scala. - Classes and Objects. - Basic Types and Operations. - Functional Objects. - Bu...

Subramaniam V. Programming Scala.Tackle multi-core complexity on the Java Virtual Machine

формат pdf
размер 3.5 МБ
добавлен 28 ноября 2009 г.

The increasing popularity and availability of multicore processors is creating a whole new set of challenges--although you can enjoy true concurrency, you're now faced with higher contention and synchronization issues. Deploying an existing application on a multicore processor may bring out previously hidden concurrency issues. Java's multi-threading facility by itself isn't enough---it's a very low level abstraction. Instead, you need a paradigm...