Jump to content

Hindley–Milner type system: Revision history

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

(newest | oldest) View (newer 500 | ) (20 | 50 | 100 | 250 | 500)

6 June 2024

  • curprev 16:2716:27, 6 June 2024‎ Phantom Hoover talk contribs‎ 61,820 bytes −33‎ →‎Typing rules: The derivation as written violates the premise of the Let rule that e_1's type is a monotype; moving the application of Gen to the end seems to fix this; I'm not sure it has the same intended didactic value, but it's at least not incorrect. undo

2 May 2024

(newest | oldest) View (newer 500 | ) (20 | 50 | 100 | 250 | 500)
Retrieved from "https://en.wikipedia.org/wiki/Hindley–Milner_type_system"