Topics /

Programming Languages

The most popular blog posts about programming languages on Hacker News. 313 posts.

2014
160

Talking about “types”

My essay “In Search of Types” attempts to be a dispassionate review of some of the different concepts, purposes and attitudes surrounding the word “type” in programming. I imagine that my passions are still rather thinly veiled in places. But in this post I'm going to come out with a more unabashedly ranty take…

163

Boeing Flies on 99% Ada

A discussion of how Boeing used Ada in its new 777 jet to run a complete fly-by-wire system that technicians backup and monitor with on-board floppy disks. The Ada Information Clearinghouse is the Ada Resource Association's official Web site on the Ada programming language and on software engineering.

167

Suture – Supervisor Trees for Go

Supervisor trees are one of the core ingredients in Erlang's reliability and let it crash philosophy . A well-structured Erlang program is broken into multiple independent pieces that communicate via messages, and when a piece crashes, the supervisor of that piece automatically restarts it.

180

Haskell, Monads and Purity

I believe the notion that Haskell uses “monads” to enforce purity is rather misleading. It has certainly caused quite a bit of confusion! It’s very much like saying we use “rings to do arithmetic”. We don’t! We use numbers, which just happen to form a ring with arithmetic operations. The important idea is the number …