Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 2,107 posts.

Any topic
2016
182

Clojure.spec – Rationale and Overview

Clojure is a dynamic language. Among other things this means that type annotations are not required for code to run. While Clojure has some support for type hints, they are not an enforcement mechanism, nor comprehensive, and are limited to communicating information to the compiler to aid in efficient code generation…

186

Static types in Python

Over the last few years, static type checkers have become available for popular dynamic languages like PHP (Hack) and JavaScript (Flow and TypeScript), and have seen wide adoption. Two years ago, a provisional syntax for static type annotations was added to Python 3. However, static types in Python …