Buried under a ton of comments on Stevey Yegge's "Code's Worst Enemy" are two interesting ones from Matthias Felleisen. Here's the first:
"I am one of the few serious mainstream PL researchers who has stood up to 'type research' (as in types are all there is to a PL) for two decades now. Having said that, I still think that a knee-jerk reaction to static type systems is improper. When you maintain untyped code, it does become difficult what the three arguments to your method at line 123,765 represent: closures, objects, integers, and what 'invariants' they satisfy. I have watched a programmer struggle with just that issue, and it is a programmer whom I would trust with my life (as far as programming is concerned). If the types are written down (and checked and sound), you can save yourself some 15 minutes with every method you touch. Sure it adds a few token pieces of type info to the method header, but what's that compared to 20,000 methods touched times 1 - 15 minutes of 'manual type recovery.' And don't tell me about type inference for 'scripting languages'; I have also spent four dissertations and 20 years on this, plus a couple of years of trying to analyze Python, to know better. (It's kind of acceptable if the language is designed for it from the scratch.)"
I've seen this: years ago, I remember walking a (smart) developer who knew Java through some existing Python code, with the intent of teaching the language as well. Biggest obstacle to comprehension? Not knowing what the types of the method arguments were. By comparison everything else was merely odd. Any time I come to old Python code and see an argument called 'file'... well, I don't know, but it's not a good feeling. Method signatures are the only (I think) reason I'd go for optional type declarations in Python.
Here's the other:
"Steve wrote that "folks who wonder about how I could (re)write such a giant system without any "static" type annotations: http://tinyurl.com/26n2zq".
As a co-creator of gradual transformations from dynamically typed to
statically typed languages (see DLS 2006), I am perfectly aware of this
idea. The problem is that Ecmascript's implementation of the idea is
broken, unsound. So whatever advantages you would get from a sound
system, such as ML's or even Java's, you won't get from ES 4. (The most
you get is C's notion of types.)
Nobody has tested this notion
on a big style. At PLT, we have ported some 10,000 lines to a sound
system. Works like a charm and I firmly believe that soundness was
important. When you get a type bug at run-time it's not in the typed
part of your code. With Ecmascript, this is not true. You will need to
search the whole thing."
Squarely filed under I-had-no-idea-about-that-at-all.
Disclosure: Felleisen is one of my CS heroes. "A little Java, a few Patterns helped me grok a number of object oriented programming ideas.
19 Comments
Out of curiosity, have you tried clicking the "the first" or "the other" links? Just saying...
?????? ????????, ???? ????? ??????? ???????? ?????????, ????? ? ??? ??????? ???? ??????
?????? ???? ???? ??????????? ????? ??????????? ?????. ???? ?????? ? ???? ????? ? ????? ??????? ????????????? ???????. ??? ? ??? ????????? ???????????? ????? ?????, ? ????????? ??????? ????????? ???? (??? ?????? ???????? ?????, ?.?. ?? ????????? ? ???????). ???????? ??????, ?????????, ??????? ??????? ????????? ? ????? ???? ????????????? ?????????? - ??? ??????? ??????????. ??????? ? ?????? ??? ?? ???? ?????, ?? ??? ????? ????? ???????? ??? ?????????????. ???? ??? ????, ??? ????????? ???? ? ????? ????? ??? ??? ? ???? ???????????? ?????? ??????.
20100226SLLYP A great mbt shoes poem is a fountain forever overflowing with the waters of wisdom and delight.Poet I mbt shoes sale who puts up a ladder to a star and climbs it while playing a violin.Humor has been well defined as thinking in mbt walking shoes while feeling in earnest.Words have a magical power. They can bring mbt shoes review either the greatest happiness or deepest despair; can transfer knowledge from teacher to students words enable the mbt lami sale orator to sway his audience and dictate its decisions. Words are capable of cheap mbt shoes arousing the strongest emotions and prompting all sell mbt shoes actions. Do not ridicule the use of words in psychotherapy. http://www.mbtshoessaletoday.com/revi...
????, ???????, ??????????, ?? ??? ????? ???? ?????? ?????????? ??????????? ????? ? ???????, ??? ?? ??? ? III ??????? ?? ?????????
?????????, ?? ? ???? ?????? ?????????? ??????: ??? ??? ????????!
Thank you! I would now go on here every day!
http://www.infls.com
We are supply all kinds brand goods:
Shoes: Jordan, Nike,http://www.tougg.com Prada, Puma, LV, Timberland, Pual Smith, D&G, Supra, Adidas, Yeezy, ATO, CR etc.
Clothing: Coat, Jacket, T-shirt, Suit, Sweater, Jeans, Bikini, Jersey etc.
Handbags: Coach, Berberry, Balenciaga, http://www.bayugg.comJuicy, LV, ED-Hardy, MIUMIU, Chanel, Chole etc.
Accessories: Belts, Sunglasses, Hats, Necktie,http://www.tougg.com Scarf, Jewelry etc.
As the commodities we supply are of excellent quality http://www.aheadtrade.com and low price,
we have won a very good reputation from our clients all over the world.
If you are interested in any of our products, please don't hesitate to contact with me by email.
I trust that through our cooperation we shall be able to conclude some transactions with you in the near future.
Website: http://www.mbtshoe.co.uk
http://www.aheadtrade.com
http://www.bayugg.com
http://www.tougg.com
Best regards!
20100302SLLYP A great mbt shoes poem is a fountain forever overflowing with the waters of wisdom and delight.Poet I mbt shoes sale who puts up a ladder to a star and climbs it while playing a violin.Humor has been well defined as thinking in mbt walking shoes while feeling in earnest.Words have a magical power. They can bring mbt shoes review either the greatest happiness or deepest despair; can transfer knowledge from teacher to students words enable the mbt lami sale orator to sway his audience and dictate its decisions. Words are capable of cheap mbt shoes arousing the strongest emotions and prompting all sell mbt shoes actions. Do not ridicule the use of words in psychotherapy. http://www.mbtshoessaletoday.com/revi...
100305SLLYH
Like this says, great traction and they're soft and sturdy at same time. These are best timberland 6 inch premium boot ever! Anyone who is not familiar with them should consider slipping one on! They are remarkably soft and luxurious.She always wants a pair of timberland boots sale, finally purchased a pair this winter. my idea about what timberland 6 inch boots should be wasn't disappointed. It timberland 6 inch waterproof boots was about an electrician whose magical skill,timberland 6 inch boots sale preserved his position on the staff of a great man's house. http://www.buytimberlandboots.com/.
100305SLCHF
Today, more than ever before, education is discount high heels shoes playing an important role in the teaching of children. The school has become a vital part of every community, drawing children from every walk of life. The children are eager to take advantage of christian louboutin boots sale its opportunities, emerging from their sheltered confines, dipping easily into the habits of the student. They are sale christian louboutin pump coming from far and near, struggling towards an education, whetting their appetites for knowledge, forming friendships for buy christian louboutin sandals the future. Childish energy lets nothing stand in its way. In their tiny hands, they hold the future. The person upon whose capable shoulders rests the responsibility for their education is that platform sandals online unsung hero, the teacher. He must be fair, honest, understanding, and intelligent. He must handle every situation with the utmost dignity. http://www.christianlouboutinssale.com/
100307SLZZQOne Sunday afternoon, mbt chapa shoes walks into a bar with his pet dog. The bartender said, Sorry, pal. No pets allowed. The man replied, This is a special dog. Turn on the Jets game and you’ll see.” The bartender, anxious to see mbt lami shoes turned on the game. The guy said, “Watch. Whenever the Jets score, my dog does flips.” The Jets keep scoring field goals mbt shoes
flipping and jumping. “Wow! That’s one hell mbt shoes sale you got there. What happens when the Jets score a mbt sale?” asked the bartender. The man replied, “I don’t know. I’ve only had him for seven years. http://www.mbtshoessalenow.com/mbt-ch...
100308sllgz People in the duties UGG Bailey Button of happiness. Like a person, can UGG Classic Short the mind is very Louis Vuitton Handbags comfortable. Without it, not only what is driving duties, empty, i.e., wasted. To dig deep Prada Handbags Sale in the soul, from the spirit of torture and trauma, and from the injury and Cheap Chanel Handbags injured and healing, independence, and Fendi Designer Handbags suffering on the SuSheng road. http://www.you2ugg.com/
<p><a href="http://www.ghdssite.com/"><strong>cheap GHD hair straighteners</strong></a></p>
<p><a href="http://www.ghdssite.com/"><strong>GHD straighteners wholesale</strong></a></p>
<p><a href="http://www.ghdssite.com/"><strong>GHD styler</strong></a></p>
<p><a href="http://www.ghdssite.com/"><strong>GHD IV styler</strong></a></p>
<p><a href="http://www.ghdssite.com/ghd-babyliss-hair-straighteners-p-17.html"><strong>GHD Babyliss Hair Straighteners </strong></a></p>
http://www.onlypuma.com puma shoes
http://www.onlypuma.com/mens-puma-sf-... Puma - SF Drift Cat
http://www.onlypuma.com/mens-puma-bay... Puma Baylee Future Cat II
http://www.onlypuma.com/mens-puma-dos... Puma Doshu Combat Shoes
http://www.onlypuma.com/mens-puma-flu... Men's Puma Fluxion II
http://www.onlypuma.com/mens-puma-fut... Puma Future Cat GT Ferrari
http://www.onlypuma.com/mens-puma-fut... Men's Puma Future Cat Lo Engine
http://www.onlypuma.com/mens-puma-fut... Puma Future Cat Low
http://www.onlypuma.com/mens-puma-laz... Puma Lazy Insect
http://www.onlypuma.com/mens-puma-sf-... Puma SF Trionfo Low
http://www.onlypuma.com/mens-puma-spe... Puma Speed Cat
http://www.onlypuma.com/mens-puma-spe... Puma Speed Cat Big
http://www.onlypuma.com/mens-puma-tri... Puma Trionfo Lo L II
http://www.onlypuma.com/mens-puma-tri... Puma Trionfo Low BAYLEE
http://www.onlypuma.com/mens-speed-ca... Speed Cat Big
http://www.onlypuma.com/puma-ducati-t... Puma Ducati Testastretta
http://www.onlypuma.com/puma-kimi-rai... Puma Kimi Raikkonen shoes
http://www.onlypuma.com/womens-puma-b... Puma Basket Brights
http://www.onlypuma.com/womens-puma-b... Puma Baylee Future Cat
http://www.onlypuma.com/womens-puma-d... Puma Drift Cat
http://www.onlypuma.com/womens-puma-e... Puma Engine Cat Low
http://www.onlypuma.com/womens-puma-e... PUMA Espera Patent FS
http://www.onlypuma.com/womens-puma-f... Puma Ferro Tessuto Shoes
http://www.onlypuma.com/womens-puma-f... Puma Future Cat Lo
http://www.onlypuma.com/womens-puma-f... Puma Future Cat Low
http://www.onlypuma.com/womens-puma-r... Puma Repli Cat
http://www.onlypuma.com/womens-puma-s... Puma SF Drift Cat
http://www.onlypuma.com/womens-puma-s... Puma Speed Cat Big
http://www.onlypuma.com/womens-puma-s... Puma Speed Cat Suede
100310SLLQY
Activity is the only timberland boots uk road to knowledge .A free cheap gucci watches man obtains knowledge from many sources 1 besides books . great discount timberland boots part to the louis vuitton watches information I have was acquired by looking up something and finding something timberland hiking boots else on the way . If a man empties his purse into his head, no kids timberland boots man can take it away from him , an investment in knowledge always pays the best interest . High romain jerome watches expectations are the key to every timberland 6 inch boots thing. If you wait, all that happens is that you get older.Remember timberland custom boots that the future is neither ours nor wholly not ours. So that porsche design watches we may neither count on it as sure to come nor abandon hope of timberland womens shoes it as certain not to be. http://www.runtimberland.com/
http://www.nowghd.com/limited-edition... A woman seldom asks advice before she has bought her wedding clothes. I married beneath me. All women do. Any intelligent woman who reads the marriage contract, and then goes into it, deserves all the consequences. http://www.nowghd.com/ghd-babyliss-ha...
http://www.onboots.com
http://www.onboots.com
http://www.onboots.com
http://www.onboots.com
http://www.onboots.com
http://www.onboots.com
http://www.onboots.com/kids-timberlan...
http://www.onboots.com/mens-timberlan...
http://www.onboots.com/mens-timberlan...
http://www.onboots.com/mens-timberlan...
http://www.onboots.com/mens-timberlan...
http://www.onboots.com/mens-timberlan...
http://www.onboots.com/mens-timberlan...
http://www.onboots.com/womens-timberl...
http://www.onboots.com/womens-timberl...
http://www.onboots.com/womens-timberl...
http://www.onboots.com/specials.html
--------------------------------------------------------------------------------------------------------------------------------
http://www.onlypuma.com
http://www.onlypuma.com/mens-puma-sf-...
http://www.onlypuma.com/mens-puma-bay...
http://www.onlypuma.com/mens-puma-dos...
http://www.onlypuma.com/mens-puma-flu...
http://www.onlypuma.com/mens-puma-fut...
http://www.onlypuma.com/mens-puma-fut...
http://www.onlypuma.com/mens-puma-fut...
http://www.onlypuma.com/mens-puma-laz...
http://www.onlypuma.com/mens-puma-sf-...
http://www.onlypuma.com/mens-puma-spe...
http://www.onlypuma.com/mens-puma-spe...
http://www.onlypuma.com/mens-puma-tri...
http://www.onlypuma.com/mens-puma-tri...
http://www.onlypuma.com/mens-speed-ca...
http://www.onlypuma.com/puma-ducati-t...
http://www.onlypuma.com/puma-kimi-rai...
http://www.onlypuma.com/womens-puma-b...
http://www.onlypuma.com/womens-puma-b...
http://www.onlypuma.com/womens-puma-d...
http://www.onlypuma.com/womens-puma-e...
http://www.onlypuma.com/womens-puma-e...
http://www.onlypuma.com/womens-puma-f...
http://www.onlypuma.com/womens-puma-f...
http://www.onlypuma.com/womens-puma-f...
http://www.onlypuma.com/womens-puma-r...
http://www.onlypuma.com/womens-puma-s...
http://www.onlypuma.com/womens-puma-s...
http://www.onlypuma.com/womens-puma-s...
The best software online shop: http://www.softwares-supplier.com/
http://www.softwares-supplier.com/win...
http://www.softwares-supplier.com/mic...
http://www.softwares-supplier.com/ado...
http://www.softwares-supplier.com/ado...
http://www.softwares-supplier.com/ado...
http://www.softwares-supplier.com/ado...
http://www.softwares-supplier.com/ado...
http://www.softwares-supplier.com/ado...
http://www.softwares-supplier.com/ado...
http://www.softwares-supplier.com/win...
Greetings to all
advantage Service, similar that as <a href=http://www.callvipgirls.com>girls nude</a> contained that, general,escort in Belgium,- it sort matchless in the lives of everyone who experienced on his frail body <a href=http://www.callvipgirls.com>nude girls</a> conclude on subjective experience. are in Belgium, I happened cause phone <a href=http://www.callvipgirls.com>women nude</a> I caught myself thinking, Well, - it is my next Figl-Migl!<a href=http://www.callvipgirls.com> nude women</a> and that's not, - is to me in life not happened test. was, that service <a href=http://www.callvipgirls.com>women for sex</a> and is and massage. but Massage in Brussels umoryaet to such an extent, that you elevates Heaven. What do appear prevunbeatable an act of lust. It, as on stage, so-called Overture to main act, where Characters - only positive. Paradise, - Yes, and only! just so me remained in the heart <a href=http://www.callvipgirls.com>girls for sex</a> just such escort girls in Belgium,how I can see required is!
Sincerely, your friend Marin