181
Fear of Macros
Practical Racket macros
182
Personal Notes on Corman Lisp 3.1 Release
Today, as I announced earlier, the Corman Lisp 3.1 has been released after more than a decade-long break. Somehow it happened that I am one of the active mai...
183
Kotlin: The Problem with null
このドメイン名は所有者により ドメインマーケット で売りに出されています。 誰でも購入できる状態であり、このドメイン名を利用してサイト運営やメールアドレスの利用を行うことができます。
184
Lightweight Concurrency in Lua
wingolog: article: lightweight concurrency in lua
185
Programming Bottom-Up (1993)
(This essay is from the introduction to On Lisp .) It's a long-standing principle of programming style that the functional elements of a program should not be too large. If some component of a program grows beyond the stage where it's readily comprehensible, it becomes a mass of complexity which conceals errors as…
186
Python's GIL implemented in pure Python
Python's GIL explained in Python code
187
188
Implementing a JIT-compiler with Rust
I am writing Dora, a simple JIT-compiler with Rust. Dora is both the name of the custom programming language and of the JIT-compiler. After some time working on it, I want to write about the experiences I made. I started this project to get a better understanding of the low-level implementation details of a…
189
First impressions about Graal VM
Last week was the release of Oracle’s GraalVM. As stated on the website: GraalVM is a universal virtual machine for running applications written in JavaScript, Python 3, Ruby, R, JVM-based languages like Java, Scala, Kotlin, and LLVM-based languages such as C and C++. GraalVM removes the isolation between programming…
190
Stop writing lambda expressions in Python
Note: This post was originally titled “Stop writing lambda expressions in Python” but I’ve changed the title after deciding that it was a little...
191
192
193
Writing a simple SQL interpreter in Julia
<!DOCTYPE html>
194
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…
195
If I were to invent a programming language for the 21st century
A short essay about the evolution of programming languages.
196
197
198
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 ...
199
200
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…
201
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…
202
Implementing and Understanding Type Classes (2014)
Describing three strategies of implementing type classes, aiming to clarify their behavior
203
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.?
204
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.
205
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…
206
FizzBuzz in ten languages
Updates (2024) Since this post was originally written, the FizzBuzz github repository has received 23 additional contributions so the total…
207
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…
208
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…
209
Designing a Good DSL
A look at common mistakes in DSL designs and how to fix them
210
Maybe adding generics to Go is about syntax after all
This is a short response to the recently announced Go 2 generics draft proposals