Quiz: Overview
1) Python's typing annotations enable static compile time checking of python programs.
true
false
2) Which of the following facts about Dafny is not true? Select all that apply.
Dafny supports functional and imperative programming using the same syntax.
Dafny has separate syntax for functional and imperative programming.
Dafny supports type inference
Dafny is statically typed, and supports objects.
3) Idris is an extension of the Haskell language with dependent types?
true
false
Check Answers
You Scored
% -
/