@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?
-
Show this thread
-
I mean, I've only looked into the two universities in Ottawa, not all schools around the world.
1 reply 0 retweets 0 likesShow this thread -
I'm going back to school to finally get my degree, and I'm annoyed that I would have to get a masters to formally study how Idris works
1 reply 0 retweets 0 likesShow this thread -
Replying to @hematiteinc
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.
1 reply 0 retweets 0 likes -
Replying to @edwinbrady @hematiteinc
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.
1 reply 0 retweets 0 likes -
Replying to @edwinbrady
Yeah, but it seems weird that I can't even learn about monads or pure functions unless I do a masters.
1 reply 0 retweets 0 likes
Ah. That is indeed strange. We cover that in the second year (of four).
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.