Questions about Rich Hickey's comments on static types

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

    A functional effect and streaming system for Clojure/Script

  • Agree - mostly the opinions are just dated, in 2005-2012 the pure FP world (especially Scala) was in rough shape but then in 2018 Maybe Not (the really controversial talk about "Maybe Sheep") it didn't seem like he had taken the time to understand haskell. I would love to see how his opinions have evolved since then, in the 2017 interview with fogus he said "If I had more free time, I’d spend it with Haskell". Haskell has especially come a long way in 2018-2022 with the popularization of functional effect systems which are extraordinarily powerful; for example https://github.com/leonoel/missionary (2020-2022) is the best Clojure effect system and is a leap forward over core.async (2013), but that 9 year difference is a lifetime in CS

  • orchestra

    Complete instrumentation for clojure.spec (by jeaye)

  • That said, I still think Clojure would be stronger with some kind of static checking. When working in hairier pieces of code, I tend to use orchestra to instrument my functions as a sort of crude type checking. It's not static and it's not foolproof, but it's better than nothing. I'm very much excited by the new frontiers Typescript has opened up in structural static type checking, and I'm hopeful that type theory researchers will come up with something one day that's a better fit for Clojure. Alas, we do not yet live in that future.

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

    An optional type system for Clojure

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

  • Humble Chronicles: Managing State with Signals

    4 projects | /r/Clojure | 16 May 2023
  • Is there a reframe/cljfx-like subscription/memoization-context library available?

    11 projects | /r/Clojure | 20 Feb 2023
  • Comparison of manifold and clojure.core.async

    3 projects | /r/Clojure | 9 Jan 2023
  • Is there a general IO library built to work with core.async?

    2 projects | /r/Clojure | 30 Dec 2022
  • Structuring Clojure Applications

    3 projects | news.ycombinator.com | 19 Dec 2022