680 reputation
714
bio website
location United States
age 26
visits member for 3 years, 8 months
seen 3 hours ago

Oct
18
comment A good generic type system
There's nothing wrong with Java's generic wild cards or bounds. The problem with Java's generics is due to type erasure. I have at one point or another wished C# has wildcard types; I had to circumvent that weakness with an inferior design.
Oct
10
comment What drawbacks are there to condition-based scope?
Don't make your language crazier than PHP please.
Oct
10
comment How can IO cause side effects in Functional Programming?
@BasileStarynkevitch: Languages exist outside of implementations. The language does not concern itself with CPUs and stuff. Haskell (the language) is not choosing to ignore said side effects because there aren't any in Language Heaven. (Related: Haskell is Turing complete, but no implementation could ever be).
Oct
6
comment On GitHub, etiquette and pull requests
@Greg: If said project creator did not want arbitrary people to merge in changes, they can configure github to do so. Fork all you want because it can't mess up their branch. Presumably you need credentials to merge back in.
Oct
3
comment Can we technically un-blur images?
Hollywood proves it! youtube.com/watch?v=3EwZQddc3kY&t=0m11s
Sep
22
comment Why is there no 'finally' construct in C++?
You are missing the reference capture in your lambda. Should be Finally atEnd([&] () { database.close(); }); Also, I imagine the following is better: { Finally atEnd(...); try {...} catch(e) {...} } (I lifted the finalizer out of the try-block so it executes after the catch blocks.)
Sep
16
revised Static typing vs. dynamic typing
Incorrect jargon
Sep
16
suggested suggested edit on Static typing vs. dynamic typing
Sep
12
comment Is $.proxy a code smell?
stackoverflow.com/questions/10496932/is-jquery-a-monad
Sep
10
comment Java labels. To be or not to be
@MichaelT: You forgot if, while, for, func(), finally, etc.
Sep
10
comment Is there any logical reason to auto-generate code documentation?
Short answer: No.
Sep
6
comment What is use of universal character names in identifiers in C++
Interesting use case. Though I suspect (when possible) it would be nicer to write a small C file to translate the name (and thus can use the C++ identifier) and have C++ call that C function.
Aug
30
comment What specifically does expressive power refer to?
Turning incomplete languages exist and are still useful. Also remember that real machines are not Turing machines; they have finite memory.
Aug
26
comment Does a prose to code compiler exist?
@Raynos: Automation is orthogonal to speed.
Aug
26
comment Is method overloading anything more than syntactic sugar?
@WinstonEwert: Very much so. Even if is sugar over while.
Aug
26
comment Is method overloading anything more than syntactic sugar?
A language reduction from L to L' such that: (1) L contains L'. (2) For all language constructs in L, L' can express identical semantics. (Identical is stronger than equivalent.)
Aug
26
revised Algorithm to generate N random numbers between A and B which sum up to X
added 1 character in body
Aug
26
comment Algorithm to generate N random numbers between A and B which sum up to X
Whoops, I meant Gaussian.
Aug
26
answered Algorithm to generate N random numbers between A and B which sum up to X
Aug
26
comment Is method overloading anything more than syntactic sugar?
The ONLY reason I would consider overloading in Java not sugar would be because of its reflection capabilities. In C++ we have templates, and thus generic semantics would get lost. If (and that's a big if) C supported overloading (with consistent name mangling semantics), that would be sugar.