2,774 reputation
1031
bio website petr.pudlak.name
location Czech Republic
age
visits member for 2 years, 9 months
seen 20 hours ago

Mar
24
awarded  Nice Question
Mar
13
comment Why (or why not) are existential types considered bad practice in functional programming?
@Den It's aimed to languages with strong type systems and ADTs, of which Haskell is the main representative. So I'm looking for both Haskell-specific and general answers.
Mar
7
comment Why (or why not) are existential types considered bad practice in functional programming?
@Ptolemy That's a matter of opinion. Using Haskell for years, I can't hardly imagine using a functional language that doesn't have a strong type system.
Mar
4
awarded  Nice Answer
Jan
10
revised How often is seq used in Haskell production code?
added links to conduit and pipes
Jan
9
awarded  Popular Question
Nov
27
awarded  Notable Question
Nov
21
awarded  Popular Question
Nov
7
comment I'm being warned that the Monoid I'm creating is an Orphan Instance. Is there a better way to write this functionality in?
@Josiah Exactly, that'd be my suggestion. Add other instances as needed, like Monad, Applicative etc. Extension GeneralizedNewtypeDeriving can save you a lot of work.
Nov
7
answered I'm being warned that the Monoid I'm creating is an Orphan Instance. Is there a better way to write this functionality in?
Oct
11
comment Is it possible to have Ad-Hoc polymorphism with runtime dispatch?
@SargeBorsch What if you have something like print one?
Oct
10
answered Is it possible to have Ad-Hoc polymorphism with runtime dispatch?
Oct
3
comment Alternative to language purity
You might be also interested in unique types, which is an alternative way for dealing with side affects to the IO monad. They're used in languages Clean and Mercury.
Sep
26
awarded  Notable Question
Sep
9
awarded  Good Answer
Aug
7
awarded  Yearling
Jul
24
answered Is immutability very worthwhile when there is no concurrency?
Jul
15
comment In what programming language did “let” first appear?
@JohanKarlsson I'm not claiming it is a direct answer, but I think this is also relevant to the topic. In particular why was let introduced, as the question starts with I was wondering about the origins of the "let" ...
Jul
6
asked Who invented Haskell's type classes?
Jul
3
awarded  Good Question