fixpoint-combinators

14 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
higher order fix point in OCaml
user_2421890
•
3
0
131
fixpoint-combinators higher-kinded-types ocaml haskell
Why doesn't this fixed-point computation stop?
user_34235030
•
3
2
115
infinite-recursion fixpoint-combinators infinite-loop lazy-evaluation haskell
Translating a fixed-point operator to Haskell language
user_97592630
•
4
1
163
fixpoint-combinators code-translation haskell javascript types
How `fix f = let {x = f x} in x` is evaluated?
user_6525280
•
8
1
208
fixpoint-combinators evaluation lazy-evaluation haskell
How to prove that the Church encoding, forall r. (F r -> r) -> r, gives an initial algebra of the functor F?
user_5939340
•
2
0
86
type-theory fixpoint-combinators recursion-schemes church-encoding functional-programming
Cases in which we shall not use monadic bind to write mfix down using loop
user_111437630
•
5
1
180
fixpoint-combinators arrows monads haskell
Is it possible to write down a sharing fix point-free?
user_111437630
•
3
1
94
fixpoint-combinators ghc optimization haskell
What order do "least" and "greatest" refer to when talking about fixed point?
user_4024280
•
8
1
252
fixpoint-combinators haskell
Fix and Mu isomorphic
user_27180640
•
7
1
320
fixpoint-combinators recursion-schemes haskell
How to understand/use Haskell fix function
user_7055100
•
2
1
215
fixpoint-combinators haskell
Hot Questions