clj-kondo
core.typed
Our great sponsors
clj-kondo | core.typed | |
---|---|---|
19 | 5 | |
1,659 | 1,277 | |
0.4% | 0.0% | |
9.1 | 0.0 | |
6 days ago | over 2 years ago | |
Clojure | Clojure | |
Eclipse Public License 1.0 | Eclipse Public License 1.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
clj-kondo
-
Advent of Code Day 4
My best suggestion here would be clj-kondo with flycheck-clj-kondo in Emacs. I really can't recommend it enough and would have killed to have it when I was learning Clojure. Not only will it underline all of those references to (now) undefined vars, but it can tell you about numerous little mistakes like mixing up arguments orders in (say) sequence functions, misplaced docstrings that get discarded, style conventions, etc. It's staggering how good it is even for a language as dynamic as Clojure.
- Strong typing, a hill I'm willing to die on
- Clj-kondo: a static analyzer and linter for Clojure
-
What does bad code in Clojure look like?
The clj-kondo linters are worth reading.
-
The YAML Document from Hell
Sure!
Spec: https://github.com/edn-format/edn
Example (linter config): https://github.com/clj-kondo/clj-kondo/blob/634294183a0aa2ca...
-
The Joy of Static Analysis: automated Clojure code refactoring
Clj-kondo doesn't produce an AST but you could easily combine the analysis output with the AST produced by rewrite-clj by matching on location.
-
Can you use Clojure for mobile, backend, frontend, scripts, desktop, and embedded development?
But if you want full support, you can implement a hook: https://github.com/clj-kondo/clj-kondo/blob/master/doc/hooks.md
-
Wrote one of my first clojure programs (tic-tac-toe). Any constructive criticism would be greatly appreciated.
Please configure and use tools like clj-kondo and kibit. Kibit will report areas where you could write idiomatic clojure instead. Eg, it should catch all those (if (condition) true false) and ask you to replace it with (condition). Or if you really need a boolean value, use boolean to coerce it.
- Want to get into closure, but struck at practice
-
Are these problems something that Just Make Sense once I learn more, or what?
Try clj-kondo, a Clojure linter which will tell you about arity errors and more, before you even evaluate your code.
core.typed
-
Does Go Have Subtyping?
...and Typed Racket is a really powerful type system (see refinement types[4]). So, I thought it's just a matter of time for Clojure to get to that level of power and support. It should be much easier to do this to Clojure than to Ruby, given that you have a working example of how to do it well. So I'm really surprised Clojure isn't gradually typed by now, with most of the code being annotated and type-checked at compile time.
[1] https://github.com/clojure/core.typed
[2] https://github.com/typedclojure/typedclojure
[3] https://github.com/typedclojure/typedclojure/blob/main/examp...
[4] https://docs.racket-lang.org/ts-reference/Experimental_Featu...
-
What's the idiomatic way to think about type safety/domain modeling in 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.
-
Six years of professional Clojure development
Do you know about the Typed Clojure project? More or less Racket's contract system, for Clojure:
https://github.com/clojure/core.typed
To me, it's one of the great testaments to the power of Lisp that you can bolt on a static type system after the fact.
-
Is Clojure worth learning?
There's also https://github.com/clojure/core.typed Typed Clojure
What are some alternatives?
schema - Clojure(Script) library for declarative data description and validation
janet - A dynamic language and bytecode vm
immer - Postmodern immutable and persistent data structures for C++ — value semantics at scale
inspector - Turn Clojure specs into clj-kondo type annotations
truffleruby - A high performance implementation of the Ruby programming language, built on GraalVM.
web-development-with-clojure - Repository for the examples from the book Web Development with Clojure, 2nd edition
mun - Source code for the Mun language and runtime.
fastapi - FastAPI framework, high performance, easy to learn, fast to code, ready for production
deprecated-coalton-prototype - Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
Quarkus - Quarkus: Supersonic Subatomic Java.