← Lambda Land
·
Tags
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