21 Jun 2025
Is TypedClojure flexible enough for this?
19 Jun 2025
Dynamic typing has no place they say, static typing reigns supreme they say!
Challenge: Encode an invertible matrix in your favorite static type system so the compiler enforces det≠0 and guarantees invertibility at compile time.
3
227
15 Feb 2023
Bem, pra mim a única forma de
"trabalhar com sanidade em uma liguagem que não é tipada" é
Adicionando tipos 🤷🏾♂️
Não é a toa que TS é o que é,que python tem suporte a tipos, e mesmo na comunidade Clojure que é religiosamente defensora do tipagem dinamica, nasceu o TypedClojure
15 Feb 2023
Eai, bora falar de funcional? (enquanto eu reclamo que o GithubCopilot fica dando spoiler do vídeo)
Manda RT pra mais gente ver ❤️😍
#JS #TS #Clojure #DevSoutinho
youtu.be/V0itE71YZdo
1
9
833
型付きの clojure。 / “GitHub - typedclojure/typedclojure: An optional type system for Clojure” htn.to/23YphpgxWJ
1
8
12 Apr 2022
Typed Clojure 1.0.27 - Check your programs without depending on typedclojure! patreon.com/posts/65065388
2
2
24
8 Apr 2022
Extensive improvements in @TypedClojure 1.0.26, including support for `reify` (clj), `satisfies?` (clj, `defprotocol` (cljs)
patreon.com/posts/64869793
1
2
25 Mar 2022
4
22
27 Sep 2021
Typed Clojure、遠い昔に投げ銭して以来存在を忘れてたけど今も開発が続いてるっぽい 👀
» typedclojure/typedclojure: An optional type system for Clojure github.com/typedclojure/type…
3
2 Aug 2021
New @typedclojure error messages--destructuring is now a first-class concept!
Old: Polymorphic static method clojure.lang.RT/nth could not be applied to arguments
New: The type `(t/HSet #{:foo})` cannot be destructured via syntax `[a]`
patreon.com/posts/54411134
2
3
24 Jul 2021
New @typedclojure typing rule for clojure.core/let to enable more helpful error messages patreon.com/posts/54071427
2
7
27 Jul 2020
Is TypedClojure superset of #Clojure? Is it designed in similar way Typescript and JavaScript works?
1
4
5 Apr 2020
Hi @bbrinck thanks for your financial contribution to @typedclojure opencollective.com/typedcloj… 🎉😊
1
4
This week I interviewed the only person with three degrees in @TypedClojure: @ambrosebs
therepl.net/episodes/28/
4
11
16 Jul 2019
I just applied for @cljtogether funding to improve type inference in @TypedClojure using symbolic execution. Applications due 17 July!
My app: gist.github.com/frenchy64/68…
6
31
6 Apr 2019
Bite-sized highlight reel for our latest @TypedClojure paper patreon.com/posts/highlight-…
4
7
9 Nov 2018
If you're a superfan, you can now support my work on @TypedClojure on Patreon. I plan on enjoying myself and rediscovering why I started in the first place--no more big crowdfunds and ridiculously high expectations. Sound fun? Pull up a seat and order a fn patreon.com/ambrosebs
9
12
20 Sep 2018
New blog post -- The Road to @TypedClojure 1.0: Part 1
frenchy64.github.io/2018/09/…
9
14
