Daniel's Blog

Hello!

Welcome to my blog. Here, I write about various subjects, including (but not limited to) functional programming, compiler development, programming language theory, and occasionally video games. I hope you find something useful here!

• A Typesafe Representation of an Imperative Language

  4159 words, about 20 minutes to read.

  A recent homework assignment for my university’s programming languages course was to encode the abstract syntax for a small imperative language into Haskell data types. . . .

• Compiling a Functional Language Using C++, Part 13 - Cleanup

  8288 words, about 39 minutes to read.

  In part 12, we added let/in and lambda expressions to our compiler. At the end of that post, I mentioned that before we move on to bigger and better things, I wanted to take a step back and clean up the compiler. . . .

• How Many Values Does a Boolean Have?

  2079 words, about 10 minutes to read.

  A friend of mine recently had an interview for a software engineering position. They later recounted to me the content of the technical questions that they had been asked. . . .

• Meaningfully Typechecking a Language in Idris, With Tuples

  2232 words, about 11 minutes to read.

  Some time ago, I wrote a post titled Meaningfully Typechecking a Language in Idris. I then followed it up with Meaningfully Typechecking a Language in Idris, Revisited. . . .

• Time Traveling In Haskell: How It Works And How To Use It

  4290 words, about 21 minutes to read.

  I recently got to use a very curious Haskell technique in production: [note: As production as research code gets, anyway! . . .

• DELL Is A Horrible Company And You Should Avoid Them At All Costs

  3694 words, about 18 minutes to read.

  I really do not want this to be a consumer electronics blog. Such things aren’t interesting to me, and nor do I have much knowledge about them. . . .

• Meaningfully Typechecking a Language in Idris, Revisited

  2970 words, about 14 minutes to read.

  Some time ago, I wrote a post titled Meaningfully Typechecking a Language in Idris. The gist of the post was as follows: . . .

• Rendering Mathematics On The Back End

  2242 words, about 11 minutes to read.

  Due to something of a streak of bad luck when it came to computers, I spent a significant amount of time using a Linux-based Chromebook, and then a Pinebook Pro. . . .

• Compiling a Functional Language Using C++, Part 12 - Let/In and Lambdas

  10196 words, about 48 minutes to read.

  Now that our language’s type system is more fleshed out and pleasant to use, it’s time to shift our focus to the ergonomics of the language itself. . . .

• Building a Crystal Project with Nix, Revisited

  1183 words, about 6 minutes to read.

  As I’ve described in my previous post, the process for compiling a Crystal project with Nix is a fairly straightforward one. . . .