203 reputation
17
bio website
location Russia
age
visits member for 2 years, 6 months
seen 19 hours ago

Mar
24
comment Is there a reason to have a bottom type in a programming language?
Yes, the C is bizarre in this, especially in how the pointer and function pointer types are written. But void in Java is nearly the same: not really a type & can't have values.
Mar
24
comment Is there a reason to have a bottom type in a programming language?
@BasileStarynkevitch there are no values of type void, and unit type must have one value. Also, as you pointed out, you cannot even declare a value of type void, that means it's not even a type, just a special corner case in the language.
Mar
24
comment Is there a reason to have a bottom type in a programming language?
void is not even an unit type. void is pretty much useless.
Feb
28
comment Which version of Java should I use for a desktop application to reach the most users?
Java doesn't come preinstalled (unlike .NET on Windoze), so you'll have to include (a subset of) JRE with your application. So, you can use whatever is the best. That means — use latest stable version. (that means now — a version of JRE 1.8)
Feb
22
awarded  Announcer
Feb
13
comment Is throwing an exception an anti-pattern here?
@RobertHarvey Android™ developers talk to themselves all the time. This is a sign of professionalism.
Dec
31
awarded  Yearling
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.