4Th, the Friendly Forth Compiler

Total Page:16

File Type:pdf, Size:1020Kb

4Th, the Friendly Forth Compiler 4tH, the friendly Forth compiler J.L. Bezemer July 14, 2021 Contents 1 What’s new 19 I Getting Started 24 2 Overview 25 2.1 Introduction . 25 2.2 History . 25 2.3 Applications . 26 2.4 Architecture . 26 2.4.1 The 4tH language . 28 2.4.2 H-code . 28 2.4.3 H-code compiler . 29 2.4.4 Error handling . 30 2.4.5 Interfacing with C . 30 3 Installation Guide 32 3.1 About this package . 32 3.1.1 Example code . 32 3.1.2 Main program . 32 3.1.3 Unix package . 33 3.1.4 Linux package . 34 3.1.5 Android package . 38 3.1.6 MS-DOS package . 40 3.1.7 MS-Windows package . 41 3.2 Setting up your working directory . 43 3.3 Now what? . 43 3.4 Pedigree . 43 3.5 Contributors . 44 1 CONTENTS 2 3.6 Questions . 44 3.6.1 4tH website . 44 3.6.2 4tH Google group . 45 3.6.3 Newsgroup . 45 4 A guided tour 46 4.1 4tH interactive . 46 4.2 Starting up 4tH . 46 4.3 Running a program . 47 4.4 Starting an editing session . 47 4.5 Writing your first 4tH program . 48 4.6 A more complex program . 52 4.7 Advanced features . 56 4.8 Suspending a program . 63 4.9 Calculator mode . 65 4.10 Epilogue . 65 5 Frequently asked questions 66 II Primer 69 6 Introduction 70 7 4tH fundamentals 71 7.1 Making calculations without parentheses . 71 7.2 Manipulating the stack . 72 7.3 Deep stack manipulators . 73 7.4 Passing arguments to functions . 73 7.5 Making your own words . 74 7.6 Adding comment . 75 7.7 Text-format of 4tH source . 75 7.8 Displaying string literals . 75 7.9 Creating variables . 76 7.10 Using variables . 76 7.11 Built-in variables . 76 7.12 What is a cell? . 77 7.13 What is a literal expression? . 77 7.14 Declaring arrays of numbers . 77 CONTENTS 3 7.15 Using arrays of numbers . 78 7.16 Copying arrays of numbers . 78 7.17 Declaring and using constants . 78 7.18 Built-in constants . 79 7.19 Using booleans . 80 7.20 IF-ELSE constructs . 80 7.21 FOR-NEXT constructs . 80 7.22 WHILE-DO constructs . 81 7.23 REPEAT-UNTIL constructs . 82 7.24 Infinite loops . 82 7.25 Including source files . 82 7.26 Getting a number from the keyboard . 83 8 4tH arrays 84 8.1 Aligning numbers . 84 8.2 Creating arrays of constants . 84 8.3 Using arrays of constants . 84 8.4 Using values . 85 8.5 Creating string variables . 86 8.6 What is an address? . 86 8.7 String literals . 87 8.8 String constants . 87 8.9 Initializing string variables . 88 8.10 Initializing a NULL string variable . 88 8.11 Getting the length of a string variable . 88 8.12 Printing a string variable . 89 8.13 Copying a string variable . 89 8.14 The string terminator . 89 8.15 Slicing strings . 90 8.16 Appending strings . 91 8.17 Comparing strings . 91 8.18 Finding a substring . 92 8.19 Replacing substrings . 93 8.20 Deleting substrings . 93 8.21 Removing trailing spaces . 94 8.22 Removing leading spaces . 94 8.23 Upper and lower case . 95 CONTENTS 4 8.24 String literals and string variables . 95 8.25 Printing individual characters . 96 8.26 Distinguishing characters . 96 8.27 Getting ASCII values . 97 8.28 Printing spaces . 97 8.29 Fetching individual characters . 98 8.30 Storing individual characters . 98 8.31 Getting a string from the keyboard . 100 9 Character Segment 101 9.1 The Character Segment . 101 9.2 What is the TIB? . 101 9.3 What is the PAD? . 102 9.4 How do I use TIB and PAD? . 102 9.5 Simple parsing . 102 9.6 Converting a string to a number . 104 9.7 Controlling the radix . 104 9.8 Pictured numeric output . 107 9.9 printf() like formatting . 110 9.10 Converting a number to a string . 111 9.11 Aborting a program . 112 9.12 Opening a file . 113 9.13 Reading and writing from/to a file . 114 9.14 Closing a file . ..
Recommended publications
  • Algorithms, Searching and Sorting
    Python for Data Scientists L8: Algorithms, searching and sorting 1 Iterative and recursion algorithms 2 Iterative algorithms • looping constructs (while and for loops) lead to iterative algorithms • can capture computation in a set of state variables that update on each iteration through loop 3 Iterative algorithms • “multiply x * y” is equivalent to “add x to itself y times” • capture state by • result 0 • an iteration number starts at y y y-1 and stop when y = 0 • a current value of computation (result) result result + x 4 Iterative algorithms def multiplication_iter(x, y): result = 0 while y > 0: result += x y -= 1 return result 5 Recursion The process of repeating items in a self-similar way 6 Recursion • recursive step : think how to reduce problem to a simpler/smaller version of same problem • base case : • keep reducing problem until reach a simple case that can be solved directly • when y = 1, x*y = x 7 Recursion : example x * y = x + x + x + … + x y items = x + x + x + … + x y - 1 items = x + x * (y-1) Recursion reduction def multiplication_rec(x, y): if y == 1: return x else: return x + multiplication_rec(x, y-1) 8 Recursion : example 9 Recursion : example 10 Recursion : example 11 Recursion • each recursive call to a function creates its own scope/environment • flow of control passes back to previous scope once function call returns value 12 Recursion vs Iterative algorithms • recursion may be simpler, more intuitive • recursion may be efficient for programmer but not for computers def fib_iter(n): if n == 0: return 0 O(n) elif n == 1: return 1 def fib_recur(n): else: if n == 0: O(2^n) a = 0 return 0 b = 1 elif n == 1: for i in range(n-1): return 1 tmp = a else: a = b return fib_recur(n-1) + fib_recur(n-2) b = tmp + b return b 13 Recursion : Proof by induction How do we know that our recursive code will work ? → Mathematical Induction To prove a statement indexed on integers is true for all values of n: • Prove it is true when n is smallest value (e.g.
    [Show full text]
  • Decomposition, Abstraction, Functions
    SEARCHING AND SORTING ALGORITHMS 6.00.01X LECTURE 1 SEARCH ALGORITHMS . search algorithm – method for finding an item or group of items with specific properties within a collection of items . collection could be implicit ◦ example – find square root as a search problem ◦ exhaustive enumeration ◦ bisection search ◦ Newton-Raphson . collection could be explicit ◦ example – is a student record in a stored collection of data? SEARCHING ALGORITHMS . linear search • brute force search • list does not have to be sorted . bisection search • list MUST be sorted to give correct answer • will see two different implementations of the algorithm 6.00.01X LECTURE 3 LINEAR SEARCH ON UNSORTED LIST def linear_search(L, e): found = False for i in range(len(L)): if e == L[i]: found = True return found . must look through all elements to decide it’s not there . O(len(L)) for the loop * O(1) to test if e == L[i] . overall complexity is O(n) – where n is len(L) 6.00.01X LECTURE 4 CONSTANT TIME LIST ACCESS . if list is all ints … ◦ ith element at ◦ base + 4*I .if list is heterogeneous ◦ indirection ◦ references to other objects … 6.00.01X LECTURE 5 6.00.01X LECTURE 6 LINEAR SEARCH ON SORTED LIST def search(L, e): for i in range(len(L)): if L[i] == e: return True if L[i] > e: return False return False . must only look until reach a number greater than e . O(len(L)) for the loop * O(1) to test if e == L[i] . overall complexity is O(n) – where n is len(L) 6.00.01X LECTURE 7 USE BISECTION SEARCH 1.
    [Show full text]
  • 3 Algorithms and Data Structures
    3 Algorithms and Data Structures Program ®le for this chapter: algs What's wrong with this procedure? to process.sentence :sent output fput (process.word first :sent) (process.sentence bf :sent) end If you said ªIt's a recursive procedure without a stop rule,º you've solved a simple problem in analysis of algorithms. This branch of computer science is concerned with the correctness and the ef®ciency of programs. The ®eld is called analysis of algorithms rather than analysis of programs because the emphasis is on the meaning of a program (how you might express the program in English) and not on the details of its expression in a particular language. For example, the error in the procedure to process.sentence :sent if emptyp :sent [output []] output fput (process.word first :sent) (process.snetence bf :sent) end is just as fatal as the error in the ®rst example, but there isn't much of theoretical interest to say about a misspelled procedure name. On the other hand, another branch of computer science, program veri®cation, is concerned with developing techniques to ensure that a computer program really does correctly express the algorithm it is meant to express. The examples I've given so far are atypical, it's worth noting, in that you were able to see the errors in the procedures without having any real idea of what they do! Without seeing process.word you can tell that this program is doing something or other to each word of a sentence, but you don't know whether the words are being translated 107 to another language, converted from upper case to lower case letters, translated into a string of phoneme codes to be sent to a speech synthesizer, or what.
    [Show full text]
  • 4Th, the Friendly Forth Compiler
    4tH, the friendly Forth compiler J.L. Bezemer May 3, 2012 Contents 1 What's new 16 1.1 What's new in version 3.61.5 . 16 1.2 What's new in version 3.61.4 . 17 1.3 What's new in version 3.61.3 . 19 1.4 What's new in version 3.61.2 . 21 1.5 What's new in version 3.61.1 . 24 1.6 What's new in version 3.61.0 . 25 1.7 What's new in version 3.60.1 . 28 1.8 What's new in version 3.60.0 . 29 1.9 What's new in version 3.5d, release 3 . 31 1.10 What's new in version 3.5d, release 2 . 33 1.11 What's new in version 3.5d . 34 1.12 What's new in version 3.5c, release 3 . 35 1.13 What's new in version 3.5c, release 2 . 36 1.14 What's new in version 3.5c . 38 1.15 What's new in version 3.5b, release 2 . 39 1.16 What's new in version 3.5b . 40 1.17 What's new in version 3.5a, release 2 . 40 1.18 What's new in version 3.5a . 41 1.19 What's new in version 3.3d, release 2 . 46 1.20 What's new in version 3.3d . 47 1.21 What's new in version 3.3c . 49 1.22 What's new in version 3.3a . 51 1.23 What's new in version 3.2e .
    [Show full text]
  • Ubuntu: Unleashed 2017 Edition
    Matthew Helmke with Andrew Hudson and Paul Hudson Ubuntu UNLEASHED 2017 Edition 800 East 96th Street, Indianapolis, Indiana 46240 USA Ubuntu Unleashed 2017 Edition Editor-in-Chief Copyright © 2017 by Pearson Education, Inc. Mark Taub All rights reserved. Printed in the United States of America. This publication is protected Acquisitions Editor by copyright, and permission must be obtained from the publisher prior to any prohib- Debra Williams ited reproduction, storage in a retrieval system, or transmission in any form or by any means, electronic, mechanical, photocopying, recording, or likewise. For information Cauley regarding permissions, request forms and the appropriate contacts within the Pearson Managing Editor Education Global Rights & Permissions Department, please visit www.pearsoned.com/ permissions/. Sandra Schroeder Many of the designations used by manufacturers and sellers to distinguish their Project Editor products are claimed as trademarks. Where those designations appear in this book, and Lori Lyons the publisher was aware of a trademark claim, the designations have been printed with initial capital letters or in all capitals. Production Manager The author and publisher have taken care in the preparation of this book, but make Dhayanidhi no expressed or implied warranty of any kind and assume no responsibility for errors or omissions. No liability is assumed for incidental or consequential damages in Proofreader connection with or arising out of the use of the information or programs contained Sasirekha herein. Technical Editor For information about buying this title in bulk quantities, or for special sales opportunities (which may include electronic versions; custom cover designs; and content José Antonio Rey particular to your business, training goals, marketing focus, or branding interests), Editorial Assistant please contact our corporate sales department at [email protected] or (800) 382-3419.
    [Show full text]
  • Linux Assembly HOWTO Linux Assembly HOWTO
    Linux Assembly HOWTO Linux Assembly HOWTO Table of Contents Linux Assembly HOWTO..................................................................................................................................1 Konstantin Boldyshev and François−René Rideau................................................................................1 1.INTRODUCTION................................................................................................................................1 2.DO YOU NEED ASSEMBLY?...........................................................................................................1 3.ASSEMBLERS.....................................................................................................................................1 4.METAPROGRAMMING/MACROPROCESSING............................................................................2 5.CALLING CONVENTIONS................................................................................................................2 6.QUICK START....................................................................................................................................2 7.RESOURCES.......................................................................................................................................2 1. INTRODUCTION...............................................................................................................................2 1.1 Legal Blurb........................................................................................................................................2
    [Show full text]
  • Latexsample-Thesis
    INTEGRAL ESTIMATION IN QUANTUM PHYSICS by Jane Doe A dissertation submitted to the faculty of The University of Utah in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Mathematics The University of Utah May 2016 Copyright c Jane Doe 2016 All Rights Reserved The University of Utah Graduate School STATEMENT OF DISSERTATION APPROVAL The dissertation of Jane Doe has been approved by the following supervisory committee members: Cornelius L´anczos , Chair(s) 17 Feb 2016 Date Approved Hans Bethe , Member 17 Feb 2016 Date Approved Niels Bohr , Member 17 Feb 2016 Date Approved Max Born , Member 17 Feb 2016 Date Approved Paul A. M. Dirac , Member 17 Feb 2016 Date Approved by Petrus Marcus Aurelius Featherstone-Hough , Chair/Dean of the Department/College/School of Mathematics and by Alice B. Toklas , Dean of The Graduate School. ABSTRACT Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah. Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah. Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah. Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah. Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah. Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah. Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah. Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah.
    [Show full text]
  • 26Th Euroforth Conference
    26th EuroForth Conference September 24-26, 2010 Haus Rissen Hamburg Germany Preface EuroForth is an annual conference on the Forth programming language, stack machines, and related topics, and has been held since 1985. The 26th Euro- Forth finds us in Hamburg for the first time. The three previous EuroForths were held in Schloss Dagstuhl, Germany (2007), in Vienna, Austria (2008) and in Exeter, England (2009). Information on earlier conferences can be found at the EuroForth home page (http://www.euroforth.org/). Since 1994, EuroForth has a refereed and a non-refereed track. For the refereed track, two papers were submitted, and both were ac- cepted (100% acceptance rate). For more meaningful statistics, I include the numbers since 2006: 11 submissions, 7 accepts, 64% acceptance rate. Each paper was sent to at least three program committee members for review, and they all produced reviews. One refereed paper was co-authored by me (the primary program committee chair); Ulrich Hoffmann served as acting program chair for this paper, and these reviews are anonymous for me. The other paper was co-authored by a program committee member, and the re- views of that paper are anonymous to him as well. I thank the authors for their papers, the reviewers for their reviews, and Ulrich Hoffmann for serving as secondary chair. Several papers were submitted to the non-refereed track in time to be included in the printed proceedings. In addition, the printed proceedings include slides for talks that will be presented at the conference without being accompanied by a paper and that were submitted in time.
    [Show full text]
  • Pipenightdreams Osgcal-Doc Mumudvb Mpg123-Alsa Tbb
    pipenightdreams osgcal-doc mumudvb mpg123-alsa tbb-examples libgammu4-dbg gcc-4.1-doc snort-rules-default davical cutmp3 libevolution5.0-cil aspell-am python-gobject-doc openoffice.org-l10n-mn libc6-xen xserver-xorg trophy-data t38modem pioneers-console libnb-platform10-java libgtkglext1-ruby libboost-wave1.39-dev drgenius bfbtester libchromexvmcpro1 isdnutils-xtools ubuntuone-client openoffice.org2-math openoffice.org-l10n-lt lsb-cxx-ia32 kdeartwork-emoticons-kde4 wmpuzzle trafshow python-plplot lx-gdb link-monitor-applet libscm-dev liblog-agent-logger-perl libccrtp-doc libclass-throwable-perl kde-i18n-csb jack-jconv hamradio-menus coinor-libvol-doc msx-emulator bitbake nabi language-pack-gnome-zh libpaperg popularity-contest xracer-tools xfont-nexus opendrim-lmp-baseserver libvorbisfile-ruby liblinebreak-doc libgfcui-2.0-0c2a-dbg libblacs-mpi-dev dict-freedict-spa-eng blender-ogrexml aspell-da x11-apps openoffice.org-l10n-lv openoffice.org-l10n-nl pnmtopng libodbcinstq1 libhsqldb-java-doc libmono-addins-gui0.2-cil sg3-utils linux-backports-modules-alsa-2.6.31-19-generic yorick-yeti-gsl python-pymssql plasma-widget-cpuload mcpp gpsim-lcd cl-csv libhtml-clean-perl asterisk-dbg apt-dater-dbg libgnome-mag1-dev language-pack-gnome-yo python-crypto svn-autoreleasedeb sugar-terminal-activity mii-diag maria-doc libplexus-component-api-java-doc libhugs-hgl-bundled libchipcard-libgwenhywfar47-plugins libghc6-random-dev freefem3d ezmlm cakephp-scripts aspell-ar ara-byte not+sparc openoffice.org-l10n-nn linux-backports-modules-karmic-generic-pae
    [Show full text]
  • Index Images Download 2006 News Crack Serial Warez Full 12 Contact
    index images download 2006 news crack serial warez full 12 contact about search spacer privacy 11 logo blog new 10 cgi-bin faq rss home img default 2005 products sitemap archives 1 09 links 01 08 06 2 07 login articles support 05 keygen article 04 03 help events archive 02 register en forum software downloads 3 security 13 category 4 content 14 main 15 press media templates services icons resources info profile 16 2004 18 docs contactus files features html 20 21 5 22 page 6 misc 19 partners 24 terms 2007 23 17 i 27 top 26 9 legal 30 banners xml 29 28 7 tools projects 25 0 user feed themes linux forums jobs business 8 video email books banner reviews view graphics research feedback pdf print ads modules 2003 company blank pub games copyright common site comments people aboutus product sports logos buttons english story image uploads 31 subscribe blogs atom gallery newsletter stats careers music pages publications technology calendar stories photos papers community data history arrow submit www s web library wiki header education go internet b in advertise spam a nav mail users Images members topics disclaimer store clear feeds c awards 2002 Default general pics dir signup solutions map News public doc de weblog index2 shop contacts fr homepage travel button pixel list viewtopic documents overview tips adclick contact_us movies wp-content catalog us p staff hardware wireless global screenshots apps online version directory mobile other advertising tech welcome admin t policy faqs link 2001 training releases space member static join health
    [Show full text]
  • On This DVD: on This
    LINUX MAGAZINE On this DVD: Debian GNU/Linux 3.1 ‘sarge’ The latest Debian DVD image, built with the new Jigdo tool. Hundreds of applications including: Internet Mozilla Web browser Konqueror File manager Lynx Text web browser Nautilus File manager ISSUE 43 Exim 4 Mail Transfer agent Pan News group reader Sylpheed Email client Multimedia Thousands of top developers from Debian GNU/Linux makes it easy to Gimp Image manipulation all over the world make Debian install packages with the apt-get gPhoto Camera connection GNU/Linux a unique, modern, safe, tool, which handles library depen- xmms, noatun Audio players SANE Scanning tool community driven operating dency issues and package decom- k3b CD burner system. Debian GNU/Linux – like the pression. The main core benefit of Debian GNU/Linux 3.1 ‘sarge’ Xine Movie player xawtv TV viewer Linux kernel itself – is maintained in the packaging system is the ease Grip Audio ripper an open manner by a team of volun- with which you can update a run- Office teer developers. ning system. This is the reason why OpenOffice Popular Office suite Debian GNU/Linux is usually only KOffice KDE Office suite This Linux Magazine DVD version installed once and then only up- KDEpim Personal Information contains the latest ‘sarge’ release and manager dated while it remains running. TeTeX/LaTeX Desktop publishing includes the new Debian installer Emacs, Vim Text editors system to make it easier to set up The DVD is packed with hundreds of Gnumerics Spreadsheet Abiword Word processing and get running on your computer. applications to cater for every taste Databases Debian GNU/Linux supports soft- and offers a chance to install Postgresql Database ware applications that are developed without the expense and time MySQL Database for the Linux Standard Base (LSB) and required to download.
    [Show full text]
  • Integral Estimation in Quantum Physics
    INTEGRAL ESTIMATION IN QUANTUM PHYSICS by Jane Doe A dissertation submitted to the faculty of The University of Utah in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematical Physics Department of Mathematics The University of Utah May 2016 Copyright c Jane Doe 2016 All Rights Reserved The University of Utah Graduate School STATEMENT OF DISSERTATION APPROVAL The dissertation of Jane Doe has been approved by the following supervisory committee members: Cornelius L´anczos , Chair(s) 17 Feb 2016 Date Approved Hans Bethe , Member 17 Feb 2016 Date Approved Niels Bohr , Member 17 Feb 2016 Date Approved Max Born , Member 17 Feb 2016 Date Approved Paul A. M. Dirac , Member 17 Feb 2016 Date Approved by Petrus Marcus Aurelius Featherstone-Hough , Chair/Dean of the Department/College/School of Mathematics and by Alice B. Toklas , Dean of The Graduate School. ABSTRACT Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah. Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah. Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah. Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah. Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah. Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah. Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah. Blah blah blah blah blah blah blah blah blah blah blah blah blah blah blah.
    [Show full text]