GHC Haskell lets you implement that as a normal library: https://nikita-volkov.g... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

floatboth on April 27, 2017 | parent | context | favorite | on: Ada: a C Developer's Perspective

GHC Haskell lets you implement that as a normal library: https://nikita-volkov.github.io/refined/

Hopefully Rust will get type-level numbers and stuff someday :)

steveklabnik on April 27, 2017 [–]

See https://github.com/rust-lang/rfcs/pull/1931 and https://internals.rust-lang.org/t/lang-team-minutes-const-ge...

> We believe that we can have an RFC accepted and const generics available on nightly by the end of 2017. :tada:

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact