Extensions: A Technique for Structuring Functional-Logic Programs

Authors:
Rafael Caballero;Francisco Javier López-Fraguas
Affiliations:
-;-
Venue:
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Year:
1999

Citing 8
Cited 1

Comprehending monads

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
The essence of functional programming

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Imperative functional programming

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A needed narrowing strategy

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Demand Driven Computation Strategy for Lazy Narrowing

PLILP '93 Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming
Monads for Functional Programming

Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text
Definitional Trees

Proceedings of the Third International Conference on Algebraic and Logic Programming
Declarative Programming in Escher

Declarative Programming in Escher

New functional logic design patterns

WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming technique that constitutes an alternative to monads in several situations. Extensions permit the definition of easily reusable functions in the same way as monads, but are based on simpler concepts taken from logic programming, and hence they lead to more appealing and natural definitions of types and functions. Moreover, extensions are compatible with interesting features typical of logic programming, like multiple modes of use, while monads are not.