2022 Developer Survey is open! Take survey.
Computer Science
user avatar
user avatar
user avatar
Alexis King
  • Member for 8 years, 8 months
  • Last seen this week
Profile Activity
Stats
284
reputation
800
reached
0
answers
3
questions
Communities
View all
About

Programming language nerd. I work on a language called Hackett, as well as other parts of the Racket project. I hang out in the , , and tags on Stack Overflow.

Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
10
bronze badges
Top tags
View all tags
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
8
Relationship between inductive families and type-returning functions
Nov 25, 2020
question
5
Local type argument synthesis when type variable does not appear in arguments
Apr 12, 2017
question
5
Why does higher-order abstract syntax need an inverse to define catamorphisms?
Oct 12, 2019
Top network posts
View all network posts
126
What is the difference between quote and list?
124
JavaScript - Nuances of myArray.forEach vs for loop
93
Difference between file, file_get_contents, and fopen in PHP
84
Help me make myself a better moderator—give me statistics about my own close vote accuracy!
71
Is the monadic IO construct in Haskell just a convention?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.