Posts tagged ‘static types’

• The type system, safety, sequence alignments, and you - April, 2012
  alignment, static types, programming

  An simple example that illustrates how to leverage the type system to reduce the possibility of errors. By making our types more polymorphic (or less specific), we restrict the possible implementations.
  ()