301
Writing a simple SQL interpreter in Julia
<!DOCTYPE html>
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 361 posts.
302
Why I love Common Lisp and hate Java (2012)
“Common what?” is a common reply I get when I mention Common Lisp. Perhaps rightly so, since Common Lisp is not all that common these days. Developed in the sixties, it is one of the ol…
303
If I were to invent a programming language for the 21st century
A short essay about the evolution of programming languages.
304
305
306
Pointers Are Complicated, or What’s in a Byte?
This summer, I am again working on Rust full-time, and again I will work (amongst other things) on a “memory model” for Rust/MIR. However, before I can talk about the ideas I have for this ...
307
308
Flight Recorder becomes part of OpenJDK
Provide a low-overhead data collection framework for troubleshooting Java applications and the HotSpot JVM.
309
Homotopy Type Theory and Higher Inductive Types
In this article, we explore the possibilities allowed by higher inductive types. They enable a much more intuitive formalization of integers and new mind-blowing definitions of the (homotopical) ci…
310
Programming as interaction: A new perspective for programming language research
In programming research, we say a lot about programs and languages, but very little about the actual process of programming. One simple trick that will make programming language research significantly more interesting is to think about programs not as expressions, but as a result of a sequence of interactions that…
311
Implementing and Understanding Type Classes (2014)
Describing three strategies of implementing type classes, aiming to clarify their behavior
312
313
In Praise of APL: A Language for Lyrical Programming (1977)
In Praise of APL: A Language for Lyrical Programming Professor Alan J. Perlis Yale University
314
Learning Clojure: comparing with Java streams
This is the 6th post in the Learning Clojure focus series. In general, one learns by comparing to what one already knows: I’m learning Clojure in that way. Coming from a Java background, I naturally want to use streaming features. So, what would be the Clojure counterparts of Java’s functions filter(), map(), etc.?
315
Return type polymorphism in Haskell
In this brief post I want to discuss a fairly unusual feature of Haskell - functions that can be parameterized by their return type.
316
Revisiting 'Monadic Parsing in Haskell'
‘Monadic Parsing in Haskell’ is a short paper that laid the groundwork for libraries like Parsec and Attoparsec. Although it was published in 1998 (almost 20 years ago!) it has aged gracefully and the code samples will run with almost no changes. However, the state of the art has advanced since then and I think the…
317
FizzBuzz in ten languages
Updates (2024) Since this post was originally written, the FizzBuzz github repository has received 23 additional contributions so the total…
318
How Old School C Programmers Process Arguments
Here’s a bit of code from Kernighan’s and Ritchie’s seminal text, The C Programming Language . I’m not sure I’d actually recommend coding this way (as written in the book, the entire program has only one comment), but it’s so darn clever and concise, I can’t help but post it. This snippet is part of a larger program…
319
When the Compiler Bites
So far this year I’ve been bitten three times by compiler edge cases in GCC and Clang, each time catching me totally by surprise. Two were caused by historical artifacts, where an ambiguous specification lead to diverging implementations. The third was a compiler optimization being far more clever than I expected…
320
Designing a Good DSL
A look at common mistakes in DSL designs and how to fix them
321
Maybe adding generics to Go is about syntax after all
This is a short response to the recently announced Go 2 generics draft proposals
322
Haskell's Missing Concurrency Basics (2016)
Michael Snoyman's personal homepage and blog, featuring writing about programming, open source, health, finance, religion, and whatever else catches his interest.
323
Sum Types Are Coming (2015)
Just as all mainstream languages now have lambda functions, I predict sum types are the next construct to spread outward from the typed functional programming community to the mainstream. Sum types are very useful, and after living with them in Haskell for a while, I miss them deeply when using languages without them…
324
The Value of Undefined Behavior
In several places, the C and C++ language specifications use a curious, and fairly controversial, phrase: undefined behavior . For certain program constructs, the specification prescribes no specific behavior, instead allowing anything to happen . Such constructs are considered erroneous, and so the result depends on…
325
326
Unsafe Zig Is Safer Than Unsafe Rust
This pattern is pretty common if you are interacting with Operating System APIs . Another example .
327
328
JEP 325: Switch Expressions
Extend the switch statement so that it can be used as either a statement or an expression, and that both forms can use either a "traditional" or "simplified" scoping and control flow behavior. These changes will simplify everyday coding, and also prepare the way for the use of pattern matching (JEP 305) in switch …
329
Better Clojure formatting
A Clojure formatting style good enough to be a default standard
330
I've just learned Rust and I think I'm in love
I’ve decided to learn some Rust recently while working on the Stanford’s experimental course on operating systems. R...