A mathematical foundation of reflexion?

[Massimo Dentico]

Laurent Martelli wrote:
> 
> >>>>> "Massimo" == Massimo Dentico <m.dentico@teseo.it> writes:
> 
>   Massimo> A truly interesting reading is also:
> 
>   Massimo> "Thoughtful Programming" -
>   Massimo> http://www.ultratechnology.com/forth.htm
> 
>   Massimo> ==================================================================
>   Massimo> - http://www.ultratechnology.com/forth2.htm#swb
> 
>   Massimo> [...]
> 
>   Massimo> Stacks are great (for Forth) so use them.  Chuck has said
>   Massimo> "Don't use locals."  You have a stack for data, this is
>   Massimo> Forth, locals are for a whole different picture.
> 
>   Massimo> [...]
> 
>   Massimo> - http://www.ultratechnology.com/forth2.htm#metric
> 
>   Massimo> [remember that a colon definition is a procedure
>   Massimo> difinition] As a metric I did some analysis of code
>   Massimo> examples Chuck has provided.  The numbers I find most
>   Massimo> interesting is that the length of the average colon
>   Massimo> definition is 44 characters.  The length of the longest
>   Massimo> colon definition was 70 characters.  This is a sign that he
>   Massimo> has factored, factored, factored.  How big are the average
>   Massimo> definitions in your code?  Smaller definitions are easier
>   Massimo> to code, easier to test, etc.
> 
> And harder to understand when there are too many of them. It is easier
> to understand a program made of a single 10 lines function than one
> made of 10 function of one line.
> [...]

On what is it based your judgment?   Please, read this example and
tell me what do you think about this extreme factorization.  Is it
hard to understand?

"1.5 INTERACTIVE PROGRAMMING — AN EXAMPLE"
- http://www.forth.com/Content/Handbook/FPH15.html

-- 
Massimo Dentico