Информатика и вычислительная техника
  • формат pdf
  • размер 291.25 КБ
  • добавлен 09 марта 2011 г.
Launchbury J., Peyton-Jones S.L. Lazy Functional State Threads
John Launchbury and Simon L. Peyton Jones, Lazy Functional State Threads // In Programming Languages Design and Implementation. - ACM Press, 1993. - pp. 24-35.

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

Array references
Formal semantics
Other useful combinators
Related work
Похожие разделы
Смотрите также

Hughes J. The Design of a Pretty-printer Library

  • формат pdf
  • размер 331.67 КБ
  • добавлен 05 марта 2011 г.
Статья одного из пропагандистов ФП о разработке библиотеки комбинаторов вывода. Реализация осуществлена на языке Haskell. Краткое содержание: Introduction A Preview of the Pretty-printing Library Deriving Functional Programs from Specifications Designing a Sequence Type Implementing Monads Monads for Backtracking Specifying Pretty-printing Implementing Pretty-printing: A Term Representation Optimized Pretty-printing: A Term Representation A Con...

Loverdos C.K.K., Syropoulos A. Steps in Scala

  • формат pdf
  • размер 12.25 МБ
  • добавлен 05 декабря 2011 г.
CAMBRIDGE UNIVERSITY PRESS, 2010. - 485 p. - ISBN: 978-0-511-90054-9 Object-functional programming is already here. Scala is the most prominent representative of this exciting approach to programming, both in the small and in the large. In this book we show how Scala proves to be a highly expressive, concise, and scalable language, which grows with the needs of the programmer, whether professional or hobbyist. Read the book to see how to: - leve...

Meijer E., Fokkinga M., Paterson R. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire

  • формат pdf
  • размер 246.78 КБ
  • добавлен 09 марта 2011 г.
Erik Meijer and Maarten Fokkinga and Ross Paterson, Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. - Springer-Verlag, 1991. - pp. 124-144. Краткое содержание: Introduction The data type of lists Algebraic data types Recursion schemes Parametrized types Conclusion References

Nielson F., Nielson H.R. Two-Level Functional Languages

  • формат djvu
  • размер 1.48 МБ
  • добавлен 03 февраля 2012 г.
Издательство Cambridge University Press, 1992, -311 pp. The subject area of this book concerns the implementation of functional languages. The main perspective is that part of the implementation process amounts to making computer science concepts explicit in order to facilitate the application, and the development, of general frameworks for program analysis and code generation. This is illustrated on a specimen functional language patterned a...

Odersky M. Programming in Scala

  • формат pdf
  • размер 4.84 МБ
  • добавлен 28 ноября 2009 г.
Scala is an object-oriented programming language for the Java Virtual Machine. In addition to being object-oriented, Scala is also a functional language, and combines the best approaches to OO and functional programming. Programming in Scala is the definitive book on Scala, the new language for the Java Platform that blends object-oriented and functional programming concepts into a unique and powerful tool for developers. Coauthored by the desi...

Okasaki Chris. Purely Functional Data Structures

  • формат pdf
  • размер 614.14 КБ
  • добавлен 24 сентября 2010 г.
When a C programmer needs an efficient data structure for a particular problem, he or she can often simply look one up in any of a number of good textbooks or handbooks. Unfortunately, programmers in functional languages such as Standard ML or Haskell do not have this luxury. Although some data structures designed for imperative languages such as C can be quite easily adapted to a functional setting, most cannot, usually because they depend in cr...

Payne A. Programming Scala: Scalability = Functional Programming + Objects

  • формат pdf
  • размер 3.37 МБ
  • добавлен 25 декабря 2009 г.
Learn how to be more productive with Scala, a new multi-paradigm language for the Java Virtual Machine (JVM) that integrates features of both object-oriented and functional programming. With this book, you'll discover why Scala is ideal for highly scalable, component-based applications that support concurrency and distribution. Programming Scala clearly explains the advantages of Scala as a JVM language. You'll learn how to leverage the wealth o...

Peyton-Jones S., Bolingbroke M. Supercompilation by Evaluation

  • формат pdf
  • размер 315.49 КБ
  • добавлен 09 марта 2011 г.
Peyton-Jones S. , Bolingbroke M. Supercompilation by Evaluation // Second International Workshop on Metacomputation in Russia (META-2010), July 1-5, 2010, Pereslavl-Zalessky. My student Max Bolingbroke and I have been studying supercompilation, with a view to making GHC into a supercompiler. In this talk I'll describe various approaches that we have explored, and focus on the one we are pursuing right now. A well-known practical challenge in sup...

Pollak D. Beginning Scala

  • формат pdf
  • размер 9.25 МБ
  • добавлен 28 ноября 2009 г.
The open source Scala language is a Java–based dynamic scripting, functional programming language. Moreover, this highly scalable scripting language lends itself well to building Cloud–based/deliverable Software as a Service (SaaS) online applications. Written by Lift Scala web framework founder and lead Dave Pollak, Beginning Scala takes a down–to–earth approach to teaching Scala that leads you through simple examples that can be combined to 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...