Computer Science
winitzki's user avatar
winitzki's user avatar
winitzki's user avatar
winitzki
  • Member for 3 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
263
reputation
2k
reached
12
answers
1
question
Communities
View all
About

Software developer, Scientist, Mathematician, Musician.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
7
Score
7
Posts
54
Posts %
5
Score
7
Posts
54
Posts %
4
Score
4
Posts
31
Posts %
3
Score
7
Posts
54
Posts %
1
Score
3
Posts
23
Posts %
1
Score
3
Posts
23
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
7
How to prove that the Church encoding, forall r. (F r -> r) -> r, gives an initial algebra of the functor F?
Nov 3, 2020
answer
2
Is Category Theory useful for learning functional programming?
Dec 7, 2019
answer
2
Proving monad laws for flatMap and unit, given laws for compose and unit
Dec 13, 2022
answer
1
Why is the type ∀t.t un-inhabited in System F?
Sep 29, 2022
answer
1
Rigorous proof that parametric polymorphism implies naturality using parametricity?
Sep 29, 2022
answer
1
Curry–Howard correspondence and functional programming "reliability"
Dec 15, 2022
answer
1
Functional Programming and Category Theory
Feb 27
answer
1
Applying FP/Categorical terminology to non-FP languages
Mar 13
answer
0
What is the difference between $ \alpha \to \alpha $ vs $ \forall \alpha. \alpha \to \alpha$?
Dec 14, 2022
answer
0
Why are the laws of an applicative functor defined the way they are?
Dec 14, 2022
Top network posts
View all network posts
67
Difference between declare-styleable and style
28
Is this property of a functor stronger than a monad?
20
Change MacOS X guest screen resolution for VirtualBox
19
Change User Agent in UIWebView
18
How to zoom a view in UIScrollView with anchor point in center?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.