ePrints.FRI - University of Ljubljana, Faculty of Computer and Information Science

Floating point in a purely functional language

Ivo List (2016) Floating point in a purely functional language. EngD thesis.

Download (599Kb)


    The floating-point, its presentation, IEEE 754 standards, special values, rounding modes, and some problems with its implementation are presented: The Table Maker's Dilemma and Round-trip conversions. Arbitrary fixed precision floating-point is an extension of floating-point implemented in Multiple Precision Floating-Point Reliable Library (MPFR). Working towards an interface for a purely functional language, Haskell as a representative is introduced. For an efficient implementation good knowledge of one of its implementation -- GHC -- is needed, especially how memory management is done and how low-level stages of the compiler are implemented. Last, the interface for the GHC and its benchmark with C implementation is presented.

    Item Type: Thesis (EngD thesis)
    Keywords: floating-point, functional programming, Haskell, GHC, MPFR, C
    Number of Pages: 44
    Language of Content: Slovenian
    Mentor / Comentors:
    Name and SurnameIDFunction
    prof. dr. Andrej Bauer1359Mentor
    Link to COBISS: http://www.cobiss.si/scripts/cobiss?command=search&base=51012&select=(ID=1537008835)
    Institution: University of Ljubljana
    Department: Faculty of Computer and Information Science
    Item ID: 3364
    Date Deposited: 20 Jun 2016 16:19
    Last Modified: 30 Jun 2016 11:27
    URI: http://eprints.fri.uni-lj.si/id/eprint/3364

    Actions (login required)

    View Item