Jump to content

Hacker News - Ask HN: Websites, Forums, etc. for Discussing Type Theory and PLT


Recommended Posts

I think the title gets right to the point, but in case more info would be useful… I am looking for something like Lambda-the-Ultimate seems to have been during its truly active days, somewhere to discuss/learn/find references type theory, programming language theory, and category theory. I’m not a huge fan of stackoverflow in terms of just asking throwing questions into the void and having less than satisfactory means to continue a discussion, and Reddit has been pretty bare in terms of subreddits that I could find. Anyone with suggestions please chime in and if anyone has another specific area they are looking to get similar references for let’s hear those too.

Comments URL: https://news.ycombinator.com/item?id=33147333

Points: 1

# Comments: 0

View the full article

Link to comment
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.