Petr Pudlák

less info

network profile

1,605 reputation

320

bio	website	petr.pudlak.name
	location	Czech Republic
	age
visits	member for	9 months
	seen	yesterday
stats	profile views	60

summary answers questions tags badges favorites bounties reputation activity

21 Answers

votes activity newest

16	In what programming language did “let” first appear?
16	Different ways to see a monad
10	What is the advantage of currying?
10	How often is seq used in Haskell production code?
6	What can Haskell's type system do that Java's can't and vice versa?

view more

1,605 Reputation

+5	Is there a modified LGPL license that allows static linking?
+20	What is the name of λx.λf.fx (like reverse apply) in lambda calculus? Does the corresponding function have a standard name in programming?
+10	In what programming language did “let” first appear?
+5	Critique of the IO monad being viewed as a state monad operating on the world

view more

13 Questions

votes activity newest

34	Critique of the IO monad being viewed as a state monad operating on the world
12	Why does Haskell have built-in “if/then/else” instead of defining it as a simple library function?
12	Why doesn't Haskell have type-level lambda abstractions?
8	Why (or why not) are existential types considered bad practice in functional programming? [closed]
8	Does a BSD-licensed project need a signed statement from each contributor?

view more

58 Tags

70 haskell × 18	16 history
48 functional-programming × 15	16 side-effect
23 monad × 4	11 java × 4
16 lisp	10 currying
16 clojure	10 stackoverflow

view more

36 Accounts

	Stack Overflow	11,434 rep	11670
	Programmers	1,605 rep	320
$Mathematics Stack Exchange$	Mathematics	1,278 rep	13
	Computer Science	927 rep	19
	Theoretical Computer Science	677 rep	10

17 Badges

recent class name

Nice Question × 3	Critic
Nice Answer × 4	Peer Pressure
Caucus	Commentator
Enlightened × 2	Scholar
Announcer	Benefactor

view more

0 Active bounties

active offered earned

This user has no active bounties

106 Votes Cast

all time			by type			month
105	up		28	question		10
1	down		78	answer		10

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.21.695