News for hackers. Stuff that matters.

A comment on Revenge of the Types. Parent comment

Re:Revenge of the Types by jshen on Monday August 25, 2014 @09:58PM (#8225308)
The way to reduce lines of code is to create good abstractions. Some languages may be better at this than others, and I think this is more important than the type system of the language.
[ Parent | on HN ]
Re:Revenge of the Types by dllthomas on Tuesday August 26, 2014 @12:29PM (#8228052)
In some languages, the type system helps quite a bit in creating abstractions.
[ Parent | on HN ]
Re:Revenge of the Types by jshen on Wednesday August 27, 2014 @01:43PM (#8233492)
I doubt it makes it easier to create abstractions compared to a lisp.
[ Parent | on HN ]
Re:Revenge of the Types by dllthomas on Wednesday August 27, 2014 @02:04PM (#8233650)
There are upsides and downsides to working in something with a sufficiently useful type system versus working in a lisp - even as pertains specifically to abstractions.

You can doubt, but I'm speaking from some experience with both. That doesn't necessarily mean I'm right, of course, but take it for what it's worth.

[ Parent | on HN ]