Squeak-dev December 2004

squeak-dev@lists.squeakfoundation.org

194 participants
491 discussions

[ENH] Workspace binding presence improvements
by stéphane ducasse 27 Dec '04

27 Dec '04

Enh the presence of binding in a workspace. Now we can use the menu to specify whether we want automatic bindings or not and also reset them.

1 0

Fw: Technical theoretical question about lazy evaluation
by Maarten Maartensz 27 Dec '04

27 Dec '04

----- Original Message ----- From: "Maarten Maartensz" <maartens(a)xs4all.nl> To: <squeak-dev(a)lists.squeakfoundation.org> Sent: Monday, December 27, 2004 11:44 AM Subject: Technical theoretical question about lazy evaluation > Hello, > > Being a person of a theoretical bend I have a technical theoretical question I'd > like to have references about, to material preferably on the internet somewhere, > that relates to the following quotation (and please don't read on if you don't > care for abstruse technicalities) of part of a paragraph by Per-Martin Löf, in > his "Constructive Mathematics and Computer Programming", which is in "Logic, > Methodology and Philosophy of Science VI", of 1982. > > Note: The '|' symbol stands for the lambda in what follows: > > "When variable binding forms of expression are introduced, as they are in the > theory of types, it is no longer possible, in general, to evaluate the > expresssions from within. To evaluate (|x)b, for example, we should first have > to evaluate b. But b cannot be evaluated, in general, until a value has been > assigned to the variable x. In the theory of types, this difficulty has been > overcome by reversing the order of evaluation: instead of evaluating the > expressions from within, they are evaluated from without. This is known as head > reduction in combinatory logic and normal order or lazy evaluation in > prograrmming. For example (|x)b is simply assigned itself as value. (...) What > is significant, though, is that the principle of Frege's referred to above, > namely that the value of an expression depends only on the values of its parts, > is irretrievably lost. To make the language work in spite of this loss has been > one of the most serious difficulties in the design of the theory of types." (p. > 160-1) > > If you're still around here: I'd like references to the problem indicated by > Martin-Löf's > > "What is significant, though, is that the principle of Frege's referred to > above, namely that the value of an expression depends only on the values of its > parts, is irretrievably lost." > > and the more these references have to do with mathematical logic the better it > is, from my own point of view. What I'd most like to see, indeed, are references > to texts that systematically and logically deal with model-theoretical semantics > and the loss of Frege's principle of the compositionality of meaning. > > Since lazy evaluation is so important for the foundation of Smalltalk and > Squeak, it seems this list is one place to ask. > > Thanks for your help. > > Regards, > > Maarten. > --------------------------------------- > Maarten Maartensz. Homepage: > http://www.maartensz.org > --------------------------------------- >

1 0

Harvesting Party Thursday December 30th 00:00 GMT
by Ken Causey 26 Dec '04

26 Dec '04

Just a reminder that the next Harvesting Party will take place between 00:00 (Midnight) and 04:00 (4 AM) GMT Thursday December 30th, 2004. As usual we will meet in #squeak on irc.freenode.net. More information about the #squeak IRC channel can be found at http://people.squeakfoundation.org/article/7.html Information about the Harvesting Party idea can be found at http://people.squeakfoundation.org/article/29.html If you have the time please attend and work toward the future of Squeak. The next seven parties are scheduled for 04:00 (04:00 AM) GMT Monday January 03, 2005 08:00 (08:00 AM) GMT Friday January 07, 2005 12:00 (12:00 PM) GMT Tuesday January 11, 2005 16:00 (04:00 PM) GMT Saturday January 15, 2005 20:00 (08:00 PM) GMT Wednesday January 19, 2005 00:00 (12:00 AM) GMT Monday January 24, 2005 04:00 (04:00 AM) GMT Friday January 28, 2005

1 0

[FIX] ApplescriptDepMethod-fc
by frankcag＠crystal-objects.com 26 Dec '04

26 Dec '04

"Change Set: ApplescriptDepMethod-fc Date: 25 December 2004 Author: Frank Caggiano Using depreciated method, corrected."

1 0

ObjectiveCPlugin progress
by Avi Bryant 26 Dec '04

26 Dec '04

A while ago, Alain Fischer announced his new ObjectiveC plugin, allowing Squeak to use Apple's Cocoa and other ObjectiveC libraries. Todd Blanchard and I have since done some further work on it, and it's at the point now where it can begin be used to build Cocoa UIs from within Squeak. As a quick test, I built a native OS X UI for the system browser, which you can see in this screenshot: http://beta4.com/~avi/browser.jpg The code is on SqueakSource: http://kilana.unibe.ch:8888/ObjectiveCBridge/ObjectiveC-avi.70.mcz You can get a prebuilt plugin (for use with Ian's 3.7 VM) here: http://beta4.com/~avi/ObjectiveCPlugin The browser demo can be run with "CCBrowser test". It requires this nib file: http://beta4.com/~avi/CCBrowser.tgz You need to untar that and place it inside Contents/Resources/English.lproj of your VM application bundle. I'm announcing this partly because I've run out of steam on it for now, and am hoping someone else will take it the next step of building UIs for the various Squeak tools (browsers, debuggers, workspaces, inspectors, etc) in Cocoa. A custom NSMorphicView would also be cool, although might be pretty tricky. Anyway, if someone does try to take this on, I'll be more than happy to answer any questions they have about the underlying bridge code. Cheers, Avi

9 17

Mantis down?
by Tim Rowledge 25 Dec '04

25 Dec '04

I can't get to the mantis server. Just me, or is it taking a vacation? tim -- Tim Rowledge, tim(a)sumeru.stanford.edu, http://sumeru.stanford.edu/tim Strange OpCodes: FLR: Flash Lights Randomly

2 2

Connectors help needed
by Michael Latta 25 Dec '04

25 Dec '04

This could be my code of course. I have a subclass of NCConstraintMorph. When I move the morph it is attached to it moves as expected. When I drag it it stays where I drop it, even if that is not where it is constrained to be. When I move the input object, it again moves to where it should be. Is there something I should be doing to make it truly constrained to the input object? I can see the value in letting it be away from the input during the drag, but when I let go of it in space, I want it to snap back to the input object. When I let go over another object I want it to attach to that object. The connector ends do something similar to what I want when they are dragged from one object to another, but they allow themselves to be dropped in empty space, which I do not want. I will look at the connector end morph for a clue. Michael

2 4

Fwd: Swiki vandalism
by Frank Caggiano 25 Dec '04

25 Dec '04

I forwarded this to swiki-bugs, swiki problems should normally go there. Begin forwarded message: > From: Alain Fischer <mailinglist.fischer(a)bluewin.ch> > Date: December 25, 2004 8:49:10 EST > To: The general-purpose Squeak developers list > <squeak-dev(a)lists.squeakfoundation.org> > Subject: Swiki vandalism > Reply-To: The general-purpose Squeak developers list > <squeak-dev(a)lists.squeakfoundation.org> > > The following page have been touched: > > http://minnow.cc.gatech.edu/squeak/1922 > http://minnow.cc.gatech.edu/squeak/1900 > http://minnow.cc.gatech.edu/squeak/1870 > > and have been locked. > Could someone unlock them, like that they could be reverted to they > original content. > > Alain > > > ------------------------ Frank Caggiano frankcag at crystal-objects dot com http://www.crystal-objects.com The best education for the best is the best education for all. Robert Maynard Hutchins

1 0

Re: [FIX] EnableKeystrokeEvent-nk ( [er] I see the method but bit the class )
by Ned Konz 25 Dec '04

25 Dec '04

On Friday 24 December 2004 11:11 am, frankcag(a)crystal-objects.com wrote: > Am I missing something? I see the method this CS corrects > (addCustomEventFor:named:help:targetMorphClass:) in my image BUT i don't > see the class ScriptingSystem it is being set to. I do have a class > StandardScriptingSystem that does have this method, was that what was > intended or am I totally missing some deep Smalltalk wizard thing? ScriptingSystem is not a class, it's a global variable that holds an instance of a StandardScriptingSystem. -- Ned Konz http://bike-nomad.com

2 1

Swiki vandalism
by Alain Fischer 25 Dec '04

25 Dec '04

The following page have been touched: http://minnow.cc.gatech.edu/squeak/1922 http://minnow.cc.gatech.edu/squeak/1900 http://minnow.cc.gatech.edu/squeak/1870 and have been locked. Could someone unlock them, like that they could be reverted to they original content. Alain

2 1

← Newer
1
...
5
6
7
8
9
10
11
...
50
Older →

Jump to page: