-
@headinthebox If you really want monomorphic types, a better solution is to use an alternative Prelude instead of an abandoned compiler
@GabrielG439 @headinthebox Throw away parametricity and code reuse, for the benefit of talking nonsense about nonsense.
Makes sense.
-
-
@dibblego@GabrielG439 Exactly! I want my beginner students to write code, lots of code, not reuse someone else's. -
@headinthebox@GabrielG439 I want my beginner students to be guided by types. Specifically, parametricity. Better outcomes.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.