Functional Logic Design Patterns

Antoy, Sergio; Hanus, Michael

doi:10.1007/3-540-45788-7_4

Cited by 38 publications

(44 citation statements)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Computing with failures is a typical programming technique and provides for specific programming patterns [6]. Hence, in contrast to functional programming, a failing computation should not abort the complete evaluation but it should be considered as some part of a computation that does not produce a meaningful result.…”

Section: The Basic Translation Schemementioning

confidence: 99%

“…In particular, they combine higher-order functions and demand-driven evaluation from functional programming with logic programming features like non-deterministic search and computing with partial information (logic variables). The combination of these features has led to new design patterns [6] and better abstractions for application programming, e.g., as shown for programming with databases [14,18], GUI programming [21], web programming [22,23,26], or string parsing [17].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

KiCS2: A New Compiler from Curry to Haskell

Braßel

Hanus

Peemöller

et al. 2011

Functional and Constraint Logic Programming

Self Cite

View full text Add to dashboard Cite

Abstract. In this paper we present our first steps towards a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. Our implementation is based on the idea to represent non-deterministic results as values of the data types corresponding to the results. This enables the application of various search strategies to extract values from the search space. We show by several benchmarks that our implementation can compete with or outperform other existing implementations of Curry.

show abstract

Section: The Basic Translation Schemementioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

KiCS2: A New Compiler from Curry to Haskell

Braßel

Hanus

Peemöller

et al. 2011

Functional and Constraint Logic Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…Modern languages of this kind [8,17,19] combine the concepts of demand-driven evaluation and higher-order functions from functional programming with logic programming features like computing with partial information (logic variables), unification, and nondeterministic search for solutions. This combination, supported by optimal evaluation strategies [1] and new design patterns [2], leads to better abstractions in application programs, e.g., as shown for programming with databases [3,6] or web programming [10,12,14]. The declarative multi-paradigm language Curry [8,17] is a functional logic language extended by features for concurrent programming.…”

Section: Functional Logic Programming and Currymentioning

confidence: 99%

“…This property of compositionality is particularly useful if one combines various UIs into complex web pages (see below). The use of free variables for fresh references in data structures is a specific functional logic design pattern called "locally defined global identifier" [2]. An alternative would be a global counter to create unique references that is threaded through the construction of the user interface.…”

Section: Examplesmentioning

confidence: 99%

Declarative Programming of User Interfaces

Hanus

Kluß

2008

Practical Aspects of Declarative Languages

Self Cite

View full text Add to dashboard Cite

Abstract. This paper proposes a declarative description of user interfaces that abstracts from low-level implementation details. In particular, the user interfaces specified in our framework are executable as graphical user interfaces for desktop applications as well as web user interfaces via standard web browsers. Thus, our approach combines the advantages of existing user interface technologies in a flexible way without demands on the programmer's side. We sketch an implementation of this concept in the declarative multi-paradigm programming language Curry and show how the integrated functional and logic features of Curry are exploited to enable a high-level implementation of this concept. MotivationThe implementation of a good user interface for application programs is a necessary but often non-trivial and tedious task. In order to support programmers in the implementation of user interfaces, one can find specific libraries that reflect different approaches to the construction of user interfaces. From a user's perspective, there are two kinds of user interfaces (UIs) that are currently the most important ones on conventional desktop computers:Graphical User Interfaces (GUIs): These are user interfaces that followed the early textual user interfaces on single host computers. GUIs enabled non-expert users to easily interact with application programs. They provide a good reaction time (since they run on the local host) and are relatively easy to install as any other program, i.e., usually they are distributed with the executable of the application program. On the negative side, application programs with GUIs require some installation efforts if many users want to use them on their desktops, because one has to install them on all desktops that might have different configurations or operating systems. Moreover, they are difficult to maintain during their life time since updates must be performed on all existing installations. Web User Interfaces (WUIs):These are user interfaces that became popular with the world-wide web and its opportunities for user interaction via dynamic web pages. In this case, the application runs on a web server and the user interacts with the application via a standard web browser. Thus, applications with WUIs are relatively easy to install for many users since every single user needs only a web browser on ⋆ This work was partially supported by the German Research Council (DFG) under grant Ha 2457/5-2.his local host (which is usually already installed). Moreover, such applications are easy to maintain since one has to update the central installation on the web server only. On the negative side, WUIs have a moderate reaction time (since the web server is contacted for every state-changing interaction) and a complete application is more difficult to install on a single host (since one has to install and configure a web server).A few years ago, there was also another important difference between GUIs and WUIs: the model of interaction. In application with GUIs, the user could immediately cha...

show abstract

“…In particular, predicates and functions must have distinct modes so that their arguments are either ground or unbound at call time. This inhibits the application of typical logic programming techniques, like computation with partially instantiated structures, so that some programming techniques developed for functional logic programming languages [11,43,44] can not be applied. This condition has been relaxed in the language HAL [33] which adds constraint solving possibilities.…”

Section: Introductionmentioning

confidence: 99%

Multi-paradigm Declarative Languages

Hanus¹

Logic Programming

Self Cite

View full text Add to dashboard Cite

Abstract. Declarative programming languages advocate a programming style expressing the properties of problems and their solutions rather than how to compute individual solutions. Depending on the underlying formalism to express such properties, one can distinguish different classes of declarative languages, like functional, logic, or constraint programming languages. This paper surveys approaches to combine these different classes into a single programming language.

show abstract

Functional Logic Design Patterns

Cited by 38 publications

References 32 publications

KiCS2: A New Compiler from Curry to Haskell

KiCS2: A New Compiler from Curry to Haskell

Declarative Programming of User Interfaces

Multi-paradigm Declarative Languages

Contact Info

Product

Resources

About