langsmiths at Yahoo! Groups

Re: Claire language

Denny Abraham — Mon, 20 Jul 2009 18:38:21 GMT

From what I can tell, it sounds like an interesting language, but neither the wikipedia nor the other documentation linked there, yield a lot of information

Claire language

Chuck Esterbrook — Mon, 20 Jul 2009 10:21:14 GMT

Has anyone on the list checked out this one? http://en.wikipedia.org/wiki/Claire_(programming_language) The first class sets sound interesting including the

Re: Duck typing and errors

Steve Dekorte — Wed, 24 Jun 2009 02:21:39 GMT

... Objective-C does this as well. Personally, I would prefer protocol checking to type checking as any notion of type as it refers to a implementation (as it

Re: Duck typing and errors

Robert Fischer — Wed, 24 Jun 2009 02:06:01 GMT

That's the way Groovy works, too, and I'm a fan of that optional static typing. ~~ Robert. ... -- ~~ Robert Fischer, Smokejumper IT Consulting. Enfranchised

Re: Duck typing and errors

Mike Austin — Wed, 24 Jun 2009 01:14:07 GMT

Not in direct reply, but I thought I'd chime in... I've been using MiniD for the last few months, which has a few features that languages like Python and Ruby

Re: Duck typing and errors

Steve Dekorte — Wed, 24 Jun 2009 00:58:35 GMT

... Suppose I have a object which can proxy any message across a network. At compile time, the compiler has no way of knowing what the object on the other side

Re: Duck typing and errors

John Nowak — Wed, 24 Jun 2009 00:24:18 GMT

... The obvious point to make here being that the former is always better than the latter provided that all other things are equal. - John

Re: Duck typing and errors

John Nowak — Wed, 24 Jun 2009 00:19:25 GMT

... How is that more "static-friendly"? Why not just offer a selection function that takes a list of items to use to descend the tree: select : List String ->

Re: Duck typing and errors

John Nowak — Wed, 24 Jun 2009 00:00:37 GMT

... Without looking it up, can you tell me what the functions 'bind' and 'return' do? How about 'cata' or 'hylo'? Or 'appEndo'? Or 'runKleisli'? The

Re: Duck typing and errors

Robert Fischer — Tue, 23 Jun 2009 23:59:28 GMT

This is a key culture difference between dynamic and static type communities -- static type communities want any tiny snippet of code to be obvious without

Re: Duck typing and errors

Brian Hurt — Tue, 23 Jun 2009 23:49:46 GMT

... I think I actually disagree here. The top one is shorter, granted- but I don't think it's more readable. Or rather, I don't think it's more readable *in

Re: Duck typing and errors

Brian Hurt — Tue, 23 Jun 2009 23:39:06 GMT

... The advantage to requiring it I've dealt with in another email. ... Any system of checked metadata about code is a type system. ... What's the advantage of

Re: Duck typing and errors

Robert Fischer — Tue, 23 Jun 2009 21:29:56 GMT

You misunderstand what's going on. An ActiveRecord class starts out life looking like this: class Foo < ActiveRecord::Base end That's it. It delegates the

Re: Duck typing and errors

John Cowan — Tue, 23 Jun 2009 21:29:00 GMT

... That's a big advantage for supporting static typing, but not a big advantage for requiring it. Nor is it an advantage particular to static typing as

Re: Duck typing and errors

Brian Hurt — Tue, 23 Jun 2009 17:56:06 GMT

... So the question then becomes why did ActiveRecord go with monkey patching instead of this route? Note that this exact same solution also works nicely for