@edwinbrady I keep thinking type theory needs to be taught in undergrad CS, instead of grad level. Is there a good reason it's not?
I’d argue to include it, but then if you add one thing, you also need to take something else out to make room. So things can move slowly.
-
-
Yeah, but it seems weird that I can't even learn about monads or pure functions unless I do a masters.
-
Ah. That is indeed strange. We cover that in the second year (of four).
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.