Reputation
Top tag
Next privilege 200 Rep.
See reduced ads
Badges
4
Newest
 Critic
Impact
~2k people reached

  • 0 posts edited
  • 0 helpful flags
  • 4 votes cast
Apr
8
awarded  Critic
Apr
8
comment Is Haskell's type system formally equivalent to Java's?
The chosen answer mentioned 'complete type inference' in the 'Principal typing' section. Java can sort of emulate sums with subtypes and runtime type information, but as you say it is not the same as the sum isn't a holistic attribute of the type system.
Apr
8
comment Is Haskell's type system formally equivalent to Java's?
@ErikAllik he did mention the powerful type inference in the 'Principal typing' section.
Nov
27
awarded  Supporter
Nov
27
comment I am a git user confused by mercurial's branching. How am I supposed to track small changes?
There is no way to guarantee that all decentralized copies of changesets that record a named branch have been deleted after executing hg strip. I guess one could argue the same about decentralized copies of Git branch names, except the distinction that named branches have a global name space and Git branch names do not. And multiple heads exist because of name branches. It is sort an infectious design error for a decentralized VCS.
Aug
17
comment Generics and Type-erasure
Another reason to favor erased generics is because dependencies should be injected in a way that respects the solution to the Expression Problem. If you are testing for specific cases of types or hardcoding a factory in your generic function, then you are doing extensibility wrong.
Sep
24
awarded  Autobiographer
Sep
27
comment Generics and Type-erasure
nuttycom's logic on why reified generics are evil.
Sep
20
awarded  Teacher
Sep
20
answered Generics and Type-erasure
Mar
2
comment What's the difference between Scala and Red Hat's Ceylon language?
I demonstrated how to code a union type in Scala (see last update), and it is nearly first-class.