1. 5
  1.  

  2. 1

    Although it isn’t the main thrust of the article, I find the author lumping Eiffel and Idris together (in particular Design By Contracy & Dependent Typing) odd.