[Chicken-janitors] Re: #32: get tinyclos egg for chicken 4 to work

[Chicken Trac]

#32: get tinyclos egg for chicken 4 to work
------------------------+---------------------------------------------------
 Reporter:  felix       |       Owner:  tonysidaway
     Type:  defect      |      Status:  assigned   
 Priority:  major       |   Milestone:             
Component:  extensions  |     Version:  4.0.5      
 Keywords:  tinyclos    |  
------------------------+---------------------------------------------------

Comment(by tonysidaway):

 felix, I've been thinking of this all morning.  The notion that define-
 method used by itself will introduce a generic is from CLOS, and
 presumably the introduction of a top-level binding for the generic is an
 attempt to mimic the semantics of CLOS.  I don't know Common Lisp but I
 assume it lacks the Algol-like block structure and strict lexical scope
 that make those semantics problematic in Scheme.  So there are really two
 problems here: firstly a macro that normally modifies an existing object,
 a generic method object, but sometimes creates a new generic object; and
 secondly the binding created is supposed to be at top level.

 These semantics also seem to apply in Erick Gallesio's object module in
 STKlos, but I still think they're wrong in Scheme.  An inner block
 probably shouldn't create new top-level bindings in a lexically scoped
 block-structured language.

-- 
Ticket URL: <http://www.irp.oist.jp/trac/chicken/ticket/32#comment:13>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.