New

The latest blog posts to take off on Hacker News. 313 posts.

Programming Languages
2014
183

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…

185

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…

192

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…

201

PHP: a fractal of bad design

(This article has been translated into Spanish (PDF, with some additions) by Jorge Amado Soria Ramirez — thanks!) Preface I’m cranky. I complain about a lot of things. There’s a lot in the world of technology I don’t like, and that’s really to be expected—programming is a hilariously young discipline, and none of us

203

Programming with Nothing (2011)

I love Ruby! I’ve used it every day for years and I’m not sick of it yet. It’s an easy language to love: it’s expressive, flexible and syntactically beautiful ; it has a unique combination of useful features like mixins , metaclasses and blocks ; it comes with a useful core library and comprehensive standard library …