User Bartosz Milewski - Stack Overflow

293 votes

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

answered Dec 16, 2011 at 0:10

215 votes

Accepted

C++ terminate called without an active exception

answered Nov 3, 2011 at 0:37

48 votes

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

answered Nov 30, 2010 at 23:00

48 votes

Accepted

What is Applicative Functor definition from the category theory POV?

answered Jan 27, 2016 at 20:46

46 votes

Is unique_ptr thread safe?

answered Jul 14, 2012 at 17:30

24 votes

Accepted

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

answered Apr 25, 2018 at 18:20

18 votes

Making multiple API calls in a functional way

answered Jan 8, 2018 at 11:46

16 votes

Accepted

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

answered Jan 29, 2018 at 14:46

14 votes

Is this an accurate example of a Haskell Pullback?

answered Aug 20, 2016 at 0:15

13 votes

What is difference between Coyoneda and free-functors

answered Feb 24, 2018 at 10:04

13 votes

Accepted

Is Last a free monoid?

answered Sep 17, 2020 at 2:56

13 votes

Accepted

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

answered Jun 2, 2018 at 21:18

12 votes

What is an existential type?

answered Apr 13, 2009 at 1:12

11 votes

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

answered May 30, 2023 at 9:30

8 votes

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

answered Jul 21, 2019 at 15:38

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?

answered Oct 19, 2020 at 17:15

7 votes

Accepted

What does the universe mean?

answered Sep 18, 2019 at 22:49

7 votes

Difference between initial and terminal objects in a category

answered Nov 7, 2020 at 4:53

7 votes

Reading interlocked variables

answered Apr 23, 2009 at 3:19

6 votes

Accepted

Generalization of strong and closed profunctors

answered Mar 13, 2019 at 2:06

6 votes

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

answered Jul 14, 2012 at 17:38

5 votes

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

answered Apr 25, 2017 at 19:56

4 votes

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

answered May 23, 2016 at 2:20

4 votes

Accepted

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

answered Mar 8, 2012 at 23:01

4 votes

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

answered Aug 22, 2018 at 22:23

3 votes

Can I force cache coherency on a multicore x86 CPU?

answered Apr 13, 2009 at 20:52

2 votes

About the non-nullable types debate

answered Apr 13, 2009 at 19:56

2 votes

Monads as adjunctions

answered Jan 15, 2011 at 21:51

2 votes

Accepted

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

answered Oct 23, 2011 at 20:05

2 votes

What does fantasy-land/id do?

answered Nov 27, 2019 at 3:37

Collectives™ on Stack Overflow

49 Answers

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

C++ terminate called without an active exception

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

What is Applicative Functor definition from the category theory POV?

Is unique_ptr thread safe?

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

Making multiple API calls in a functional way

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

Is this an accurate example of a Haskell Pullback?

What is difference between Coyoneda and free-functors

Is Last a free monoid?

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

What is an existential type?

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

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

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?

What does the universe mean?

Difference between initial and terminal objects in a category

Reading interlocked variables

Generalization of strong and closed profunctors

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

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

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

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

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

Can I force cache coherency on a multicore x86 CPU?

About the non-nullable types debate

Monads as adjunctions

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

What does fantasy-land/id do?