1,123 reputation
610
bio website
location
age
visits member for 3 years, 8 months
seen Apr 24 at 23:48

Aug
27
comment Scheme vs Haskell for an Introduction to Functional Programming?
@alternative parsec has a Monadic interface, but it also has an Applicative interface, not to mention numerous other functions. It isn't that unreasonable to introduce Parsec before the monadic generalization
Aug
4
comment What backs up the claim that C++ can be faster than a JVM or CLR with JIT?
@gbjbaanb GC with finalizers is substantially different (and slower) than GC without at least on the JVM. Modern tracing GCs (without finalizers) tend to provide better performance than malloc and free most of the time since 1. memory is allocated by increasing a pointer (no data structure traversals) 2. less overhead from management strategies like reference counting 3. you only ever "free" giant blocks of memory. This is to say, you have to work hard to get the performance boost from C++ and even in the best of cases it mostly is from having less indirection.
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