functional-programming

1662 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to extract the second element of Sigma on the Calculus of Constructions?
user_10317910
•
9
0
345
idris coq agda functional-programming haskell
Unable to generate random number F#
user_56096130
•
3
2
300
f# functional-programming
Composition of a hierarchy of functions
user_57680770
•
10
5
6343
hierarchy function-composition python functional-programming
C++ functional programming code snippets
user_16608230
•
6
1
1858
variadic-templates recursion c++11 functional-programming c++
RxSwift filter Variable array
user_7201330
•
5
3
11205
rx-swift swift functional-programming ios
Writing a parameterless function in Ramda in a point free style?
user_4386150
•
5
3
559
ramda.js functional-programming javascript
Java Lambda Referencing Enclosing Object: Replace with Private Static Class?
user_16515080
•
13
2
719
java-8 lambda functional-programming java
`Refl` thing in Calculus of Constructions?
user_11725410
•
10
2
944
morte dependent-type equality functional-programming haskell
Clean, simple function factories in R
user_11912590
•
6
1
335
r functional-programming
Are there benefits of strong typing besides safety?
user_11725410
•
8
4
1773
dependent-type type-systems functional-programming haskell types
Hot Questions