Όταν χρειάζεσαι μια σειρά από n τιμές, όπου η καθεμία εξαρτάται από τη θέση της, το <iota> και το map της Factor συνεργάζονται για να κάνουν τη δουλειά χωρίς να γράψεις μετρητή βρόχου.
<iota> και map
Το <iota> (στο sequences) παίρνει έναν μη αρνητικό ακέραιο n και επιστρέφει μια εικονική ακολουθία από τους ακεραίους 0, 1, …, n-1. Στη συνέχεια, το map τη διατρέχει, εφαρμόζοντας το quotation σου σε κάθε στοιχείο:
USING: math sequences ;
5 <iota> [ 2 * ] map . ! => { 0 2 4 6 8 }
Το quotation δέχεται έναν ακέραιο, τη θέση, και αφήνει την τιμή για αυτή τη θέση στη στοίβα.
Επανάληψη με βάση το πλήθος
Όταν χρειάζεσαι μόνο τις παρενέργειες της επίσκεψης κάθε θέσης και όχι μια νέα ακολουθία, το each-integer (στο math) τρέχει ένα quotation πάνω στο 0, 1, …, n-1:
each-integer ( n quot: ( i -- ) -- )
Το replicate (στο sequences) καλεί ένα quotation n φορές και συλλέγει τα αποτελέσματα, αγνοώντας τη θέση. Είναι βολικό για να φτιάξεις n ανεξάρτητες τιμές:
replicate ( n quot: ( -- elt ) -- seq )
USING: sequences ;
3 [ { 0 0 } ] replicate . ! => { { 0 0 } { 0 0 } { 0 0 } }
Φραγμένα διαστήματα
Όταν το διάστημα των θέσεων δεν ξεκινά από το 0 ή θέλεις να περιλαμβάνει και τα δύο άκρα, το λεξιλόγιο ranges παρέχει literals με τη σημειογραφία των διαστημάτων. Οι τετράγωνες αγκύλες περιλαμβάνουν το άκρο, ενώ οι στρογγυλές παρενθέσεις το αποκλείουν.
[a..b] ! a, a+1, …, b (inclusive)
[a..b) ! a, a+1, …, b-1 (half-open at the top)
USING: math ranges sequences ;
3 7 [a..b] [ 2 * ] map . ! => { 6 8 10 12 14 }
3 7 [a..b) [ 2 * ] map . ! => { 6 8 10 12 }
Μερικές συνηθισμένες συντομεύσεις με ένα όρισμα:
[1..b] ! 1, 2, …, b (same as 1 b [a..b])
[1..b) ! 1, 2, …, b-1 (same as 1 b [a..b))
[0..b) ! 0, 1, …, b-1 (same as 0 b [a..b), and same as `b <iota>`)
6 [1..b] [ sq ] map . ! => { 1 4 9 16 25 36 }
6 [1..b) [ sq ] map . ! => { 1 4 9 16 25 }
4 [0..b) [ 1 + ] map . ! => { 1 2 3 4 }
Το <iota> είναι η πιο συνηθισμένη μορφή. Το [a..b] και τα συναφή είναι το σωστό εργαλείο όταν το διάστημα ξεκινά από κάπου αλλού εκτός από το 0 ή χρειάζεται να περιλαμβάνει και το πάνω άκρο.
Ανοιχτό κάτω άκρο και ενδεχομένως κενά διαστήματα
Οι τετράγωνες αγκύλες περιλαμβάνουν ένα άκρο, ενώ οι παρενθέσεις το αποκλείουν. Το ίδιο τρικ στην αριστερή πλευρά δίνει (a..b] και (a..b):
(a..b] ! a+1, …, b (lower open, upper inclusive)
(a..b) ! a+1, …, b-1 (both open)
Το 0 n (a..b] δίνει { 1 … n } για n > 0 και { } για n = 0, τη φυσική μορφή όταν επαναλαμβάνεις για "κάθε θετικό ακέραιο μέχρι και το n".
Φθίνοντα διαστήματα
Και οι τέσσερις μορφές, τα [a..b], [a..b), (a..b], (a..b), μετρούν αντίστροφα όταν a > b, και όχι προς ένα κενό αποτέλεσμα:
USING: ranges sequences ;
5 1 [a..b] >array . ! => { 5 4 3 2 1 }
1 0 [a..b] >array . ! => { 1 0 } (not empty!)
Κατασκευή συμβολοσειράς με βάση τη θέση
Το map παράγει όποια μορφή επιστρέφει το quotation του. Αν το quotation αφήσει έναν κωδικό χαρακτήρα στη στοίβα, το >string (στο strings) μετατρέπει το αποτέλεσμα σε συμβολοσειρά:
USING: math sequences strings ;
4 <iota> [ 2 * CHAR: A + ] map >string . ! => "ACEG"
Το CHAR: A μεταφράζεται στον ακέραιο 65. Το quotation εδώ διπλασιάζει τη θέση και προσθέτει αυτή τη βάση, καταλήγοντας σε κάθε δεύτερο κεφαλαίο γράμμα. Όποια αριθμητική προσθέσεις πάνω στη θέση καθορίζει ποιος χαρακτήρας θα καταλήξει σε αυτή τη θέση.
Επιλογή ανά θέση
Όταν ο χαρακτήρας εξαρτάται από μια συνθήκη που αφορά τη θέση, κάνε την επιλογή μέσα στο quotation:
USING: kernel math sequences strings ;
5 <iota> [ 3 < [ CHAR: a ] [ CHAR: b ] if ] map >string .
! => "aaabb"
Οι τρεις πρώτες θέσεις δίνουν t στο τεστ i 3 <, οπότε παίρνουν a, ενώ οι υπόλοιπες παίρνουν b. Η ίδια μορφή, [ <test> [ <yes> ] [ <no> ] if ], καλύπτει τους ελέγχους άρτιου/περιττού με τα even? / odd? (στο math) και τους ελέγχους "κάθε k-οστή θέση" με τα mod και zero?.
Άσκηση εκμάθησης
