Skip to main content
day's user avatar
day's user avatar
day's user avatar
day
  • Member for 14 years, 11 months
  • Last seen more than 10 years ago
88 votes
3 answers
195k views

How to put a symbol above another in LaTeX? [closed]

10 votes
2 answers
947 views

Is the `append` predicate tail-recursive?

9 votes
3 answers
4k views

Differences between data/type constructors and functions?

9 votes
3 answers
600 views

Is it possible to use call/cc to implement recursion?

7 votes
4 answers
2k views

What are improper lists for?

5 votes
1 answer
3k views

TOC and figure side by side in a slide

5 votes
1 answer
633 views

The relationship between quotation, reification and reflection

5 votes
1 answer
7k views

How to change color-scheme on BitBucket?

5 votes
1 answer
131 views

How to void name conflicts among modules in Rascal?

5 votes
1 answer
1k views

What does the leading colon mean in a string representing path in PyQt

5 votes
0 answers
944 views

How does tabling improve efficiency? [closed]

4 votes
2 answers
485 views

Why do we need `nil`?

4 votes
1 answer
229 views

Any Prolog implementation that allows left recursion?

4 votes
1 answer
174 views

How about having a language provide both call-by-name and call-by-value?

3 votes
1 answer
220 views

Show only leading spaces of a line?

3 votes
4 answers
699 views

Why does Scheme allow mutation to closed environment in a closure?

3 votes
1 answer
209 views

The meaning of * and + in syntax specification

3 votes
1 answer
70 views

Is there any difference between `*x` and `x*`?

3 votes
1 answer
76 views

Why are pattern variables also renamed in macro expansion?

2 votes
4 answers
586 views

Is struct a macro in Racket?

2 votes
1 answer
73 views

Does Rascal do tail-call optimization?

2 votes
1 answer
56 views

Is there a `quote`-like facility a la Lisp in Rascal

2 votes
1 answer
175 views

Does Rascal solve the expression problem?

2 votes
1 answer
133 views

Types for pattern variables

2 votes
1 answer
2k views

Implementing call-by-value lambda-calculus in Haskell

2 votes
1 answer
147 views

Any editor/IDE that supports or could be hacked to support viewing diffs live while editing?

2 votes
3 answers
1k views

What is the disadvantage of list as a universal data type representation?

2 votes
2 answers
121 views

Collect numerals at the beginning of the file

2 votes
2 answers
4k views

For loop in Makefile has no effect

1 vote
2 answers
1k views

Given the powerful macro system, are `quote` and `quasiquote` redundant in modern Scheme?