Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
Top 7 refinement-type Open-Source Projects
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
Deal
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Scala has quite good support for refined types across multiple libraries. A solution using the refined library might look something like
Project mention: Languages on the rise like Rust and Go are being quite vocal against inheritance and many engineers seem to agree. Is this the end of inheritance? What do you think? | /r/rust | 2023-07-04Right, the way to fix it is to use refinement types (such as flux for rust)
Scala has quite good support for refined types across multiple libraries. A solution using the refined library might look something like
refinement-types related posts
- Make Invalid States Unrepresentable
- Languages on the rise like Rust and Go are being quite vocal against inheritance and many engineers seem to agree. Is this the end of inheritance? What do you think?
- Does the fthomas/refined library work differently in Scala 3?
- Graydon Hoare: Batten Down Fix Later
- Flux is a refinement type checker for Rust
- How do I restrict a struct field to only have certain specific values
- Trying to find a crate that allows you to constrain the value of arguments in various ways via a proc macro
-
A note from our sponsor - InfluxDB
www.influxdata.com | 23 Apr 2024
Index
What are some of the best open-source refinement-type projects? This list will help you:
Project | Stars | |
---|---|---|
1 | ante | 1,827 |
2 | refined | 1,680 |
3 | liquidhaskell | 1,147 |
4 | Deal | 690 |
5 | flux | 548 |
6 | iron | 407 |
7 | phantom-types | 184 |
Sponsored