Only authorized users are allowed to upload new attachments.

This page (revision-5) was last changed on 08-Aug-2010 11:26 by Carsten Strotmann

Only authorized users are allowed to rename pages.

Only authorized users are allowed to delete pages.

#### Difference between version 5 4 3 2 1 and 5 4 3 2 1

 At line 62 changed one line Some Forth proposals have one definition for individual values and another definition for a range of values. There would have to be another definition for a set of values. No earlier Some Forth proposals have one definition for individual values and another definition for a range of values. There would have to be another definition for a set of values. No earlier Forth proposal that I know of allows sets and ranges together, as in: {{{ case 2..3, 12: }}} What is proposed here is a single __case__ statement for Forth which will include all these variations, and many more, that can be implemented in fig-FORTH, Forth-79, Forth-83 and any other Forth. Figure 2b {{{ craps(n) int n; { switch(n) { case 7, 11: printf("You win"); break; case 2..3, 12: printf("You lose"); break; default: printf("%d is you point",n); } } }}} Figure 3 {{{ : CASE DUP ; : CRAPS ( n -- ) CASE 7 = IF DROP ." You win" EXIT THEN CASE 11 = IF DROP ." You win" EXIT THEN CASE 2 = IF DROP ." You lose" EXIT THEN CASE 3 = IF DROP ." You lose" EXIT THEN CASE 12 = IF DROP ." You lose" EXIT THEN . . is your point" ; }}} Figure 2a would look as shown in Figure 3. Let's add two more spoons of syntactic sugar, as in Figure 4. As has been noted elsewhere, too much syntactic sugar causes semantic diabetes. Our __case__ is sweet enough. Figure 5 is an example to show some of the possibilities. Figure 3 {{{ : OF ( n flag -- ) [COMPILE] IF COMPILE DROP ; IMMEDIATE : =OR ( n flag n -- n flag ) 2 PICK = DROP ; : CRAPS ( n -- ) CASE 7 = 11 =OR OF ." You win" EXIT THEN CASE 2 3 BETWEEN 12 =OR OF ." You lose" EXIT THEN . ." is your point" ; }}} Figure 4 {{{ : WHATEVER ( n -- ) CASE 0= OF ." zero" EXIT THEN CASE 0< OF ." Negative" EXIT THEN CASE DUP 1- AND 0= OF ." Power of 2" EXIT THEN CASE ASCII 0 ASCII 9 BETWEEN OF ." Digit" EXIT THEN CASE ASCII , ASCII / BETWEEN ASCII : =OR OF ." Punctuation ,-./: " EXIT THEN DROP ." Whatever" ; }}} Now for a real life example. Figure 6 is a recension of a word in John James "Universal Text File Reader" (Forth Dimensions VII/3). One of my favorite examples is "Thirty days hath September, April, June and November ..." See Figure 7. If __NUMBER__ in your system is vectored, you may want to replace it in some applications with a version that selects the numerical radix according to the first character. Figure 8 implements a convention used on Motorola systems (e.g., 68000). Laxen's __CLASSIFY__ example (FD VII/I) can be written without redundant classes with no additional definitions, as in Figure 9. Figure 6 {{{ : ?OUT ( c -- ) 127 AND CASE 0= 13 ( return ) 0O OF ?NEW-LINE EXIT THEN CASE 10 ( linefeed ) = 12 ( formfeed ) = OR OF #BLANK-LINES @ 0= IF ?NEW-LINE THEN EXIT THEN 0 #BLANK-LINES ! CASE 32 < OF ( do nothing ) EXIT THEN EXIT ; }}} Figure 7 {{{ ( #YEAR is a variable holding the year ) :LEAPYEAR? ( -- tf : true if the year is a leap year ) #YEAR @ CASE 400 MOD 0= OF TRUE EXIT THEN CASE 100 MOD 0= OF FALSE EXIT THEN CASE 4 MOD 0= OF TRUE EXIT THEN DROP FALSE ; : DAYS ( month# -- days-in-month ) CASE 9 = 4 =OR 6 =OR 1 =OR OF 30 EXIT THEN CASE 2 = NOT OF 31 EXIT THEN DROP LEAPYEAR? IF 29 ELSE 28 THEN ; }}} Figure 8 {{{ : CBASE! ( a c -- a' ) CASE ASCII \$ = OF HEX 1+ EXIT THEN CASE ASCII @ = OF OCTAL 1+ EXIT THEN CASE ASCII % = OF BINARY 1+ EXIT THEN CASE ASCII & = OF DECIMAL 1+ EXIT THEN DROP ; : BASE-NUMBER ( a -- d ) BASE @ >R DUP 1+ C@ CBASE! NUMBER? R> BASE ! 0= ABORT" ?" ; }}} Figure 9 {{{ HEX : CLASSIFY ( n -- ) CASE 20 < 7F =OR OF ." Control character" EXIT THEN CASE 20 2f BETWEEN OVER 3A 40 BETWEEN OR OVER 5B 60 BETWEEN OR OVER 7B 7E BETWEEN OR OF ." Punctuation" EXIT THEN CASE 30 39 BETWEEN OF ." Digit" EXIT THEN CASE 41 5A BETWEEN OF ." Upper case letter" EXIT THEN CASE 61 7A BETWEEN OF ." Lower case letter" EXIT THEN DROP ." Not a character" ; }}} Since __DUP__ is assembler code, in most systems you can optimize its definition with something like that in Figure 10a. The Forth-79 definition of __=OR__ is given in Figure 10b. If you do not have __PICK__, as in fig-FORTH, or if __PICK__ is not an assembler code definition, see Figure 10c. Figure 10a {{{ CREATE CASE ' DUP ( CFA ) @ ' CASE (CFA ) ! }}} Figure 10b {{{ : =OR ( n tf n -- n tf ) 3 PICK = OR ; }}} Figure 10c {{{ : =OR ( n tf n -- n tf ) >R OVER R> = OR ; }}} A __case__ statement in any programming language is intended for a series of tests to classify a value. To do this in other languages without using a __case__ structure would require repeating the value at each test, giving a tedious appearance to the source ln Forth, the data stack allows us to avoid such explicit references to the value In Forth, a __CASE__ statement has the pattern __DUP ... IF DROP ...__ We have sweetened this to __CASE ... OF ...__ . The trivial nature of the implementation emphasizes that a __case__ statement is not essential to Forth. Those Forth practitioners who pride themselves on how lean and mean their Forth is will find it superfluous. My intent is not to propose this definition of __case__ for standardization; but on the other hand, any further __case__ proposal should be as simple to implement, as portable and as powerful. !Auxiliary Definitions You may already have some of these. Your definitions may be different from those shown in Figure 11a. __#BLANK-LINES__ and __?NEW-LINE__ are words peculiar to the application. __#BLANK-LINES__ is a variable counting the number of successive blank lines. __?NEW-LINE__ does a __CR__ when the value of __#BLANK-LINES__ is less than two. Figure 11b provides definitions for several fundamental Forth words. It also presents a naive version of __NUMBER?__ that ignores details such as sign and punctuation, and is not inĀ­ tended for actual use. Figure 11a {{{ : WITHIN ( n n1 n2 -- tf : true when n1 <= n & n < n2 ) over - >R - R> U< ; :BETWEEN ( n n1 n2 -- tf : true when n1 <= n & n <= n2 ) WITHIN 1+ ; : ASCII ( ^ c -- c : integer value for character c ) BL WORD COUNT 1- ABORT" ?" C@ STATE @ IF [COMPILE] LITERAL THEN ; IMMEDIATE }}} Figure 11b {{{ : HEX ( -- ) 16 BASE ! ; : OCTAL ( -- ) 8 BASE ! ; : BINARY ( -- ) 2 BASE ! ; : DECIMAL ( -- ) 10 BASE ! ; : NUMBER? ( addr -- dn tf ) 0 0 ROT CONVERT C@ BL = ; }}}
Version Date Modified Size Author Changes ... Change note
5 08-Aug-2010 11:26 9.406 kB Carsten Strotmann to previous
4 08-Aug-2010 11:02 7.089 kB Carsten Strotmann to previous | to last
3 08-Aug-2010 10:46 5.883 kB Carsten Strotmann to previous | to last
2 08-Aug-2010 10:34 2.953 kB Carsten Strotmann to previous | to last
1 08-Aug-2010 10:30 2.667 kB Carsten Strotmann to last
« This page (revision-5) was last changed on 08-Aug-2010 11:26 by Carsten Strotmann
G’day (anonymous guest) My Prefs