Skip to main content
Computer Science
Bartosz Milewski's user avatar
Bartosz Milewski's user avatar
Bartosz Milewski's user avatar
Bartosz Milewski
  • Member for 7 years, 4 months
  • Last seen more than 1 year ago
Profile Activity

Stats

256
reputation
3k
reached
2
answers
0
questions
Communities
View all

About

Lapsed theoretical physicist turned programmer. Lapsed C++ programmer turned Haskell programmer. Interested in category theory and functional programming.

Badges

This user doesn’t have any gold badges yet.
2
silver badges
3
bronze badges

Top tags

14
Score
2
Posts
100
Posts %
10
Score
1
Posts
50
Posts %
4
Score
1
Posts
50
Posts %

Top posts

10
Why must a function with polymorphic type `forall t: Type, t->t` be the identity function?
Sep 17, 2018
4
Why does the category of language types have morphisms, not functors?
Dec 15, 2019

Top network posts

View all network posts
215
C++ terminate called without an active exception
112
Function returning a lambda expression
86
Monads as adjunctions
48
Why can you return a std::unique_ptr without std::move?
48
What is Applicative Functor definition from the category theory POV?