Programming Language Theory Flashcard
Can the type system totally not require interaction with or guidance from the programmers?
Books
Decktype theory
Question
Can the type system totally not require interaction with or guidance from the programmers?
Answer
It may, but sometimes, the programmer can provide guidance by giving type annotations.