Petr
  • Member for 9 years, 5 months
  • Last seen more than a month ago
7 answers
132 votes
36k views
137 bookmarks
Is Category Theory useful for learning functional programming?
2 answers
31 votes
9k views
23 bookmarks
How do Functional Reactive Programming and the Actor model relate to each other?
5 answers
30 votes
6k views
20 bookmarks
Clear, intuitive derivation of the fixed-point combinator (Y combinator)?
3 answers
17 votes
690 views
10 bookmarks
Studying Programming Language Theory
2 answers
13 votes
1k views
9 bookmarks
Lambda calculus: difference between contexts and evaluation contexts
1 answers
11 votes
4k views
5 bookmarks
Finding the longest repeating subsequence
2 answers
8 votes
380 views
2 bookmarks
Type-system combining type-states and typed effects?
1 answers
7 votes
645 views
2 bookmarks
The length of the smallest co-prime chain between any two integers
1 answers
4 votes
322 views
2 bookmarks
Find the longest subsequence of two strings