Use some kind of NaN-safe float in the parser / type-checker / ast.

emdash / udlang

A practical, functional language for stream processing.

GNU Lesser General Public License v3.0

1 stars 0 forks source link

Closed emdash closed 3 years ago

emdash commented 3 years ago

This will allow us to derive PartialOrd and Hash on the types used in the front-end, which is crucial for a number of reasons:

Allows for sharing values more efficiently, fewer allocations
Opens the door to clean up the API for the parser and type-checker Using NaN-safe floats in the runtime is probably also essential to avoid JS-like NaN propagation nightmares.