Liking cljdoc? Tell your friends :D
* Unsoundness in core.typed core.typed is mostly designed to be a sound type system besides (at least) these features. ** Array-backed seqs We assume anything implementing IPersistentCollection is immutable. ** Vars We assume that vars are always bound, and they are always set to values of their annotated type.
❮Implementation detail of type inferenceReleases❯

Can you improve this documentation?Edit on GitHub

cljdoc builds & hosts documentation for Clojure/Script libraries

Keyboard shortcuts
Ctrl+kJump to recent docs
←Move to previous article
→Move to next article
Ctrl+/Jump to the search field
Raise an issueBrowse cljdoc sourceChat on Slack
× close