2,349 reputation
627
bio website petr.pudlak.name
location Czech Republic
age
visits member for 1 year, 11 months
seen 8 hours ago

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
Jul
2
awarded  Curious
May
5
comment Guidelines for returning collections from public functions
@TobiasBrandt I updated the example showing the changes when replacing Set with HashSet.
May
5
revised Guidelines for returning collections from public functions
added 1363 characters in body
May
4
comment Guidelines for returning collections from public functions
@TobiasBrandt No, I'm not aware of any packages that follow the second approach. I agree, it's similar to C, with the small difference that by supplying the singleton function explicitly, we can avoid ambiguous types (at the cost of client having to supply it every time and perhaps also RankNTypes).
May
4
comment Guidelines for returning collections from public functions
@TobiasBrandt Yes, you need to decide it, but you're not bound by the implementation. If you later decide to change the internal representation from Set to HashSet, you can just replace resultToSet by a more sophisticated conversion. So clients won't be dependent on the internal representation.
May
3
answered Guidelines for returning collections from public functions
Feb
22
awarded  Popular Question
Feb
8
awarded  Popular Question
Jan
31
comment Dynamic vs Statically typed languages for websites
Cartesian Closed Comic #17: Typing
Jan
28
comment Returning different types from one function in a dynamically typed language
@MainMa In Scala, Iterator[A] has method def sum[B >: A](implicit num: Numeric[B]): B, which again allows to sum any kind of numbers and is checked at compile time.
Jan
1
answered I cant get myself to sit down and start coding
Jan
1
awarded  Organizer
Jan
1
revised I cant get myself to sit down and start coding
Added tags
Jan
1
suggested suggested edit on I cant get myself to sit down and start coding
Dec
19
answered Building proprietary software over haskell compiler
Nov
15
awarded  Announcer