Stack Exchange
sign up
|
log in
|
Programmers
Questions
Tags
Tour
Users
Ask Question
Petr Pudlák
less info
network profile
1,605
reputation
3
20
bio
website
petr.pudlak.name
location
Czech Republic
age
visits
member for
9 months
seen
yesterday
stats
profile views
60
1,605
reputation
bio
website
petr.pudlak.name
visits
member for
9 months
3
20
badges
location
Czech Republic
seen
yesterday
summary
answers
questions
tags
badges
favorites
bounties
reputation
activity
10
Accepts
suggestions
reviews
revisions
comments
badges
posts
accepts
all
Apr
24
accepted
Why does Haskell have built-in “if/then/else” instead of defining it as a simple library function?
Feb
6
accepted
Is it fair to require copyright assignments from contributors of an OS project?
Feb
3
accepted
Does a BSD-licensed project need a signed statement from each contributor?
Feb
3
accepted
What's the proper term for a function inverse to a constructor - to unwrap a value from a data type?
Feb
3
accepted
Naming conventions for newtype deconstructors (destructors?)
Feb
3
accepted
How to read Scala code with lots of implicits?
Jan
31
accepted
Why doesn't Haskell have type-level lambda abstractions?
Dec
9
accepted
What does “polyadic” mean in the context of functional programming and type systems?
Nov
13
accepted
What is the correlation between programming language and experience/skills of their users?
Sep
10
accepted
Critique of the IO monad being viewed as a state monad operating on the world
Programmers Stack Exchange works best with JavaScript enabled
network profile
