steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
factor/core/namespaces/namespaces.factor

65 lines
2.3 KiB
Factor
Raw Normal View History

Add context-specific special object table, generalizing catchstack_save and current_callback_save fields of context struct
2010-03-18 05:06:00 -04:00
! Copyright (C) 2003, 2010 Slava Pestov.
Initial import
2007-09-20 18:09:08 -04:00
! See http://factorcode.org/license.txt for BSD license.
core/basis: trim down using lists
2011-11-30 19:02:37 -05:00
USING: arrays assocs hashtables kernel kernel.private math
sequences vectors ;
namespaces: rework so a singleton isn't necessary Make global foldable, and make the underlying global object a hashtable wrapper. Also, use a tuple instead of a generic array for the global box type.
2011-11-27 13:43:23 -05:00
SLOT: boxes
SLOT: value
FROM: accessors => boxes>> value>> value<< ;
Initial import
2007-09-20 18:09:08 -04:00
IN: namespaces
<PRIVATE
namespaces: rework so a singleton isn't necessary Make global foldable, and make the underlying global object a hashtable wrapper. Also, use a tuple instead of a generic array for the global box type.
2011-11-27 13:43:23 -05:00
TUPLE: global-hashtable
{ boxes hashtable read-only } ;
TUPLE: global-box value ;
namespaces: make set-global/get-global foldable Store the globals hashtable as an array of boxes so that the key-to-reference mapping is constant. Use a singleton and an unfoldable "box-at" word so that get-global and set-global optimize to direct operations on the associated box when the variable name is a compile-time constant. Fixes #200.
2011-11-26 23:20:55 -05:00
namespaces: rework so a singleton isn't necessary Make global foldable, and make the underlying global object a hashtable wrapper. Also, use a tuple instead of a generic array for the global box type.
2011-11-27 13:43:23 -05:00
: (box-at) ( key globals -- box )
boxes>> 2dup at
[ 2nip ] [ [ f global-box boa ] 2dip [ set-at ] 2curry keep ] if* ; foldable
namespaces: make set-global/get-global foldable Store the globals hashtable as an array of boxes so that the key-to-reference mapping is constant. Use a singleton and an unfoldable "box-at" word so that get-global and set-global optimize to direct operations on the associated box when the variable name is a compile-time constant. Fixes #200.
2011-11-26 23:20:55 -05:00
namespaces: rework so a singleton isn't necessary Make global foldable, and make the underlying global object a hashtable wrapper. Also, use a tuple instead of a generic array for the global box type.
2011-11-27 13:43:23 -05:00
: box-at ( key globals -- box )
(box-at) { global-box } declare ; inline
namespaces: make set-global/get-global foldable Store the globals hashtable as an array of boxes so that the key-to-reference mapping is constant. Use a singleton and an unfoldable "box-at" word so that get-global and set-global optimize to direct operations on the associated box when the variable name is a compile-time constant. Fixes #200.
2011-11-26 23:20:55 -05:00
namespaces: rework so a singleton isn't necessary Make global foldable, and make the underlying global object a hashtable wrapper. Also, use a tuple instead of a generic array for the global box type.
2011-11-27 13:43:23 -05:00
M: global-hashtable at*
box-at value>> dup ; inline
namespaces: make set-global/get-global foldable Store the globals hashtable as an array of boxes so that the key-to-reference mapping is constant. Use a singleton and an unfoldable "box-at" word so that get-global and set-global optimize to direct operations on the associated box when the variable name is a compile-time constant. Fixes #200.
2011-11-26 23:20:55 -05:00
namespaces: rework so a singleton isn't necessary Make global foldable, and make the underlying global object a hashtable wrapper. Also, use a tuple instead of a generic array for the global box type.
2011-11-27 13:43:23 -05:00
M: global-hashtable set-at
box-at value<< ; inline
namespaces: make set-global/get-global foldable Store the globals hashtable as an array of boxes so that the key-to-reference mapping is constant. Use a singleton and an unfoldable "box-at" word so that get-global and set-global optimize to direct operations on the associated box when the variable name is a compile-time constant. Fixes #200.
2011-11-26 23:20:55 -05:00
namespaces: rework so a singleton isn't necessary Make global foldable, and make the underlying global object a hashtable wrapper. Also, use a tuple instead of a generic array for the global box type.
2011-11-27 13:43:23 -05:00
M: global-hashtable delete-at
box-at f swap value<< ; inline
namespaces: make set-global/get-global foldable Store the globals hashtable as an array of boxes so that the key-to-reference mapping is constant. Use a singleton and an unfoldable "box-at" word so that get-global and set-global optimize to direct operations on the associated box when the variable name is a compile-time constant. Fixes #200.
2011-11-26 23:20:55 -05:00
namespaces: rework so a singleton isn't necessary Make global foldable, and make the underlying global object a hashtable wrapper. Also, use a tuple instead of a generic array for the global box type.
2011-11-27 13:43:23 -05:00
: namestack* ( -- namestack )
CONTEXT-OBJ-NAMESTACK context-object { vector } declare ; inline
: >n ( namespace -- ) namestack* push ;
: ndrop ( -- ) namestack* pop* ;
namespaces: make set-global/get-global foldable Store the globals hashtable as an array of boxes so that the key-to-reference mapping is constant. Use a singleton and an unfoldable "box-at" word so that get-global and set-global optimize to direct operations on the associated box when the variable name is a compile-time constant. Fixes #200.
2011-11-26 23:20:55 -05:00
Initial import
2007-09-20 18:09:08 -04:00
PRIVATE>
namespaces: rework so a singleton isn't necessary Make global foldable, and make the underlying global object a hashtable wrapper. Also, use a tuple instead of a generic array for the global box type.
2011-11-27 13:43:23 -05:00
: global ( -- g ) OBJ-GLOBAL special-object { global-hashtable } declare ; foldable
rename peek -> last and update all usages
2009-05-25 17:38:33 -04:00
: namespace ( -- namespace ) namestack* last ; inline
No point having get/set-global inline
2008-01-18 02:39:24 -05:00
: namestack ( -- namestack ) namestack* clone ;
constants for special object hardcoded literals
2011-11-02 15:54:31 -04:00
: set-namestack ( namestack -- )
>vector CONTEXT-OBJ-NAMESTACK set-context-object ;
Initial import
2007-09-20 18:09:08 -04:00
: init-namespaces ( -- ) global 1array set-namestack ;
Exploit the fast-path for allocation of array with initial element 0 by changing new-sequence on arrays, the vector constructor, and resize-array, called when growing vectors, to fill arrays with 0 instead of f. user code never observes the initial value in these situations anyway. small speedup on bootstrap
2008-12-06 19:37:28 -05:00
: get ( variable -- value ) namestack* assoc-stack ; inline
Initial import
2007-09-20 18:09:08 -04:00
: set ( value variable -- ) namespace set-at ;
: on ( variable -- ) t swap set ; inline
: off ( variable -- ) f swap set ; inline
namespaces: adding a "with-global" word to replace "global [ ] bind".
2011-10-13 20:21:59 -04:00
: get-global ( variable -- value ) global at ; inline
: set-global ( value variable -- ) global set-at ; inline
Refactor all usages of >r/r> in core to use dip, 2dip, 3dip Non-optimizing compiler now special-cases dip, 2dip, 3dip following a literal quotation: this allows us to break the dip/slip meta-circle without explicit calls to >r/r>
2008-11-23 03:44:56 -05:00
: change ( variable quot -- ) [ [ get ] keep ] dip dip set ; inline
Update usages of global ... change-at to use the new change-global combinator
2009-04-30 22:38:14 -04:00
: change-global ( variable quot -- ) [ global ] dip change-at ; inline
Add a toggle word to namespaces and update docs, tests, and usages. Document with-global too.
2011-10-29 04:01:59 -04:00
: toggle ( variable -- ) [ not ] change ; inline
namespaces: adding a "with-global" word to replace "global [ ] bind".
2011-10-13 20:21:59 -04:00
: +@ ( n variable -- ) [ 0 or + ] change ; inline
Initial import
2007-09-20 18:09:08 -04:00
: inc ( variable -- ) 1 swap +@ ; inline
: dec ( variable -- ) -1 swap +@ ; inline
: bind ( ns quot -- ) swap >n call ndrop ; inline
add a few usages of iota, remove most 1+ and 1- from core
2009-05-01 20:58:24 -04:00
: counter ( variable -- n ) [ 0 or 1 + dup ] change-global ;
Clean up namespaces a bit
2009-02-20 21:51:51 -05:00
: make-assoc ( quot exemplar -- hash ) 20 swap new-assoc [ swap bind ] keep ; inline
Small speedup for code using H{ } clone and with-scope
2009-03-31 09:16:04 -04:00
: with-scope ( quot -- ) 5 <hashtable> swap bind ; inline
Clean up namespaces a bit
2009-02-20 21:51:51 -05:00
: with-variable ( value key quot -- ) [ associate ] dip bind ; inline
namespaces: adding a "with-global" word to replace "global [ ] bind".
2011-10-13 20:21:59 -04:00
: with-global ( quot -- ) global swap bind ; inline
add a few usages of iota, remove most 1+ and 1- from core
2009-05-01 20:58:24 -04:00
: initialize ( variable quot -- ) [ unless* ] curry change-global ; inline