Scala refinement-types

Open-source Scala projects categorized as refinement-types

Scala refinement-type Projects

refinement-types
  • refined

    Refinement types for Scala

    Project mention: Make Invalid States Unrepresentable | dev.to | 2024-02-02

    Scala has quite good support for refined types across multiple libraries. A solution using the refined library might look something like

  • 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.

    InfluxDB logo
  • iron

    Strong type constraints for Scala (by Iltotore)

    Project mention: Make Invalid States Unrepresentable | dev.to | 2024-02-02

    Scala has quite good support for refined types across multiple libraries. A solution using the refined library might look something like

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Scala refinement-types discussion

Log in or Post with

Scala refinement-types related posts

  • Make Invalid States Unrepresentable

    2 projects | dev.to | 2 Feb 2024
  • Does the fthomas/refined library work differently in Scala 3?

    3 projects | /r/scala | 20 Jun 2023
  • Type erased on implicit evidence check

    1 project | /r/scala | 28 Apr 2023
  • Design by contract - Preconditions and Postconditions - I'm really amazed with Scala.

    4 projects | /r/scala | 2 Mar 2023
  • Restrict uses of annotation in Scala

    2 projects | /r/scala | 20 Feb 2023
  • Cross-Training to Ada - which are the best languages to begin from?

    1 project | /r/ada | 25 Jan 2023
  • Can types replace validation?

    2 projects | /r/programming | 28 Aug 2022
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 25 Jun 2024
    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 →

Index

Project Stars
1 refined 1,692
2 iron 423

Sponsored
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.
www.influxdata.com

Did you konow that Scala is
the 37th most popular programming language
based on number of metions?