How? 

On May 4, 2010, at 2:53 PM, Jay McCarthy wrote:

> I think Guillaume ideas for editor templates and macros would be a
> Racket analogue to this idea. Partially implemented in DivaScheme
> 
> http://www.cs.brown.edu/research/plt/software/divascheme/
> 
> Jay
> 
> On Tue, May 4, 2010 at 12:49 PM, Matthias Felleisen
> <matth...@ccs.neu.edu> wrote:
>> 
>> The other day when Simon PJ lectured here in Olin's compiler class (thanks, 
>> volcano), he mentioned that he was jealous of one thing in OO PLs: auto 
>> completion. You write down "anObject." and you immediately get all possible 
>> methods that you can apply here and you continue to guess your way thru 
>> program construction. (My words as you can tell if you know Simon.)
>> 
>> Of course this isn't about FP vs OOP. It's about two different points:
>> 
>> 1. syntax: OOP guys write down the first argument first (this) and then the 
>> method call and that is the way syntax works. I see nothing wrong with 
>> writing down
>> 
>>  aList.
>> 
>> getting 2 possible completions in BSL/2:
>> 
>>  -- length
>>  -- reverse
>> 
>> choosing one, say length
>> 
>> and having the editor insert it like that:
>> 
>>  (length aList)
>> 
>> If I allow the editor to manipulate my writings, why not be a tad more 
>> radical than add a word at the current position.
>> 
>> 
>> 2. Types. You need some restriction on the space in which you search and you 
>> might as well use types. So perhaps in Typed Scheme we should be able to 
>> change the IDE so it behaves like the above.
>> 
>> Ah, but we also have history against us. Who would have thought that (lambda 
>> (x) (make-posn 0 x)) is the first argument for mapping over a list of 
>> numbers?
>> 
>> Is it really hopeless for us? -- Matthias
>> 
>> 
>> _________________________________________________
>>  For list-related administrative tasks:
>>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>> 
> 
> 
> 
> -- 
> Jay McCarthy <j...@cs.byu.edu>
> Assistant Professor / Brigham Young University
> http://teammccarthy.org/jay
> 
> "The glory of God is Intelligence" - D&C 93

_________________________________________________
  For list-related administrative tasks:
  http://list.cs.brown.edu/mailman/listinfo/plt-dev

Reply via email to