Typed Clojure @TypedClojure
Official account for Typed Clojure, an optional type system for Clojure & Clojurescript typedclojure.org Joined October 2013-
Tweets154
-
Followers1K
-
Following1
-
Likes2
Typed Clojure update: Usability improvements for macros and inline fns patreon.com/posts/58083981
Exciting progress on a @TypedClojure typing rule for #clojure's `for` macro patreon.com/posts/51945257
New @typedclojure typing rule for clojure.core/let to enable more helpful error messages patreon.com/posts/54071427
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
Typed Clojure update June 15th 2020: Performance improvements (25%), async type rules patreon.com/posts/38246734
Announcing typed.clj/spec, a metalanguage for Clojure spec patreon.com/posts/typed-cl…
I just submitted a new @cljtogether application for typed.clj/spec. It outlines a couple of ideas I have for future work. gist.github.com/frenchy64/073c…
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/686f…
Hi @bbrinck thanks for your financial contribution to @typedclojure opencollective.com/typedclojure 🎉😊
[ANN] core.typed.checker.jvm 0.7.1 - split into more repos and some analyzer fixes groups.google.com/forum/#!topic/…
[Talk Slides] Typed Clojure: Wishful thinking (Clojure Conj 2018 Unsession) ambrosebs.com/talks/unsessio…
[ANN] core.typed 0.7.0 - split into smaller repos groups.google.com/forum/#!topic/…
[New paper draft] Squash the work! Inferring Recursive Type Annotations from Plain Data for Optional Type Systems frenchy64.github.io/papers/submitt… with @samth
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
[ANN] core.typed 0.6.0 - 30% faster analyzer, towards leaner runtime inspired by spec groups.google.com/forum/#!topic/…
New blog post -- The Road to @TypedClojure 1.0: Part 1 frenchy64.github.io/2018/09/20/tow…
core.typed 0.5.1: Improved auto-annotation performance (capable of WIP cljs.compiler types+specs), added auto-annotation test suite via CircleCI Workflows groups.google.com/forum/#!topic/…
core.typed 0.5.0: check-ns breaking change (transitive ns deps not checked), and moved to custom single-pass tools.analyzer fork groups.google.com/forum/#!topic/…
core.typed 0.3.32: lots of clojure.{set,repl...} core annotations annotations, thanks to @kvaravind! groups.google.com/forum/#!topic/… #clojure
core.typed 0.3.31 supports paired arguments by @xudifsd (hash-map 1 'a) :- (Map Int Sym) (hash-map 1) ; type error! groups.google.com/forum/#!topic/…
Bozhidar (Bug) Batsov @bbatsov
9K Followers 891 Following Hacker. Lover of parentheses. Emacs fanatic. Author of RuboCop, CIDER, Emacs Prelude and Projectile. Maintainer of nREPL. Not the best, but pretty good.
Eric Normand @ericnormand
8K Followers 569 Following Learn Clojure & Functional Programming ☞ https://t.co/oYnRibhoKr Author of Grokking Simplicity ☞ https://t.co/zPmPNRgOhK
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Tommi Reiman @ikitommi
2K Followers 670 Following Programmer, Clojurist, and has-been IT Architect. Into FP, clean & lean. Co-founder at @metosin.
Conrad Barski @lisperati
7K Followers 401 Following AI notkilleveryoneist • Medical Doctor • Land Of Lisp Author
Baptiste Dupuch @BaptisteDupuch
844 Followers 149 Following #clojure enthusiast | #clojuredart maintainer | Principal Consultant at https://t.co/GnBYqHrjd5
Rock the JVM @rockthejvm
10K Followers 259 Following Teaching #Scala, #Kotlin, #Spark, #Flink and tech on the JVM. 📹 Videos at https://t.co/1ODhzZCpb9 🔖 Articles at https://t.co/gK3x49Bxk5
The Little Lisper @thelittlelisper
4K Followers 146 Following Interested in Common Lisp and modern lisps like Clojure
David Hazel @dhz_david
41 Followers 294 Following Always experimenting, always growing, incrementally curious. Senior software developer. Husband. Doer of many things.
Red Beard @RedBeard_83_
1 Followers 71 Following
John Doe @ossk5500
9 Followers 1K Following
यूरेशिय... @ExNastik
23 Followers 103 Following रथवाहक, श्यामवर्णी तथा तन्त्रांशाभियन्ता । कृण्वन्तु विश्वमार्यम् । "स्वाध्यायान्मा प्रमदः"
SE4FP Workshop @se4fp_workshop
38 Followers 209 Following 2nd Workshop on Software Engineering for Functional Programming (SE4FP) In 2026, SE4FP is co-located with the @congressocbsoft
Elias W @eliasb
48 Followers 85 Following Libertarianism, health, Ukraine, UFO, functional programming, 'supernatural' phenomena, whole food plant based for life.
zhihong zhang @hellomywd666
0 Followers 102 Following
wuc9521 @wuc9521
85 Followers 1K Following
Daniel Woelfel @DanielWoelfel
846 Followers 544 Following Building the best database for vibe-coders @instant_db. Formerly @onegraph, @facebook, @precursorapp, and @circleci
3,14159 @314159py
0 Followers 380 Following
lambdam @lambdam_paris
0 Followers 6 Following
͔̤͎̝̣͈̩̤͈̭�... @paren_ai
0 Followers 5K Following
Juang Wiantoro @broerjuang
1K Followers 4K Following Civil Engineer from Philosophy Department. Software Engineer @hey_ario.
Ricardo Bocchi @ricardobocchi
34 Followers 562 Following
Virgiawan Huda @sapi_mabur
0 Followers 141 Following Just software engineer that spend his time on Javascript, Clojure, and Elixir. Don’t follow me! Please follow Prophet Muhammad pbuh instead.
ericssonxiao @ericssonxiao
185 Followers 1K Following ML Engineer🍁 | Prev. Full-Stack developer, ex-Solution Architecture & Senior Software @JD_Corporate. Indie Hacker🚀, thinking and building AI products.
DH Codigo @DHcodigo
1 Followers 553 Following
rajkumar natarajan @nrajkumarji
63 Followers 1K Following
Mohammad Reza Mansour... @beekalam
1 Followers 161 Following
Gharzol @Gharzol
4 Followers 483 Following
FuMast3r @happyluckytig3r
28 Followers 298 Following Just another person liking the idea of twitter townsquare
Ben Newhouse @newhouseb
7K Followers 975 Following member of technical staff @openai, cofounder @aidkit_tech, former head of sync @dropbox, cofounded bubbli (acquired by dropbox), previously made yelp monocle.
noah @NoahTheDuke
166 Followers 528 Following
Fullstack docent @shkliarskiy
13 Followers 869 Following
Uriel Gonzalez Nunez @Glz_Nz_Uriel
218 Followers 2K Following Tinkering with GNU/Linux. Learning Colemak. Working on a experimental search engine. I settle with warning msgs and a few runtime errors. Docs rock!
General E. Knotwell @Gnurdle
43 Followers 246 Following Clojurist, C++ hack, builder of things that solve real-world problems.
Manel Vilar @galchwynn
489 Followers 4K Following Galician software developer and tambourine player. Exiled in Berlin. Tweets in English and Spanish Western Romance. @[email protected]
Renan @renan4241
0 Followers 321 Following
Philipp Moers @soziflip
76 Followers 685 Following Some people call me Flipsi. I like to craft software, play music and eat bananas.
madirazz @madirazzZ
0 Followers 15 Following
ppp @moth_gg
18 Followers 2K Following
Thomas Tarabbia @ThomasTarabbia
13 Followers 2K Following
Mickey Muldoon 🪬 @mickeymuldoon
380 Followers 2K Following Monist. Blue Origin programmer. Likes Protomartyr, Mumford, Nagarjuna, Tolstoy @muldoon.cloud on BlueSky
Eugene Mosh @EugeneMosh
66 Followers 701 Following LISP/Clojure (functional programming in genegal) #clojure • #emacs • #MaestroHamiltonSouther • #Bluemorphotours
Fabiola Marchiori @fmarchiori2014
415 Followers 4K Following #tech, #digital, #aws, #techculture #cio #microservice #philosophy #meditation #lordofthering
いとゆう @yuji88
72 Followers 166 Following Blockchain ← Distributed Database ← Small SSD ← Large SSD / write a novel
Ambrose BS @ambrosebs
2K Followers 0 Following Having the time of my life type checking Clojure codeYou might like
