Tag: programming-languages

Should Programming Languages be Safe or Powerful?

21 November 2024

Towards the Fastest Brainf*** Implementation Ever

22 October 2024

How to Make Racket Go (Almost) As Fast As C

15 October 2024

First-Class Helper Functions

11 September 2024

Evolving Languages Faster with Type Tailoring

15 July 2024

I Probably Hate Writing Code in Your Favorite Language

27 June 2024

Chorex: Guaranteeing Deadlock Freedom in Elixir

3 June 2024

Boilerplate Busting in Functional Languages

6 May 2024

Building a Text Editor in Haskell, Part 1

27 March 2024

Functional Languages Need Not Be Slow

20 December 2023

Why Don't More Languages Have a call/cc Operator?

30 October 2023

Deriving Recursion from First Principles

2 October 2023

Writing Racket Macros: define-syntax and phases

19 May 2023

Delimited Continuations

11 April 2023

The Case for Picking a Non-Mainstream Programming Language

10 April 2023

What is a type system, really?

23 January 2023

Continuations—what are they?

17 November 2022

How to write a type checker/type inferrer with good error messages

27 July 2022

microKanren Reading

4 July 2022

Complete and Liveness, Safe and Sound

2 March 2022

Programs and Intent

9 November 2021

Models of Programming

24 October 2021

Control-Flow Analysis

27 July 2021

Thoughts on Goals in Programming Language Design

4 August 2020

Programming Languages and Typography

15 June 2020

Computers and Abstractions

20 May 2020

Starting Fresh

9 May 2020

Macros with Elixir

27 February 2019

Induction and Side-Effects

8 October 2018