S&Q Prep: Functional Static 4; Workflow; Type Inference and Mutual Recursion; Modules, Signature Matching, and Equivalence

• Due Feb 28, 2020 at 3am
• Points 3
• Questions 3
• Available until Mar 2, 2020 at 3am
• Time Limit None
• Allowed Attempts Unlimited

Instructions

xkcd: Workflow

Type Inference and Mutual Recursion

section-4-welcome-message

section-4-reading-notes

section-introduction

what-is-type-inference

ml-type-inference

type-inference-examples

polymorphic-examples

optional-the-value-restriction-and-other-type-inference-challenges

mutual-recursion

Modules, Signature Matching, and Equivalence

modules-for-namespace-management

signatures-and-hiding-things

a-module-example

signatures-for-our-example

signature-matching

an-equivalent-structure

another-equivalent-structure

different-modules-define-different-types

equivalent-functions

standard-equivalences

equivalence-versus-performance

part-a-wrap-up-parts-b-c-preview