react.london-on-types

Materials for React.London meetup talk

Papers

Unit Testing and Static Types

• A Quantitative Analysis of Whether Unit Testing Obviates Static Type Checking for Error Detection
• Types
• Static Typing Where Possible, Dynamic Typing When Needed: The End of the Cold War Between Programming Languages
• On typed, untyped, and “uni-typed” languages

Engines

• Fast and Precise Hybrid Type Inference for JavaScript

Posts

• The abject failure of weak typing
• Dynamic Languages are Static Languages
• What to know before debating type systems
• TDD vs Static Typing

Static analysis in dynamic languages

• Dialyzer in Erlang
• Dynamic Inference of Static Types for Ruby
• core.typed for Clojure
• Typed Racket
• Typespecs in Elixir

Experiments with tackling the types in js

• TypedJS
• Contracts.coffee
• Contracts.js
• rho-contracts.js
• TreatJS