4 ms·

Hey I learned Eiffel. It's a nice language. I wish we had pre-conditions and post-conditions in modern procedural language.

• docandrew 3y ago
  We do - Ada!
  • glitchc 3y ago
    I should definitely look more into Ada.
• OJFord 3y ago
  Assertions in e.g. python? Missing the 'contract view', but you could generate docs that pull in any assertions on input args or return value to do something like that.