Skip to main content
Programming Language Design and Implementation Beta
Alexis King's user avatar
Alexis King's user avatar
Alexis King's user avatar
Alexis King
Moderator
  • Member for 2 years, 9 months
  • Last seen more than a week ago
Profile Activity

Stats

13,009
reputation
275k
reached
58
answers
3
questions
Communities
View all

About

Programming language nerd. I currently work on the Glasgow Haskell Compiler and periodically contribute to Racket. In the past, I also worked on a language called Hackett to combine the two, though it is currently on hiatus.

Badges

View all badges
10
gold badges
51
silver badges
76
bronze badges

Top tags

View all tags
358
Score
9
Posts
15
Posts %
305
Score
12
Posts
20
Posts %
279
Score
9
Posts
15
Posts %
184
Score
4
Posts
7
Posts %
137
Score
4
Posts
7
Posts %
116
Score
5
Posts
8
Posts %

Top posts

View all questions and answers
answer
191
How should I read type system notation?
Aug 13, 2023
question
161
How should I read type system notation?
Aug 13, 2023
answer
156
How do modern compilers choose which variables to put in registers?
Feb 13, 2025
answer
107
Why do common Rust packages depend on C code?
Nov 26, 2023
answer
66
What language design features made Lisp useful for Artificial Intelligence research?
Jul 19, 2023
answer
64
What are the ways compilers recognize complex patterns?
Jul 16, 2024
answer
60
What programming languages implement memory safety?
Oct 10, 2024
answer
58
Why are volatile objects so difficult to work with in C++?
Dec 1, 2023
answer
54
UTF-32 worth it for the string data type?
May 17, 2025
answer
45
Avoiding student confusion about the meaning of `x == a or b`
Jul 18, 2023

Top Meta posts

8
21
23
A second plea to enable MathJax
19
Moving towards more focused language design questions
15
A community-specific close reason for unfocused language design questions
13
Missing the obvious close reason: "not about programming language design or implementation"
12
Are linters, formatters, and static analysis tools on topic?

Top network posts

View all network posts
153
What is the difference between quote and list?
126
JavaScript - Nuances of myArray.forEach vs for loop
101
Difference between file, file_get_contents, and fopen in PHP
82
How to compile using -Xlint:unchecked in a Maven project?
71
Is the monadic IO construct in Haskell just a convention?