What is wrong?

Notice: Before sending an error with the download, please try the direct link first: Application Patterns in Functional Languages

Loading...

You must sign in to do that.

Forgot password?

Application Patterns in Functional Languages

Application Patterns in Functional Languages

Application Patterns in Functional Languages

Score: 10.00 | 1 vote
| Sending vote
| Voted!
|

Book Details:

pos
Global
pos
Category
Year:2005
Publisher:University of Twente
Pages:147 pages
Language:english
Since:12/05/2014
Size:668 KB
License:Pending review

Content:

Most contemporary pure functional languages provide support for patterns in function definitions. Examples of common patterns are the identifier, constant, tuple, list algebraic, n+k and as-pattern.

This thesis introduces a new kind of patterns, called application patterns. Such patterns consist of a function applied to arguments: they are of the form (f x1 ... xn). When such a pattern is matched against an actual argument, inverse functions are used to find the binding of variables to values. A theoretical framework is provided that accomodates for defining multiple generalized inverse functions (for returning different sets of arguments) for one function. These inverse functions can be available in the system, derived by the system or defined by the programmer. A notation is introduced so that in a definition’s left hand side identifiers can be used that are bound in the context. It is established that application patterns are universal in the sense that they include constant, tuple, list, algebraic, n+k and as-patterns.

This thesis describes an algoritm that translates functional program code with application patterns to program code without application patterns that can be run on an interpreter. It also provides a proof-of-concept implementation of this algoritm in a functional language.

Categories:

Tags:

Loading comments...

Scanning lists...

The book in numbers

global rank

online since

12/05/2014

rate score

5

votes

1

Social likes

Nothing yet...

Views

Downloads

This may take several minutes

Interest

Countries segmentation

This may take several minutes

Source Referers

Websites segmentation

evolution

This may take several minutes

Loading...