Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Dan Oneață
Bucharest, Romania
top
accounts
reputation
activity
subscriptions
Top Questions
10
votes
Initial algebra for rose trees
haskell
recursion
algebra
algebraic-data-types
category-theory
asked Aug 26, 2017 at 23:02
stackoverflow.com
9
votes
What effects are modeled by the stream (infinite list) monad?
list
haskell
stream
monads
asked Feb 14, 2018 at 12:19
stackoverflow.com
9
votes
Categorical structure in Haskell
haskell
category-theory
asked Jun 7, 2018 at 7:28
stackoverflow.com
8
votes
Why do initial algebras correspond to data and final coalgebras to codata?
haskell
recursive-datastructures
category-theory
asked Aug 22, 2018 at 13:24
stackoverflow.com
6
votes
A categorical view on applicative containers
haskell
functor
dependent-type
applicative
category-theory
asked Sep 30, 2018 at 20:00
stackoverflow.com
5
votes
Does $A \lor \neg A$ assert decidability in intuitionistic logic?
logic
constructive-mathematics
intuitionistic-logic
asked Nov 23, 2015 at 20:10
math.stackexchange.com
5
votes
Proving the fusion law for unfold
haskell
recursion
proof
induction
recursion-schemes
asked Aug 13, 2017 at 22:25
stackoverflow.com
Top Answers
7
Python - generate array of specific autocorrelation
stackoverflow.com
7
sklearn: User defined cross validation for time series data
stackoverflow.com
5
Monoidal Functor is Applicative but where is the Monoid typeclass in the definition of Applicative?
stackoverflow.com
Stack Exchange works best with JavaScript enabled
stackoverflow.com
math.stackexchange.com