Аннотация к книге "Typing Polymorphic Relational Operators. Extending a Functional Language Core with Polymorphic Record Operations"
The overarching goal of the current book is to pave the road towards a comprehensive solution to the decades old problem of integrating databases and programming languages. For this purpose, we propose a record calculus as an extension of an ML-style functional programming language core that is powerful enough to allow type inference for user-defined polymorphic relational operators. The type system described in the book allows the definition and typing of standard relational operators like join, project, divide, restrict, and others in a flexible, polymorphic way.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
Шведский писатель, не признанный в своей стране, эмигрирует в Германию. Там ему предлагают написать брошюру о литературном климате его отечества. Писатель отвечает на письмо, и вскоре оправданная и справедливая обида на шведских критиков переходит в неоправданную и несправедливую ненависть ко всей стране. Герой начинает подозревать, что весь мир состоит в заговоре против него.
Издательство:
Рипол Классик
Дата выхода: январь 2019
Оставить комментарий