New

The latest blog posts to take off on Hacker News. 5,638 posts.

Programming Languages
Any year
4604

Types Are The Truth

In Chapter 9 of Types and Programming Languages , Pierce presents his exposition of the Simply typed Lambda-Calculus. It is a truly awesome chapter - each subsection in succession constructs a rich and very well detailed system of computation and Pierce is a master of precision, guiding the reader through the maze of…

4606

Things from Python I'd miss in Go

Let's assume Go has one killer feature – cheap concurrency – not present in any other language with similar serial performance (ruling out say Erlang). And let's agree that it gives Go its perfect niche – and we're only discussing uses of Go outside that niche from now on. So we won't come back to concurrency till the…

4613

Why Ada isn't Popular (1998)

Rick Thorne writes: > In truth, I like Ada too. I'm a former Ada man myself, as I believe I > mentioned. There are great things about the language, and since we're all > aware of them there's no point in going into them. I also prefer Beta to > VHS. Mathew Heaney responds: This is actually a specious comparison…