Hughes J. The Design of a Pretty-printer Library

Hughes J. The Design of a Pretty-printer Library
  • разное
  • pdf
  • 331.67 КБ
  • добавлен 05.03.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 Context-passing Pretty-printer
A Comparison with Oppen's Pretty-printer
Conclusions
References
The Optimised Pretty-printing Library

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


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

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

  • разное
  • djvu
  • 2.14 МБ
  • добавлен 12.10.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...
Launchbury J., Peyton-Jones S.L. Lazy Functional State Threads

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

  • разное
  • pdf
  • 291.25 КБ
  • добавлен 09.03.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...
Halloway S. Programming Clojure

Halloway S. Programming Clojure

  • разное
  • pdf
  • 1.61 МБ
  • добавлен 28.11.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...
Payne A. Programming Scala: Scalability = Functional Programming + Objects

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

  • разное
  • pdf
  • 3.37 МБ
  • добавлен 25.12.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.
Kiselyov O. Strongly Typed Heterogeneous Collections

Kiselyov O. Strongly Typed Heterogeneous Collections

  • разное
  • pdf
  • 165.89 КБ
  • добавлен 09.03.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...
Loverdos C.K.K., Syropoulos A. Steps in Scala

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

  • разное
  • pdf
  • 12.25 МБ
  • добавлен 05.12.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 scalab...