Functional Static 4a (S&Q Prep)

• Due Oct 2, 2022 at 11:59pm
• Points 3
• Questions 3
• Available until Oct 30, 2022 at 11:59pm
• Time Limit None
• Allowed Attempts Unlimited

Instructions

xkcd: Haskell

How To Use Refs In SML

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

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

mutual-recursion