Re: [Factor-talk] Recursive Definition

2018-01-26 Thread Alexander Ilin
Ah, I see it in the notes: "if is executed as a primitive when preceded by two 
literal quotations".
Sorry for the noise : )

26.01.2018, 11:56, "Alexander Ilin" :
> Hello!
>
>   I was looking through the documentation, and something drew my attention.
>
> Definition
> IN: kernel
> : if
> ( ..a ? true: ( ..a -- ..b ) false: ( ..a -- ..b ) -- ..b )
> ? call ;
>
> Definition
> IN: kernel
> : ? ( ? true false -- true/false ) rot [ drop ] [ nip ] if ;
> inline
>
>   How is it possible that these two words are defined using each other?
>   Shouldn't the world explode when that happens?

---=--- 
 Александр


--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk


[Factor-talk] Recursive Definition

2018-01-26 Thread Alexander Ilin
Hello!

  I was looking through the documentation, and something drew my attention.

Definition
IN: kernel
: if
( ..a ? true: ( ..a -- ..b ) false: ( ..a -- ..b ) -- ..b )
? call ;

Definition
IN: kernel
: ? ( ? true false -- true/false ) rot [ drop ] [ nip ] if ;
inline

  How is it possible that these two words are defined using each other?
  Shouldn't the world explode when that happens?

---=--- 
 Александр


--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
___
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk