Skip to main content
Bartosz Milewski's user avatar
Bartosz Milewski's user avatar
Bartosz Milewski's user avatar
Bartosz Milewski
  • Member for 16 years, 9 months
  • Last seen this week
293 votes

How does std::forward work, especially when passing lvalue/rvalue references?

215 votes
Accepted

C++ terminate called without an active exception

48 votes

Why can you return a std::unique_ptr without std::move?

48 votes
Accepted

What is Applicative Functor definition from the category theory POV?

46 votes

Is unique_ptr thread safe?

24 votes
Accepted

How is "a monoid on applicative functors" different than "a monoid in the category of endofunctors"?

18 votes

Making multiple API calls in a functional way

16 votes
Accepted

Once I have an F-Algebra, can I define Foldable and Traversable in terms of it?

14 votes

Is this an accurate example of a Haskell Pullback?

13 votes

What is difference between Coyoneda and free-functors

13 votes
Accepted

Is Last a free monoid?

13 votes
Accepted

What kind of morphism is `filter` in category theory?

12 votes

What is an existential type?

11 votes

Monad and Functor law for Monad and Functor type class in Haskell

8 votes

What concept in category theory can be used to represent a typeclass?

7 votes
Accepted

If Either can be either Left or Right but not both, then why does it correspond to OR instead of XOR in Curry-Howard correspondence?

7 votes
Accepted

What does the universe mean?

7 votes

Difference between initial and terminal objects in a category

7 votes

Reading interlocked variables

6 votes
Accepted

Generalization of strong and closed profunctors

6 votes

std::async not starting new threads with std::launch::async policy

5 votes

What are the situations when you can/cannot have a Functor instances for a datatype?

4 votes

Do all Type Classes in Haskell Have a Category Theoretic Analogue?

4 votes
Accepted

Do any C++11 thread-safety guarantees apply to third-party thread libraries compiled/linked with C++11?

4 votes

Why do initial algebras correspond to data and final coalgebras to codata?

3 votes

Can I force cache coherency on a multicore x86 CPU?

2 votes

About the non-nullable types debate

2 votes

Monads as adjunctions

2 votes
Accepted

Could iostream inserters and extractors be class members instead of global overloads?

2 votes

What does fantasy-land/id do?