Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Udacity restructures operations, lays off 20 percent of its workforce. Parent comment
Can anyone recommend a good online course for learning about lambda calculus and type theory?
I have some language design ideas, but I suspect I'm at risk of various type system blunders until I understand those basics better.
Edit: I really need it to be an online course, not just a text book. I find self-study to be particularly difficult for this topic.
There are no comments on this comment yet.
Can anyone recommend a good online course for learning about lambda calculus and type theory?
I have some language design ideas, but I suspect I'm at risk of various type system blunders until I understand those basics better.
Edit: I really need it to be an online course, not just a text book. I find self-study to be particularly difficult for this topic.