clojure/core.typed on Hacker News

…I haven't used it, so I don't know its tradeoffs; but its docs say its types exist at compile time: https://github.com/clojure/core.typed/wiki/User-Guide

comment by xoxolian · 2026-07-06 · in Clojure 1.13 adds support for checked keys

Could you use https://github.com/clojure/core.typed ? Or https://clojure.org/guides/spec ?

comment by ghufran_syed · 2024-07-18 · in Ask HN: What's Prolog like in 2024?

…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…

comment by klibertp · 2023-10-20 · in Does Go Have Subtyping?

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…

comment by metasoarous · 2021-05-07 · in Six years of professional Clojure development

…surprised that more of the pro-type folks here don't seem to be familiar with the [typed clojure]( https://github.com/clojure/core.typed ) project, which adds optional typing, along the lines of Racket's contract system. To me, it's one of…

comment by metasoarous · 2021-05-06 · in Six years of professional Clojure development

Clojure has an optional type system: https://github.com/clojure/core.typed (note that Lisp is flexible enough that a type system can be written as a library) There's also this for run-time checking (i.e., you won't get any help at…

comment by tsm · 2021-05-06 · in Six years of professional Clojure development

…seeing too much work on it anymore. In the latter case something like Typed Clojure may work ( https://github.com/clojure/core.typed ).

comment by dwohnitmok · 2020-12-07 · in Sugar – a typed lispy language targeting webasm/wat

> - its dynamic-ness makes it not suited to large projects IMO. Clojure can be typed https://github.com/clojure/core.typed/ > - The currently-accepted attempt at a non-type-system-type-system 'spec' is not well thought out. Spec is not a…

comment by dgb23 · 2020-02-21 · in State of Clojure 2020

…(typed clojure[1] does exist but it's contentious). [0]: http://clhs.lisp.se/Body/s_declar.htm [1]: https://github.com/clojure/core.typed

comment by hardwaresofton · 2019-06-18 · in Classes vs. Data Structures

…no type checking or if needed they'll judiciously apply something like schema [2] or spec [3]. [1]: https://github.com/clojure/core.typed [2]: https://github.com/plumatic/schema [3]: https://clojure.org/about/spec

comment by jakebasile · 2019-02-07 · in State of Clojure Survey 2019 Analysis

…one [1] aren't filled with hate, telling people to get lost. There's a constructive approach. [0] https://github.com/clojure/core.typed/wiki [1] https://bugs.ruby-lang.org/issues/9999

comment by shakna · 2017-04-30 · in What i wish i knew when learning haskell

▲ 1

An optional type system for Clojure

story by lin0tune · 2017-03-30 · 0 comments

…1.9 and core.typed[2] adds an optional type system as well. [1]: http://clojure.org/about/spec [1]: https://github.com/clojure/core.typed The REPL-driven development of Lisps makes types not as important because everything is interactively…

comment by jeremiep · 2016-12-30 · in Why Clojure? (2010)

…of the benefits like validation and documentation. [1] https://docs.racket-lang.org/ts-guide/ [2] https://github.com/clojure/core.typed [3] https://github.com/plumatic/schema

comment by hencq · 2016-05-10 · in A Farewell to FRP

another one for the gradual typing would be core.typed https://github.com/clojure/core.typed

comment by netcraft · 2015-10-13 · in Languages to improve your Python

Have you tried typed Clojure [1]? It seems promising for bringing in types. [1]: https://github.com/clojure/core.typed/

comment by bmh100 · 2015-03-18 · in John Carmack: “I just dumped the C++ server I wrote for a new one in Racket”

…exp, just fade away after a while.. there's core.typed which is static typing for clojure [0] [0] https://github.com/clojure/core.typed

comment by yawnt · 2015-03-09 · in Pixie: A sweet Clojure-ish language

Clojure supports strong typing if you want it: https://github.com/Prismatic/schema https://github.com/clojure/core.typed These are both libraries that you can choose to use. Both Typed Clojure and Schema are more powerful than Java's type…

comment by kyleburton · 2015-02-27 · in Clojure at a Bank – Moving from Java (2012)

…question this assumption? [1] http://lisp-univ-etc.blogspot.com/2012/04/lisp-hackers-pasca... [2] https://github.com/clojure/core.typed [3] http://dl.acm.org/citation.cfm?id=2594307 [4] http://blogs.msdn.com/b/dsyme/archive/2013/01/30/twelv…

comment by breckinloggins · 2015-02-12 · in Seven deadly sins of talking about “types” (2014)

https://github.com/clojure/core.typed has your optional typing. No suggestions for python syntax besides macros. Lots and lots of macros. :)

comment by erichmond · 2014-11-27 · in Amazon is hiring Clojure devs

Well clojure having a lisp syntax allows an optional type system to be build as a library. https://github.com/clojure/core.typed

comment by nbardy · 2014-11-27 · in Amazon is hiring Clojure devs

Clojure can also do this, since it has a Typed module [1]. [1] https://github.com/clojure/core.typed

comment by bmh100 · 2014-11-17 · in The empirical evidence that types affect productivity and correctness

It's not a contradiction -- we've built it: http://docs.racket-lang.org/ts-guide/ Also: https://github.com/clojure/core.typed

comment by samth · 2014-11-12 · in Statically Typed Lisp

…can be bolted on as a library. Perhaps unfortunately, most languages are not so flexible. [1]: https://github.com/clojure/core.typed/wiki/User-Guide#what-a... P.S.: I re-read Harper's original unitype article, and it does seem pretty…

comment by groovy2shoes · 2014-08-21 · in Dynamically Typed Languages (2009)

…I've wondered if it might be the perfect balance for people who really miss their type system. [0]: https://github.com/clojure/core.typed

comment by sanderjd · 2014-07-23 · in Why I'm Productive in Clojure

▲ 1

Rock, Paper, Scissors in Clojure using core.typed and core.async

story by shepmaster · 2014-07-22 · 0 comments

…[2]: https://github.com/plt/racket/tree/master/pkgs/typed-racket-... [3]: https://github.com/clojure/core.typed

comment by stchang · 2014-04-17 · in Fear of Macros

…http://clojure-liberator.github.io/liberator/ ) There is work being done on an optional type system: https://github.com/clojure/core.typed Much effort has been made to make contract programming easy in Clojure:…

comment by lkrubner · 2014-01-19 · in Lisp: More is less

…( http://www.youtube.com/watch?v=o_jtwIs2Ot8&list=PLZdCLR02grL... ) For static type checking: https://github.com/clojure/core.typed > possibly another syntax baked in Not needed in my mind. I would rather have less devs then C syntax. Not…

comment by nickik · 2014-01-14 · in Scala – 1 Star Would Not Program Again

About this: "until you get some optional typing" There is work being done on an optional type system: https://github.com/clojure/core.typed There are also some interesting experiments in enforcing specific data structures:…

comment by lkrubner · 2014-01-14 · in Scala – 1 Star Would Not Program Again

There's also TypedClojure ( https://github.com/clojure/core.typed ) which is based on Typed Racket (is what I read in previous discussions about it here).

comment by klibertp · 2014-01-09 · in Stop Writing JavaScript Compilers, Make Macros Instead

…of others reading who may not be familiar with Clojure. [1] http://clojure.org/datatypes [2] https://github.com/clojure/core.typed [3] http://docs.datomic.com/schema.html

comment by edoloughlin · 2013-12-24 · in Clojure vs. Scala

Also, there's https://github.com/clojure/core.typed . I don't have much experience with static typing outside of basic Java interop, but I gave it a shot on a recent project and it was pretty cool once I got the ball rolling and it caught…

comment by danneu · 2013-12-10 · in Some musings on Scala and Clojure by a long time Scala dude

Core.typed appears to have some higher kind and variance support (as seen in the user guide - https://github.com/clojure/core.typed/wiki/User-Guide ). Type classes can be mimicked via multimethods or protocols.

comment by dm3 · 2013-11-28 · in Clojure: The JFDI language

> optional static typing https://github.com/clojure/core.typed > multimethods http://clojure.org/multimethods - also, arguably better for many use cases: http://clojure.org/protocols > native and efficient executables Clojure performs much…

comment by graue · 2013-11-12 · in Thoughts on a New Dylan Ecosystem

…my-keys [m] (keys m)) Edit: Just found Seqable. Looking into it now. This link helped me a lot. https://github.com/clojure/core.typed/wiki/Types

comment by axle_512 · 2013-09-30 · in Clojure's core.typed vs Haskell

…type check (filter identity coll) a little more accurately (which is actually quite hard to do): https://github.com/clojure/core.typed/blob/master/src/main/c... The type system's interaction with Java's type system is interesting, which is…

comment by ambrosebs · 2013-09-27 · in Why we're supporting Typed Clojure

…for polymorphic functions? It scales very well, from simple types like clojure.core/symbol: https://github.com/clojure/core.typed/blob/57da1175037dfd61c... to polymorphic types like clojure.core/repeat:…

comment by ambrosebs · 2013-09-06 · in Schema for Clojure(Script) Data Shape Declaration and Validation

…classes, recursive types we can be very expressive. Here's some examples of the syntax for types: https://github.com/clojure/core.typed/wiki/Types And some declarative types in action: https://github.com/frenchy64/core.typed-example/blob/ma…

comment by ambrosebs · 2013-09-06 · in Schema for Clojure(Script) Data Shape Declaration and Validation

…to help you find some things you've been missing: a) https://github.com/clojure/core.match b1) https://github.com/clojure/core.typed b2) I agree that Clojure's facilities for mixins is under-utilized and that it lacks a proper facility for…

comment by brandonbloom · 2013-09-05 · in Effective Scala

…isn't great too, but I haven't ever really used it. [1] https://github.com/clojure/core.match [2] https://github.com/clojure/core.typed

comment by bdisraeli · 2013-09-05 · in Effective Scala

See things, like this http://en.wikipedia.org/wiki/Qi_%28programming_language%29 or https://github.com/clojure/core.typed

comment by nickik · 2013-08-26 · in On Lisp

…well). For the folks who swear by static typing, I expect core.typed will eventually provide that: http://github.com/clojure/core.typed

comment by swannodette · 2013-06-26 · in GHCJS - Haskell in the Browser

optional clojure type checking: https://github.com/clojure/core.typed/ (not finished, but showing promise)

comment by brehaut · 2013-03-13 · in Clojure: All grown up

There's some progress being made on static typing in Clojure, too: https://github.com/clojure/core.typed Still fairly early days on that though (missing protocols and rest parameters are the big issues I think)

comment by vmind · 2013-03-12 · in Clojure: All grown up