What's the idiomatic way to think about type safety/domain modeling in Clojure?

This page summarizes the projects mentioned and recommended in the original post on /r/Clojure

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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • core.typed

    An optional type system for Clojure

  • gradual typing (spec/schema/malli) or actual type systems like https://github.com/clojure/core.typed . I don't use them too much though.

  • test.check

    QuickCheck for Clojure

  • Or make the change, test at the repl, and trace through isolated functions to ensure things look good. Clojure is still strongly typed, some classes of mismatches will trigger on code paths at runtime (typically class cast exceptions; NPEs might trigger due to nil punning being a common idiom). This requires exercising the system though, so regression tests (and ideally generative / property based testing https://github.com/clojure/test.check) can help suss out problems a-priori.

  • 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
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts