functional-programming

1662 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Problem with given instances writing MTL style code with Scala cats
user_192148230
•
7
1
221
given scala-cats monad-transformers scala functional-programming
Tail recursion elimination on conditional types doesn't work
user_18720460
•
3
1
126
continuation-passing typescript trampolines functional-programming types
How do I get an Option<T> from an Entity Framework Core database call?
user_68266770
•
3
1
83
language-ext functional-programming c#
How do I show that if a hypothesis implies not, it's the same as saying the proposition equals false (coq)?
user_191229830
•
1
1
41
coq-tactic coq proof functional-programming
Does future in c++ corresponding to promise in javascript?
user_178908740
•
5
2
161
functional-programming c++ javascript
Haskell MVar & Text laziness comparison
user_88152670
•
1
1
88
lazy-evaluation functional-programming haskell
Haskell Strict MVar with Bang pattern
user_88152670
•
4
1
98
lazy-evaluation functional-programming haskell
Is there a name for mapping recursive data types based on terminals and their ancestries?
user_12434450
•
6
1
142
functor functional-programming haskell
How can I add constraints to a type in a data type in haskell?
Admin1
•
1
0
43
programming-languages functional-programming haskell types
How can I execute 2 http calls after each other, but do not wait for the second one to complete, using rxjs?
user_50445610
•
2
2
71
rxjs angular typescript http functional-programming
Hot Questions