The Artima Developer Community
Sponsored Link

Articles Forum
Time is the New Memory

46 replies on 4 pages. Most recent reply: Oct 2, 2009 3:25 PM by Raoul Duke

Welcome Guest
  Sign In

Go back to the topic listing  Back to Topic List Click to reply to this topic  Reply to this Topic Click to search messages in this forum  Search Forum Click for a threaded view of the topic  Threaded View   
Previous Topic   Next Topic
Flat View: This topic has 46 replies on 4 pages [ « | 1 2 3 4 ]
Raoul Duke

Posts: 127
Nickname: raoulduke
Registered: Apr, 2006

Re: Time is the New Memory Posted: Oct 2, 2009 3:21 PM
Reply to this message Reply
Advertisement
> It seems to me that all advancements with respect to
> languages have somehow been rooted in removing choice. GC,
> a now trite example I think, said to developer's "Managing
> your own memory is hard. No, really, it's hard. Trust me.
> So I am not going to let you do it."

some people have said that <a href="http://lambda-the-ultimate.org/node/2990">gc is like stm</a>. there are probably some high-level parallels to be drawn.

memory and resource management are more complicated than just leaving it up to the GC. people forget that, and we end up with really crappy code.

and on the whole i really like GC, don't get me wrong.

Raoul Duke

Posts: 127
Nickname: raoulduke
Registered: Apr, 2006

Re: Time is the New Memory Posted: Oct 2, 2009 3:25 PM
Reply to this message Reply
> Compare with the proposed analogy, the advent of GC:
> pre-GC I had to be pretty smart all the time. Then GC
> came along and, to a reasonable approximation, I could be
> pretty stupid all the time. (Or apply my admittedly
> limited brain power to problems other than memory
> management.) I wrote the same code I always did, but just
> left off the memory management bits.

only if you were a really good, careful, programmer in the first place. like, if you are the kind of person who draws little maps on grid paper when playing adventure games.

i love gc. really. but it is such a small part of the overall story of memory, let alone resources in general, management! ask any maintenance programmer who has had to try to fix the bloody memory leaks in a java/c#/lisp/python/whatever-gcd-language-you-like system.

> Until I see a concurrency proposal that is that big of a
> win with very little cost, I'll remain skeptical of wide
> adoption. STM might be it, but it's going to have to be
> dead simple (from the users perspective) STM that melts
> into the background for most developers. And I remain
> skeptical that this is, finally, the moment that
> functional programming has been waiting for.

here's the problem: semantics.

at the moment, we do not have an AI that can say what parts of code need to be in the same transaction (this is the "external" race problem i said before). therefore, we cannot have a miraculous approach to concurrency where we omit more code (per how you describe the wins of GC).

sincerely.

Flat View: This topic has 46 replies on 4 pages [ « | 1  2  3  4 ]
Topic: From JavaOne 2009: On Trust and Types Previous Topic   Next Topic Topic: Scala's Selfless Trait Pattern

Sponsored Links



Google
  Web Artima.com   

Copyright © 1996-2019 Artima, Inc. All Rights Reserved. - Privacy Policy - Terms of Use