dissoc

In Clojure you can destructure a map using an arbitrary expression as the key.

Copilot coding agent is a service provided by GitHub that supervises Large Language Models within Actions runners to complete prompted coding tasks.

Syntax-quote in Clojure is an expressive reader macro for constructing syntax.

Some functions types in Clojure seamlessly handle infinite arguments, while others misuse them and freeze our programs.

“We need to show that off to the Scheme programmers.”

Using test assertions in a multithreaded test often seems to work by magic or silently break.

A program evolves to be more like itself.

Java 19 introduces “Virtual Threads”, which is a new kind of thread on the JVM.

some-fn and every-pred started life as single-line combinators proposed by Fogus, Christophe Grand and others: (defn every-pred [& preds] (fn [& args] (every?

I’d wager any Clojure programmer has come across CLJ-2525.

Does your macro provide & body arguments?

I recently added support for instrumenting defprotocol in Plumatic Schema.

In 2021, I proposed around a dozen patches to Clojure.

Over the last few months I’ve been building typed.clj/spec on top of spec-alpha2, the new and improved version of Clojure spec that Alex, Rich and others are building.

Recently, Jim Newton reached out to me to clarify a post he submitted to ClojureVerse.

Matthew Butterick’s Practical Typography is one of my favorite books.

Which set of features would deserve a 1.0 release for Typed Clojure?

This is a transcript of a PL Wonks lightning talk.

Our work in automatic annotations for clojure.spec uses aliases to create readable, compact, and useful specs.

This post describes how to generate specs for any Leiningen project.

David Foster published a thoughtful response to my previous post on unsoundness, vouching for unsound type systems as useful and worthy of research.

As part of my work on gradual typing for Typed Clojure, I used a different approach than Typed Racket in importing and exporting top-level defines.

This is an essay I wrote early-2016.

This is a transcript of a practice talk I gave for my Ph.D. qualifying exam.

Previously, we covered why automatic annotations are useful, and some basics underlying the infrastructure to perform automatic annotations.

We have covered some of the reasons why automatic annotations are useful in my previous post, now let’s build up the infrastructure necessary to perform it from scratch.

Annotations in Typed Clojure are essential, but tedious to write.

Today’s programming landscape is dynamic and polyglot.

An interesting aspect of type checking a Clojure dialect is dealing with host interop.

Typed Clojurescript is in early development, but it’s still fun to play around with.

I am crowdfunding towards 12 months of full-time Typed Clojure development.

I am crowdfunding 12 months of full time development on Typed Clojure.

The first stretch goal for the Typed Clojure campaign concentrates on a significant missing piece in JVM tooling: a self-hosted Clojure compiler, (aka. a Clojure compiler written in Clojure).

I’ve started a campaign to support full-time development on Typed Clojure and Clojurescript.

Assertions are a popular technique for runtime verification of Clojure code.

core.typed is intended to be used at the REPL for rapid feedback, however there are a few things to look out for.

When it comes to annotating functions in core.typed, there are some special rules to keep in mind.

Clojure’s emphasis on immutable bindings and data structures lead us to write simpler, more obvious code.