Static code analysis in Javascript: verifying correctness of pattern matching

Sum Types in Functional Languages Tagmeme: An Implementation of Sum Types in Javascript Problems with using Tagmeme Tagmeme-analyzer: static type-checker and analyzer for tagmeme How the analyzer works A word about the awesome Javascript ecosystem Many functional programming languages, especially statically typed ones like F#, Elm, Haskell etc.