Skip to main content
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay's user avatar
Agnishom Chattopadhyay
PhD Student @ Rice University
  • Member for 13 years
  • Last seen more than a month ago
Profile Activity

Stats

2,041
reputation
50k
reached
10
answers
45
questions
Communities
View all

About

Words which describe me do not exist!

Badges

View all badges
This user doesn’t have any gold badges yet.
16
silver badges
33
bronze badges

Top tags

View all tags
6
Score
24
Posts
44
Posts %
4
Score
4
Posts
7
Posts %
3
Score
5
Posts
9
Posts %
1
Score
8
Posts
15
Posts %
1
Score
3
Posts
5
Posts %
0
Score
5
Posts
9
Posts %

Top posts

View all questions, answers, and articles
question
27
Contradictory Behaviour of Lambda Functions
Dec 8, 2016
question
13
Relation between `<*>` and `<$>`
Nov 14, 2017
question
13
Is it recommended to use recursive IO actions in the tail recursive form?
Nov 11, 2017
question
12
Encoding universal types in terms of existential types?
Nov 19, 2018
question
10
How does one implement graph algorithms that require efficient contraction and expansion of connected components?
Apr 1, 2018
question
8
Nested States in Haskell
Dec 4, 2019
question
6
What is positivity checking? [duplicate]
Jul 9, 2018
question
6
Composing Programs in the Elm Architecture
Jul 3, 2018
question
6
What is the free monads vs mtl debate?
May 26, 2018
question
6
Why are database queries a good place to use Arrows?
May 9, 2018

Top network posts

View all network posts
126
Counterintuitive examples in probability
57
Can you have your lunch at your work-desk in France?
42
Proof assistants for beginners - a comparison
19
Which programming languages are most similar to proof assistants?
18
When to use coinductive types?