functional-programming

1662 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How can i use function reference inside enum?
user_67671020
•
2
1
108
kotlin jvm functional-programming
Need hints about proving some intuitionistic logic statements
user_135187840
•
2
1
68
dependent-type agda functional-programming
Lombok Immutable: Constructor to make deep copy of parameters
user_17646480
•
2
2
5279
lombok immutability functional-programming java
What constitutes codata in the context of programming?
user_55363150
•
6
1
954
codata corecursion recursion functional-programming haskell
How to make a function call itself n times
user_51389600
•
2
3
261
church-encoding currying function functional-programming javascript
What is the difference between pure and view modifiers in solidity?
user_48965690
•
7
2
4877
blockchain smartcontracts solidity ethereum functional-programming
Convincing Agda that a recursive function is terminating
user_134506730
•
2
1
346
agda termination functional-programming
Why do we use sequence to expression conversion in lisp interpreters?
user_135031350
•
2
1
70
scheme lisp functional-programming
Difference between * (star) and _ (underscore) in type parameter
user_70391200
•
3
1
831
kind-projector scala-cats scala functional-programming
Intermediate values during folding?
user_49808960
•
2
2
154
scala functional-programming
Hot Questions