The Artima Developer Community
Sponsored Link

Weblogs Forum
Programming with "Duh" Typing

370 replies on 371 pages. Most recent reply: Aug 8, 2007 9:54 AM by James Watson

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 370 replies on 371 pages [ « | 1 ... 17 18 19 20 21 22 23 24 25 ... 371  | » ]
Carson Gross

Posts: 153
Nickname: cgross
Registered: Oct, 2006

Re: Programming with "Duh" Typing Posted: Jul 8, 2007 7:47 AM
Reply to this message Reply
Advertisement
> As two chances to think about your code. As "pair
> programming with Java". You are reminded to think about
> the left side, which should be an interface. And is this
> a List or a Set? Is there an order, can an element appear
> twice, think!. Maybe it's a Map!

By application of the inductive hypothesis, I propose:

List foo is_a List = (List) new create allocate ArrayList() is_a List as List

My God. Think of the productivity.

Here's a mental exercise: every time you use your IDE to generate a bunch of boilerplate java code, think to yourself: why isn't the compiler doing this? My conclusion is that it is primarily due to a lack of two things: type inference and closures.

What's that saying about arguments and the internets?

Cheers,
Carson

Flat View: This topic has 370 replies on 371 pages [ « | 17  18  19  20  21  22  23  24  25 | » ]
Topic: Programming with "Duh" Typing Previous Topic   Next Topic Topic: Python 3000 Plea for Help

Sponsored Links



Google
  Web Artima.com   

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