with Bernd Bra├čel and Frank Huch

  • WFLP ‘07: 16th Workshop on Functional and (Constraint) Logic Programming © Elsevier
  • pdf
  • slides
  • bib

Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. However, this basic design decision has many unfortunate consequences for all programs using numbers. We present an approach to model numbers in a declarative way and argue that the loss in efficiency is compensated by the newly gained possibilities. Functional logic languages benefit the most from this proposal because all the numeric operations become
fully narrowable. This enables the solving of simple equations on numbers in an efficient way without having to resort to external constraint solvers.

The presented approach can either be used as a library for purely declarative numbers or it can be employed as a basic data type of functional (logic) languages. Indeed, we have integrated the presented data structures as the only numbers available in our compiler for the functional logic language Curry and have experienced several months of satisfactory performance.