user_1031791
user_1031791
@user_1031791
0 reputation
0 answers
21 questions
About Me
// Hello, World !
Top Answers
  1. How to encode the Int type with algebraic datatypes in a pure functional language like Kind-Lang?
    5 votes
  2. JavaScript stack overflows even when no recursive function is present
    2 votes
  3. In a dependently typed programming language is Type-in-Type practical for programming?
    1 votes
Top Questions
  1. Why is QuackSort 2x faster than Data.List's sort for random lists?
    11 votes
    1 answers
  2. Why does adding in an immediately invoked lambda make my JavaScript code 2x faster?
    10 votes
    1 answers
  3. How to extract the second element of Sigma on the Calculus of Constructions?
    9 votes
    0 answers
  4. What is the idiomatic way to represent algebraic datatype constructors in Scheme (R6RS)?
    8 votes
    1 answers
  5. What is the most efficient way to reach a spot on sight on VIM?
    6 votes
    7 answers