Информатика и вычислительная техника
  • формат pdf
  • размер 331.67 КБ
  • добавлен 05 марта 2011 г.
Hughes J. The Design of a Pretty-printer Library
Статья одного из пропагандистов ФП о разработке библиотеки комбинаторов вывода. Реализация осуществлена на языке Haskell.

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

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 Context-passing Pretty-printer
A Comparison with Oppen's Pretty-printer
The Optimised Pretty-printing Library
Похожие разделы
Смотрите также

Curien P.-L. Categorical Combinators, Sequential Algorithms, and Functional Programmimg

  • формат djvu
  • размер 2.14 МБ
  • добавлен 12 октября 2011 г.
Издательство Birkh?user, 1993, -424 pp. The goal of this monograph is to give a concrete approach to the semantics of sequential programming languages, with application to the design and implementation of programming languages. Just as machines do not manipulate numbers, but representations of numbers, we do not present sets and functions, but concrete representations of these sets and functions. The motivation behind our constructions is to ens...

Halloway S. Programming Clojure

  • формат pdf
  • размер 1.61 МБ
  • добавлен 28 ноября 2009 г.
Clojure is a dynamic language for the Java Virtual Machine, with a compelling combination of features: Clojure is elegant. Clojure's clean, careful design lets you write programs that get right to the essence of a problem, without a lot of clutter and ceremony. Clojure is Lisp reloaded. Clojure has the power inherent in Lisp, but is not constrained by the history of Lisp. Clojure is a functional language. Data structures are immutable, and funct...

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...

Launchbury J., Peyton-Jones S.L. Lazy Functional State Threads

  • формат pdf
  • размер 291.25 КБ
  • добавлен 09 марта 2011 г.
John Launchbury and Simon L. Peyton Jones, Lazy Functional State Threads // In Programming Languages Design and Implementation. - ACM Press, 1993. - pp. 24-35. Краткое содержание: Introduction Overview Array references Input/output Formal semantics Implementation Other useful combinators Related work Acknowledgements References Appendix

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...

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...