-
-
Replying to @headinthebox
This round of
#FP101x we will use https://www.haskell.org/hugs/ instead of GHCi because it is not changing.5 replies 6 retweets 17 likes -
-
-
Replying to @headinthebox
@headinthebox If your goal is to portray Haskell as a toy language, then you're doing a fantastic job1 reply 4 retweets 15 likes -
Replying to @GabrielG439
@headinthebox If you really want monomorphic types, a better solution is to use an alternative Prelude instead of an abandoned compiler1 reply 2 retweets 5 likes -
Replying to @GabrielG439
@GabrielG439@headinthebox Throw away parametricity and code reuse, for the benefit of talking nonsense about nonsense. Makes sense.1 reply 0 retweets 6 likes -
Replying to @dibblego
@dibblego@GabrielG439 Exactly! I want my beginner students to write code, lots of code, not reuse someone else's.2 replies 0 retweets 2 likes
@headinthebox @GabrielG439 I want my beginner students to be guided by types. Specifically, parametricity. Better outcomes.
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.