user avatar
user avatar
user avatar
Petr
  • Member for 9 years, 11 months
  • Last seen more than 1 year ago
134 votes
7 answers
37k views

Is Category Theory useful for learning functional programming?

32 votes
6 answers
6k views

Clear, intuitive derivation of the fixed-point combinator (Y combinator)?

  • 1,207
31 votes
2 answers
10k views

How do Functional Reactive Programming and the Actor model relate to each other?

17 votes
3 answers
716 views

Studying Programming Language Theory

13 votes
2 answers
2k views

Lambda calculus: difference between contexts and evaluation contexts

11 votes
1 answer
4k views

Finding the longest repeating subsequence

8 votes
2 answers
399 views

Type-system combining type-states and typed effects?

7 votes
1 answer
647 views

The length of the smallest co-prime chain between any two integers

4 votes
1 answer
330 views

Find the longest subsequence of two strings