183 reputation
6
bio website
location Russia
age
visits member for 2 years, 3 months
seen Dec 6 at 20:26

Nov
29
comment Why these attempts to water down Scala with Xtend and Kotlin?
…and it's only supported in Eclipse. Right? And Eclipse is a hell…
Oct
12
comment Is it possible to have Ad-Hoc polymorphism with runtime dispatch?
Okay, but the question is about such possibility in theory & in other/new languages. Your comment talks about Haskell, but this doesn't mean that what is impossible in Haskell is impossible at all.
Oct
12
comment Is it possible to have Ad-Hoc polymorphism with runtime dispatch?
Yes, but what if Num a will really be a type? Is it possible?
Oct
11
comment Is it possible to have Ad-Hoc polymorphism with runtime dispatch?
This will be invalid, of course. But I think that this is not enough to disallow this entirely.
Oct
11
comment Is it possible to have Ad-Hoc polymorphism with runtime dispatch?
Why? if you are talking about expression add x one, the types of add and one can be inferred from runtime type of x, aren't they? And if "generic values" were permitted, a sole value one with unknown concrete type can also exist, and a concrete type will be chosen later, when it's used. Why not?
Oct
10
asked Is it possible to have Ad-Hoc polymorphism with runtime dispatch?
Sep
30
awarded  Excavator
Sep
30
revised Dynamic vs Statically typed languages for websites
Go is not a good example here (it doesn't even have generics…)
Sep
30
suggested approved edit on Dynamic vs Statically typed languages for websites
Sep
27
comment Why do most programming languages have special keyword or syntax for declaring functions?
"…and C# to attract Java programmers" — this is questionable, C# is much more similar to C++ than is Java. and sometimes it looks like it was made intentionally incompatible with Java (no wildcards, no inner classes, no return type covariance…)
Aug
13
comment How do you cope with ugly code that you wrote?
@muntoo wow, nice abuse of for!
Aug
13
awarded  Commentator
Aug
13
comment Has “Not everyone can be a programmer” been studied?
The test given in your link is not entirely correct. It's about reasoning about assignment operations, but there are languages which don't have such operations: what about programming in Haskell? Or programming in Scheme in functional style? (like in the first chapters of the SICP book) Maybe these people can program in such languages easily.
Jun
29
revised What are the benefits of Android way of “saving memory” - explicitly passing Context objects everywhere?
spelling, etc
Jun
23
comment Is there a language that transcompiles to C with a better syntax?
C is very far away from the assembly...
Jun
18
comment Why was C# made with “new” and “virtual+override” keywords unlike Java?
Hmm, the difference is that base class can't call "overridden" methods of the container class. But anyway, if a person abuses this feature, it is not the language problem, I think...
Jun
18
comment Why was C# made with “new” and “virtual+override” keywords unlike Java?
@Doval this scenario can be done with composition, too, isn't it?
Jun
18
comment Why was C# made with “new” and “virtual+override” keywords unlike Java?
@Doval how it is related to the inheritance? Even if the base class method is non-virtual, you can break derived classes by changing its implementation if a derived class depends on a property of this method that will no longer hold. And you can do it even without inheritance at all... Why this is a special case?
Jun
18
comment Why was C# made with “new” and “virtual+override” keywords unlike Java?
Java has final modifier, so what's the problem?
Jun
8
comment How do you encode Algebraic Data Types in a C#- or Java-like language?
>"Solve problems using OOP. Don't try using any other paradigm." What if I hate OOP? codegolf.stackexchange.com/a/24887/6485