Plavajoča vejica v čistem funkcijskem jeziku

LIST, IVO (author), Bauer, Andrej (mentor)

Opisana je plavajoča vejica, njena predstavitev, standarda IEEE 754, posebne vrednosti, načini zaokroževanja in nekateri problemi s katerimi se soočimo pri njeni implementaciji. Mednje sodita dilema izdelovalca tabel in problem povratnih pretvorb. Knjižnica Multiple Precision Floating-Point Reliable Library (MPFR) je implementacija plavajoče vejice s poljubno fiksno natančnostjo, ki jo želimo uporabiti v čistem funkcijskem jeziku. Predstavnik slednjega je Haskell in sledijo podrobnosti ene izmed njegovih implementacij -- GHC. Zaradi učinkovitosti je potrebno dobro razumevanje upravljanja s pomnilnikom in najnižjih stopenj prevajalnika. Z navedenim je izdelan vmesnik za MPFR v GHC-ju in predstavljena je njegova primerjava s C-jevo implementacijo.

• Language: Slovenian
• Keywords: plavajoča vejica, funkcijsko programiranje, Haskell, GHC, MPFR, C
• Work type: Undergraduate thesis
• Organization: FRI - Faculty of Computer and Information Science
• Year: 2016
• PID: 20.500.12556/RUL-83716
• Publication date in RUL: 23.06.2016

Secondary language

• Language: English
• Title: Floating point in a purely functional language

Abstract

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.

• Keywords: floating-point, functional programming, Haskell, GHC, MPFR, C