1,023 reputation
410
bio website
location
age
visits member for 3 years
seen Sep 9 at 21:02

Jul
22
comment Getting non-programmers to understand the development process
-1 @ThorbjørnRavnAndersen is correct. This post is wrong. It is very possible to prove programs correct (up to a certain notion of correctness), some of us do it all the time. I think the poster misunderstands the epistemological consequence of the halting problem, and is thus confusing non-programmers with untrue claims.
Jun
4
comment Is there a language where collections can be used as objects without altering the behavior?
have you ever met the list monad?
Jun
2
answered Historical origins of Scala implicits
Apr
14
comment What's the difference between recursion and corecursion?
@user1131997 Thanks. I'm planning on translating some of the code into Java, stay tuned
Apr
14
answered What's the difference between recursion and corecursion?
Feb
9
answered Why should I prefer composition over inheritance?
Dec
27
answered How to spread awareness for generic programming among team members?
Nov
11
awarded  Critic
Sep
12
awarded  Supporter
Sep
5
revised What is better for prototyping: a statically-typed language, or a dynamically-typed one?
added 65 characters in body
Sep
5
answered What is better for prototyping: a statically-typed language, or a dynamically-typed one?
Sep
4
comment Is return-type-(only)-polymorphism in Haskell a good thing?
@Jörg W Mittag It's not totally irrelevant. I've edited to adress your comment.
Sep
4
revised Is return-type-(only)-polymorphism in Haskell a good thing?
added 752 characters in body
Sep
4
awarded  Nice Answer
Sep
4
revised Is return-type-(only)-polymorphism in Haskell a good thing?
added 3 characters in body
Sep
4
revised Is return-type-(only)-polymorphism in Haskell a good thing?
added 1271 characters in body
Sep
4
comment Is return-type-(only)-polymorphism in Haskell a good thing?
@ysdx Thats true. And in languages that support implicit parameters you get something very close to haskell's type classes (like in Scala). I was aware of that. My point though was that this makes life pretty difficult: I find myself having to use containers that store the "typeclass" all over the place (yuck!). Still, I probably should have been less hyperbolic in my answer.
Sep
3
awarded  Teacher
Sep
3
awarded  Editor
Sep
3
revised Is return-type-(only)-polymorphism in Haskell a good thing?
It got moved