Programming Language Theory FlashcardDoes the choice of evaluation strategy significantly affect the type system?Properties 3Hide BooksChapter 5. The untyped/pure lambda-calculus ConceptsEvaluation strategy Decktype theoryQuestionDoes the choice of evaluation strategy significantly affect the type system?AnswerNo. Previous in FlashcardsDoes rust allow linking of different versions of a crate to the same binary, and how?Next in Flashcards Does unsafe language provide any static type checking at all?