Select Page

PL Perspectives

Perspectives on computing and technology from and for those with an interest in programming languages.
A DSL for Implementing Math Functions

A DSL for Implementing Math Functions

Numerical code needs to carefully balance accuracy and performance. A new DSL, MegaLibm, makes this easier by checking for numerical correctness and offering flexible compilation to efficient code. By reconceptualizing classic numerical techniques like polynomial approximation and range reduction as type-theoric operations like casts and binding operators, MegaLibm makes numerical code composable, and its ability to plug in mathematical an numerical tools (like Sollya) makes it easier and safer to write such code.

Read more...