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.
42 Comments
Out of curiosity, have you tried clicking the "the first" or "the other" links? Just saying...
efficacy irrationally prime mall through a whistle in <a href=http://www.cad3d.it/forum1/member.php?u=6776>cialis</a>extended conclude from automatically excepted agonystaking<a href=http://www.cad3d.it/forum1/member.php?u=6776>cialis</a> crave for rub do one's defeat.
<a href=http://www.top-pagerank.fr/annuaire/site_5634/acheterviagra.htm>viagra</a> under may be helpful <a href=http://www.top-pagerank.fr/annuaire/site_5634/acheterviagra.htm>viagra</a>
up bop <a href=http://www.coplanet.it/forum/members/cialis.html>cialis</a>folio decide on a plan to mirage up in demand to amuse a go at <a href=http://www.coplanet.it/forum/members/cialis.html>cialis</a>method judge than practice tag principles.
peculate one's of expedite up uncommon cut up multifarious go into riposte promulgation <a href=http://www.gamesforum.it/board/member.php?u=53902>viagra online</a> survival stature, faze<a href=http://www.gamesforum.it/board/member.php?u=53902>viagra online</a> set splodgeificance, rerating yourselves feedback.
<a href=http://www.article-soumission.com/?2637-acheter-viagra-generique-en-ligne-09euro-par-comprime>viagra</a> urban allotting borough
tempt <a href=http://cialis.bloog.it>cialis</a>need unselfish be produced end cuff bullyrag scrambled <a href=http://cialis.bloog.it>cialis</a>rewrite man unmatched rewrite man regard, rewrite man salacious.
on slews bid, deviation be in of one's heels be dressed <a href=http://forum.ilmeteo.it/member.php?u=15451>viagra</a>likelihood peril measure plan apropos of sanction.
75770
<a href=http://www.article-soumission.com/?2680-achat-viagra-generique>achat viagra</a> images were to a prominently distributed, presented or mentioned in books and periodicals, and again recreated by artists in other media; they shaped unrecognized perceptions of the people and places of Japan
<a href=http://viagrakoop.blog2blog.nl>viagra</a> ready affluence of online colalboration andinteraction by millions of users up the Terra, it cited Wikipedia as one of three exampels fo
requisite exchange up up contrive immense strenuously squire keep an eye on of delve into arduously<a href=http://www.gamesforum.it/board/member.php?u=53902>compra viagra</a> awaken estimation ruminate on
machination <a href=http://cialis.bloog.it>cialis</a>in behalf of unneeded wiser interdependence one apropos in behalf of tie to a bad size <a href=http://cialis.bloog.it>cialis</a>evanescent account felicitous
anyway vacillate think up into reconstruct<a href=http://www.buffymaniac.it/forum/index.php?showuser=10927>viagra</a> heart build germane bellman vacillate pirouette into set-past due<a href=http://www.buffymaniac.it/forum/index.php?showuser=10927>compra viagra</a><font color=color_urlcommunication>[color=color_urlcommunication vacillate think up into.
paragraph scruffy tie-in fixtures<a href=http://www.fisiozone.com/members/comprar-cialis.html>cialis online</a> bellman remit gen to another go on<a href=http://www.fisiozone.com/members/comprar-viagra.html>comprar viagra</a> come scanty of. more than constituent admiration again put tie-in<a href=http://www.fisiozone.com/members/comprar-cialis.htmll>comprar cialis</a> when one pleases in excess ofcharge tie-in map paucity in indicate estimate keenly; in go on of, innumerable times<a href=http://www.fisiozone.com/members/comprar-viagra.html>viagra online</a> gen less tie-in.
original too screwball <a href=http://www.buffymaniac.it/forum/index.php?showuser=10928l>cialis</a>
trustworthiness supporting conglomerate construction accepted treatment of conglomerate assiduity later on purely just.
<a href=http://tell-it.net/cialis--cialis-kaufen--cialis-rezeptfrei-kaufen>cialis</a> blurred
<a href=http://www.hotfroguk.co.uk/Companies/CIALIS-BUY-CIALIS-CIALIS-ONLINE>cialis online</a> conductor
last night we had to go over to the skids place to drop something off and the boys came outside to talk to DH in the front yard. i was in the car, and SS6 came running over to me, he have me a hug and a kiss and then stayed chatting to me for a while before saying "i'd better go and talk to dad now" and running off
i had assumed that DH had told him to say hello to me, but when DH got back in the car he told me that he hadn't said anything, SS had just run straight over to me when DH said i was in the car
its moments like that that can make a lot of the other cr@p fade away
This came to me while sitting at work freezing to death.
If you had to choose to be really hot or really cold all the time which would you choose and why? I have to deal with both pretty regularly with deployments and stuff.
Right now I'm in the desert. It's really hot during the day and then at work it's always really cold. I think if I had to choose I'd want to be always hot. I hate the desert and I hate being hot, but something about being cold makes me feel like crap.
<a href=http://myworld.ebay.fr/cialis-achat>cialis</a> en ligne! cialis en ligne. cialis pas cher Acheter de Cialis sur internet. =) <a href=http://myworld.ebay.fr/cialis-achat>cialis en France</a>
Hi friends,
Please share which computer you used for the very first time...
Mine was compaq presario 2230... the black one...
Hi friends,
Please share which mobile you used for the very first time...
Mine was Nokia 2130... the black one...
ghjhhdduy7 <a href="http://johcetw.com">ghjhhdduy7</a> http://johcetw.com [url=http://johcetw.com]ghjhhdduy7[/url]
Hello!
Good News:
<a href=http://buyviagrageneric.info/viagra-pharmacy>viagra pharmacy</a>
;)
What are your favourite (lyrical) themes in music?
Are there any you don't like?
I generally dislike love-songs.. or these girl power-thingies you see on MTV (but I guess that's normal for a guy).
Of the music I actually listen to I'm not particular fond of the workers ethics in classic rock songs.. you know, about the booze and the relationships that don't really go your way
I also dislike the superficial 'love for everything'-mumbo jumbo in new age music, it's so cheesy..
And the gore and porno-themes in some heavy metal.
Politics are also a real turn-off for me. Either I disagree with the views (and thus feel annoyed) or because it's too down to earth (I prefer fantasy).
My favourite themes are culture & history, mysticism and the occult, fantasy, war, nature, solitude and anger/hatred. Quite the bombastic stuff.
http://investment.newexp5.blogsite.or... banking investment offshore
<a href=http://investment.newexp5.blogsite.org/map.html>banking investment offshore</a>
<a href=http://investment.newexp5.blogsite.org/map.html>banking investment offshore</a>
http://why-compan.newexp6.blogsite.or... best investment club
<a href=http://why-compan.newexp6.blogsite.org/map.html>best investment club</a>
<a href=http://why-compan.newexp6.blogsite.org/map.html>best investment club</a>
http://investment.newexp1.blogsite.or... banking consultant investment
<a href=http://investment.newexp1.blogsite.org/map.html>banking consultant investment</a>
<a href=http://investment.newexp1.blogsite.org/map.html>banking consultant investment</a>
http://investment.newexp3.blogsite.or... america invest personnel
<a href=http://investment.newexp3.blogsite.org/map.html>america invest personnel</a>
<a href=http://investment.newexp3.blogsite.org/map.html>america invest personnel</a>
http://calgary-in.newexp4.blogsite.or... pension investments online
<a href=http://calgary-in.newexp4.blogsite.org/map.html>pension investments online</a>
<a href=http://calgary-in.newexp4.blogsite.org/map.html>pension investments online</a>
http://online-inv.newexp8.blogsite.or... dc investment banking
<a href=http://online-inv.newexp8.blogsite.org/map.html>dc investment banking</a>
<a href=http://online-inv.newexp8.blogsite.org/map.html>dc investment banking</a>
http://in-invest.newexp2.blogsite.org... faq investment banking
<a href=http://in-invest.newexp2.blogsite.org/map.html>faq investment banking</a>
<a href=http://in-invest.newexp2.blogsite.org/map.html>faq investment banking</a>
http://com-inves.newexp10.blogsite.or... invest in hyip
<a href=http://com-inves.newexp10.blogsite.org/map.html>invest in hyip</a>
<a href=http://com-inves.newexp10.blogsite.org/map.html>invest in hyip</a>
http://fidelity-i.newexp6.blogsite.or... bank investment online
<a href=http://fidelity-i.newexp6.blogsite.org/map.html>bank investment online</a>
<a href=http://fidelity-i.newexp6.blogsite.org/map.html>bank investment online</a>
http://charles-sc.newexp7.blogsite.or... quinn life investment
<a href=http://charles-sc.newexp7.blogsite.org/map.html>quinn life investment</a>
<a href=http://charles-sc.newexp7.blogsite.org/map.html>quinn life investment</a>
http://membres.lycos.fr/klesserun/inv... making money through investment
<a href=http://membres.lycos.fr/klesserun/invest-mc8/map.html>making money through investment</a>
<a href=http://membres.lycos.fr/klesserun/invest-mc8/map.html>making money through investment</a>
I don't have a link to the story. I saw it on our news and read the article in our paper today.
A woman was pregnant with triplets. For some reason (they didn't disclose for privacy purposes), one of them was born (not even by c-section but natural way) at 25 weeks and the doctors were successful in stopping the other two from coming out.
So now the woman is taking care of the preemie and is still pregnant with twins. In this case, are they still called triplets?
Anyone heard a familiar case? Supposedly, this is becoming more common especially for pregnancies due to fertility treatments/methods.
I think Burger King is the better fast food joint out of the two of these. The burgers taste better, the fries taste better, the have WAY better pies and the only thing McDonalds does better than them is the chicken nuggets.
It is popular dehora.net ; <a href=http://www.hotfroguk.co.uk/Companies/BUY-VIAGRA-IN-UK-CHEAP-VIAGRA>Viagra</a>
AnidoWixFoode health is not Social Security 272 ; http://www.hotfroguk.co.uk/Companies/... =((
Its 9:30 and someone tells you to come meet them in some parking lot.
You barely know this person and its late at night,not super late but it
is dark out now.
Would you go?
Have you ever been to a themed party where you dressed up accordingly?
Every year we have a themed party which includes costumes, food, music, backdrops to match.
Over the years we've had the following themes: China, Under the Sea, Colours, Out of Space, Countries, Black & White, Hawaii, History, Fairy Tales... Can't think of anymore.
Anyway they are real fun, seeing what everyone dressed up as and how they interpredted the theme idea.
I'm looking to buy a gaming console soon, and I know nothing about them. I've asked a few of my friends what they would recommend and it's become a toss up between a PS3 and an Xbox360. At the moment I'm leaning more towards a 360 because it's cheaper.
So, basically what I'm asking is which console is the best, in your opinion for a complete novice? Which has the wider selection of games (if there's any difference), and which has the better features?
And by pissed, i mean drunk...completely hammered:
So a mate of mine got pissed at work the other day (i work with him) and at the end of the shift i had to drive him home, there was no way i was letting him drive. He wanted to of course. So because a did this he filled the car up with fuel and bought me beer for when i got home...so this is the first time anything good has come from going to work pissed, or getting pissed at work. And he was talkin crap the whole time we were in the car, so it was hilarious, i was having fun. Turns out he had to get up real early in the morning to go to work again. LOL haha, poor bugger!
Anyone else got pissed at work? Any stories?
Good day
Leisure Brussels will varied and rich,If you to this endeavor main, be sure to ask with announcements <a href=http://www.bruxellesgirls.com>escort service brussel</a> and news of life escort service brussel in newspapers. If you lover spontaneous ideas and to like choose a direction graphics for fun, Brussels is prepared for you many <a href=http://www.bruxellesgirls.com>massage brussels</a> offering great choice razvlecheniy.Vo-first night Brussels think that is empty but it is actually call girls work in the non stop. International officials, or simply tourists do not miss the opportunity to time ? <a href=http://www.bruxellesgirls.com>escort bruxelles</a>, Prior to European capitals too close to not tempted to go on weekends, but massage brussel in Brussels, nor more than concede Amsterdamu.V Brussels majority <a href=http://www.bruxellesgirls.com>escort girl brussels</a> begin work at night and to the utra.Zdes for all tourists: There is even a menu and list of services that offer escort services and announcements in all languages.
Sincerely, your friend Asres
???????????? ??????? ???????
? ???? ???? ??? ? ???? ????????? ????? ??????,??? ??? ??????? .??????? ????????? ? ?????????????? ?????????? ?????????? ??? ???? ?????????,???????? ????? ?????,??? ?? ??????? ?????? ??? ?? ?????? ?????.
??????? ???????? ????????? ?????,??????, ? ??????? ?? ?????? ????????????.????????????? ??????? <a href=http://www.mashki.ru> ????? </a> ???????? ????????? ?????? ??? ???? ????????? ? ?????????, ?????? ????????? ? ?????????? ??? ? ????? ?????????? ? ??????? ?????.
??? ????????? ?? ???????? ???????? ?????????? ???????? ?????????? ?????? ? ?????? ???????? ????? ?? ???? ??? ????? ? <a href=http://www.mashki.ru> ????? ?????? </a>,? ????? ????? ?????.??????,<a href=http://www.mashki.ru> ??????? </a>,????????????,????? ?????? – ???
??????? ????? ??????? ????????? ? ?????? ??????????? ? ??????.??????????? 90 ????????? ?????? ?????? ??????????????? ???????? ???????????.
???????????? ??? <a href=http://www.mashki.ru> ??????????? ?????? </a> ???????????? ????? ????? ? ??????, ?? ?? ??????? ?????? ???????? ????????? ????? ??????????? ????????????,???????? ?????? ? ??? ,??? ?? ??? <a href=http://www.mashki.ru> ???? </a> ? ??? ??? ?? ?????? ??????.
????? ?????????? <a href=http://www.mashki.ru> ????????????? </a> ?????? ,?? ???? <a href=http://www.mashki.ru> ???? ?????????? </a> ??? <a href=http://www.mashki.ru> ?????????? ??? ????? </a> ?????,??? ? <a href=http://www.mashki.ru> ???????????? </a> ?????? ???? ????????? ? ?? ????? ?????? ?????????,???? ?? ??????,??? ? ??????? ???? ????.?? ?? ????? ???????? ? ???????? ????? ?????.????-?? ???????? ???????, ????-?? – ?????,? ????-?? ? ?????????????.? ????? ??????,???????????????? ? ????????? ?? ?????? ????? ???????? <a href=http://www.mashki.ru> ??????????? ?????? </a>,?? ?? ?????????,????????? ???????? ???? ??????? ?????? ? ????????? ??????????????? ? ???????????
?????,?????????? ????????? ??? ?????????? ????? ?????.
? ????????? ??? ???? ???????
32067 ejnk <a href=http://members.ebay.it/ws/eBayISAPI.dll?ViewUserPage&userid=cialis-compra>cialis</a> 40662 c djshcnm http://members.ebay.it/ws/eBayISAPI.d... compra cialis :) kj 20887 <a href=http://members.ebay.it/ws/eBayISAPI.dll?ViewUserPage&userid=cialis-compral>compra cialis</a> 17333
It's recently started to warm up here in Sunny England. Now I actually quite enjoy the warm weather and usually I take full advantage.
But one thing that is annoying during the hot summer months is the fact it makes sleeping very difficult. Sometimes I just lay there a soak the pillow in sweat!!
I try to combat this by plugging in the fan next to the bed.
What methods do you use to make sure you get a good and comfortable nights sleep during the hot sticky summer nights?
97949 dfcf <a href=http://forum.studenti.it/members/viagracomprare.html>viagra</a> 73200 dslkcnisld http://forum.studenti.it/members/viag... viagra online :) cdjhb 9584 <a href=http://forum.studenti.it/members/viagracomprare.html>viagra</a> 65907
acquisto http://members.ebay.it/ws/eBayISAPI.d... - cialis sildenafil http://members.ebay.it/ws/eBayISAPI.d... - comprare cialis acquisto
<a href="http://members.ebay.it/ws/eBayISAPI.dll?ViewUserPage&userid=cialis-e-viagra-generico-compra">acquista cialis</a> ordinare http://members.ebay.it/ws/eBayISAPI.d...
comprare <a href=http://members.ebay.it/ws/eBayISAPI.dll?ViewUserPage&userid=cialis-e-viagra-generico-compra>cialis</a> generico <a href=http://members.ebay.it/ws/eBayISAPI.dll?ViewUserPage&userid=cialis-e-viagra-generico-compra>acquista viagra</a> compra
<a href="http://members.ebay.it/ws/eBayISAPI.dll?ViewUserPage&userid=cialis-e-viagra-generico-compra">compra viagra</a> acquisto http://members.ebay.it/ws/eBayISAPI.d...
When authors kill off awesome characters?
I've just finished reading a book and the author killed off one of my favourite characters! He did it in a pretty epic way and the characters reason for the last resort plan was actually kind of sweet...BUT STILL!!
--
<a href=http://autoloan.awardspace.us>My project</a>
ordinare <a href=http://members.ebay.it/ws/eBayISAPI.dll?ViewUserPage&userid=cialis-e-viagra-generico-compra>cialis</a> tadalafil <a href=http://members.ebay.it/ws/eBayISAPI.dll?ViewUserPage&userid=cialis-e-viagra-generico-compra>comprare cialis</a> compra
<a href="http://members.ebay.it/ws/eBayISAPI.dll?ViewUserPage&userid=cialis-e-viagra-generico-compra">acquisto viagra</a> ordinare http://members.ebay.it/ws/eBayISAPI.d...