@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 agree with you here, but then I would… I suppose it’s because it takes time for interesting research ideas to be adopted widely enough.
-
-
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.
- 1 more reply
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.